Characterization of backward reachable set and positive invariant set in polytopes

The paper studies reachability problems of autonomous affine systems in polytopes. Our goal is to find in a given polytope both the largest positive invariant set and backward reachable sets (or attraction domains) of facets. Special attention is paid to the stable invariant affine subspace. After presenting several useful properties of these sets, a partition procedure is given so that the polytope is divided into a positive invariant set and several backward reachable sets.

[1]  Calin Belta,et al.  Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty , 2008, IEEE Transactions on Automatic Control.

[2]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

[3]  M.E. Broucke,et al.  Resolving Control to Facet Problems for Affine Hypersurface Systems on Simplices , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[4]  M. Page,et al.  Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks , 2008, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

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

[6]  Mireille E. Broucke,et al.  Reachability and control of affine hypersurface systems on polytopes , 2007, 2007 46th IEEE Conference on Decision and Control.

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

[8]  M. Hirsch,et al.  Differential Equations, Dynamical Systems, and Linear Algebra , 1974 .

[9]  Mireille E. Broucke,et al.  Necessary and Sufficient Conditions for Reachability on a Simplex , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[10]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

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

[12]  van Jh Jan Schuppen,et al.  Reachability of affine systems on polytopes in the plane , 2004 .

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