The Reach Control Problem with Input Constraints

Abstract

The automation of evermore complex systems rises the need for a systematic way to handle equally complex control specifications. Over the last 15 years considerable research effort focused on reach control, a hybrid systems approach to deal with such specifications. The idea is to triangulate the state space into simplices and locally design affine controllers by solving the reach control problem (RCP) in each simplex. In this paper we specify existing solvability conditions of the RCP for input constrained systems. We show how input constraints can be incorporated into controller design and illustrate our results in an example.