Necessary and Sufficient Conditions for Reachability on a Simplex

The reachability problem has received significant attention in the hybrid control literature with many questions still left unanswered. In this paper we solve the general problem of reaching a set of facets of an n-dimensional simplex in finite time, for a system evolving with linear affine dynamics. Necessary and sufficient conditions are presented in the form of inequalities on the vertices of the simplex, and a linear affine controller is constructed that solves the reachability problem.

[1]  Jan H. van Schuppen,et al.  A control problem for affine dynamical systems on a full-dimensional polytope , 2004, Autom..

[2]  Mark R. Greenstreet,et al.  Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.

[3]  George J. Pappas,et al.  Hybrid Systems: Computation and Control , 2004, Lecture Notes in Computer Science.

[4]  V. Veliov,et al.  Controllability of piecewise linear systems , 1986 .

[5]  K. B. Haley,et al.  Programming, Games and Transportation Networks , 1966 .

[6]  Mireille E. Broucke,et al.  Reachability of a Set of Facets for Linear Affine Systems With n-1 Inputs , 2007, IEEE Transactions on Automatic Control.

[7]  Aristotle Arapostathis,et al.  On the controllability of piecewise-linear hypersurface systems , 1987 .

[8]  Per-olof Gutman,et al.  Admissible sets and feedback control for discrete-time linear dynamical systems with bounded controls and states , 1984, The 23rd IEEE Conference on Decision and Control.

[9]  Eduardo D. Sontag,et al.  Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time , 1996, Hybrid Systems.

[10]  Mireille E. Broucke,et al.  Necessary and Sufficient Conditions for Reachability on a Simplex , 2005, CDC 2005.

[11]  丸山 徹.  Convex Analysisの二,三の進展について , 1977 .

[12]  Amir Pnueli,et al.  Hybrid Systems: Computation and Control , 2003, Lecture Notes in Computer Science.

[13]  Franco Blanchini.  Feedback control for linear time-invariant systems with state and control bounds in the presence of disturbances , 1990 .

[14]  Jan H. van Schuppen,et al.  Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles , 2001, HSCC.

[15]  Kyun K. Lee,et al.  On the controllability of piecewise-linear hypersurface systems , 1987, 1987 American Control Conference.

[16]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[17]  G. Bitsoris,et al.  Constrained regulation of linear continuous-time dynamical systems , 1989 .

[18]  Eduardo Sontag.  Remarks on piecewise-linear algebra , 1982, Pacific Journal of Mathematics.

[19]  N. G. Parke,et al.  Ordinary Differential Equations. , 1958 .

[20]  J.H. van Schuppen,et al.  Control to facet problems for affine systems on simplices and polytopes – With applications to control of hybrid systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[21]  J. Hennet,et al.  On invariant polyhedra of continuous-time linear systems , 1993, IEEE Trans. Autom. Control..

[22]  Michael Heymann,et al.  Ω-Invariance in control systems with bounded controls , 1976 .

[23]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[24]  George J. Pappas,et al.  Hybrid Systems: Computation and Control: 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 2004: Proceedings (Lecture Notes in Computer Science, 2993) , 2004 .

[25]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..