Controlling a class of non-linear systems on rectangles

In this paper we focus on a particular class of nonlinear affine control systems of the form ẋ = 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 multi-affine 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]  A. J. Lotka.  Elements of Physical Biology. , 1925, Nature.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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