A control problem for affine dynamical systems on a full-dimensional polytope

Given an affine system on a full-dimensional polytope, the problem of reaching a particular facet of the polytope, using continuous piecewise-affine state feedback is studied. Necessary conditions and sufficient conditions for the existence of a solution are derived in terms of linear inequalities on the input vectors at the vertices of the polytope. Special attention is paid to affine systems on full-dimensional simplices. In this case, the necessary and sufficient conditions are equivalent and a constructive procedure yields an affine feedback control law, that solves the reachability problem under consideration.

[1]  Joseph O'Rourke,et al.  Handbook of Discrete and Computational Geometry, Second Edition , 1997 .

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

[3]  Maria Domenica Di Benedetto,et al.  Control of switching systems under state and input constraints , 1999, 1999 European Control Conference (ECC).

[4]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

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

[6]  Nancy A. Lynch,et al.  Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control , 2000 .

[7]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[8]  Maria Domenica Di Benedetto,et al.  Hybrid Systems: Computation and Control , 2001, Lecture Notes in Computer Science.

[9]  Steven Fortune,et al.  Voronoi Diagrams and Delaunay Triangulations , 2004, Handbook of Discrete and Computational Geometry, 2nd Ed..

[10]  A. Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[11]  Patrick Scott Mara,et al.  Triangulations for the Cube , 1976, J. Comb. Theory, Ser. A.

[12]  Doran Wilde,et al.  A LIBRARY FOR DOING POLYHEDRAL OPERATIONS , 2000 .

[13]  K. Fukuda.  Frequently Asked Questions in Polyhedral Computation , 2000 .

[14]  E. Hille,et al.  Lectures on ordinary differential equations , 1968 .

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

[16]  Nancy A. Lynch,et al.  Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.

[17]  Richard W. Cottle,et al.  Minimal triangulation of the 4-cube , 1982, Discret. Math..

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

[19]  G. Ziegler.  Lectures on Polytopes , 1994 .

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

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

[22]  M. Cwikel,et al.  Convergence of an algorithm to find maximal state constraint sets for discrete-time linear dynamical systems with bounded controls and states , 1985, 1985 24th IEEE Conference on Decision and Control.

[23]  Olivier Bournez,et al.  Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.

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

[25]  J. H. Schuppen,et al.  A controllability result for piecewise-linear hybrid systems , 2001, 2001 European Control Conference (ECC).

[26]  Komei Fukuda,et al.  Exact volume computation for polytopes: a practical study , 1996 .

[27]  Jan H. van Schuppen,et al.  A Sufficient Condition for Controllability of a Class of Hybrid Systems , 1998, HSCC.

[28]  R. Tyrrell Rockafellar,et al.  Convex Analysis , 1970, Princeton Landmarks in Mathematics and Physics.

[29]  M. Cwikel,et al.  Admissible sets and feedback control for discrete-time linear dynamical systems with bounded controls and states , 1984 .