Controlling a Class of Nonlinear Systems on Rectangles

In this paper, we focus on a particular class of nonlinear affine control systems of the form xdot=f(x)+Bu, where the drift f is a multi-affine vector field (i.e., affine in each state component), the control distribution B is constant, and the control u is constrained to a convex set. For such a system, we first derive necessary and sufficient conditions for the existence of a multiaffine feedback control law keeping the system in a rectangular invariant. We then derive sufficient conditions for driving all initial states in a rectangle through a desired facet in finite time. If the control constraints are polyhedral, we show that all these conditions translate to checking the feasibility of systems of linear inequalities to be satisfied by the control at the vertices of the state rectangle. This work is motivated by the need to construct discrete abstractions for continuous and hybrid systems, in which analysis and control tasks specified in terms of reachability of sets of states can be reduced to searches on finite graphs. We show the application of our results to the problem of controlling the angular velocity of an aircraft with gas jet actuators

[1]  Ashish Tiwari,et al.  Series of Abstractions for Hybrid Automata , 2002, HSCC.

[2]  A. J. Lotka,et al.  Elements of Physical Biology. , 1925, Nature.

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

[4]  Rajeev Alur,et al.  Reachability Analysis of Hybrid Systems via Predicate Abstraction , 2002, HSCC.

[5]  Ashish Tiwari,et al.  Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata , 2003, HSCC.

[6]  Gert Vegter,et al.  In handbook of discrete and computational geometry , 1997 .

[7]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

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

[9]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[10]  V. Volterra.  Fluctuations in the Abundance of a Species considered Mathematically , 1926, Nature.

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

[12]  Anthony M. Bloch,et al.  Nonlinear Dynamical Control Systems (H. Nijmeijer and A. J. van der Schaft) , 1991, SIAM Review.

[13]  P. Crouch,et al.  Spacecraft attitude control and stabilization: Applications of geometric control theory to rigid body models , 1984 .

[14]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[15]  A. J. Lotka.  Elements of Physical Biology. , 1925, Nature.

[16]  Ádám M. Halász,et al.  Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems , 2004, HSCC.

[17]  Samson Abramsky,et al.  Physical Traces: Quantum vs. Classical Information Processing , 2002, CTCS.

[18]  Naomi Ehrich Leonard.  Stability of a bottom-heavy underwater vehicle , 1997, Autom..

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

[20]  Pravin Varaiya,et al.  Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.

[21]  V. Volterra.  Fluctuations in the Abundance of a Species considered Mathematically , 1926 .

[22]  Paulo Tabuada,et al.  Bisimulation Relations for Dynamical and Control Systems , 2003, CTCS.

[23]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

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

[25]  A. Isidori.  Nonlinear Control Systems , 1985 .

[26]  S. Shankar Sastry,et al.  O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..

[27]  Gerardo Lafferriere,et al.  A New Class of Decidable Hybrid Systems , 1999, HSCC.

[28]  Calin Belta.  On controlling aircraft and underwater vehicles , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[29]  Joseph Sifakis,et al.  An Approach to the Description and Analysis of Hybrid Systems , 1992, Hybrid Systems.

[30]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[31]  George J. Pappas.  Bisimilar linear systems , 2003, Autom..

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

[33]  R. Mortensen.  A globally stable linear attitude regulator , 1968 .