Hierarchical hybrid control systems

The notion of dynamical consistency ([19],[7]) is extended to hybrid systems so as to define the set of dynamically consistent hybrid partition machines associated with a continuous system S. Following the formulation of the notions of between-block and in-block controllable hybrid partition machines, the lattice HIBC(S) of hybrid in-block controllable partition machines is defined and investigated. A sufficient condition for the existence of a non-trivial lattice HIBC(S) is given and two examples are presented.

[1]  M. Branicky.  Topology of hybrid systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[2]  N. B. O. L. Pettit.  Analysis of Piecewise Linear Dynamical Systems , 1996 .

[3]  P. Caines,et al.  The hierarchical lattices of a finite machine , 1995 .

[4]  Peter E. Caines,et al.  On Dynamically Consistent Hybrid Systems , 1994, Hybrid Systems.

[5]  L. Tavernini.  Differential automata and their discrete simulators , 1987 .

[6]  Panos J. Antsaklis,et al.  Digital control from a hybrid perspective , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[7]  Panos J. Antsaklis,et al.  On the controllability of hybrid control systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[8]  R. Ortega,et al.  The Semi-Lattice of Piecewise Constant Controls for Non-Linear Systems: A Possible Foundation for Fuzzy Control , 1995 .

[9]  Mark W. Spong,et al.  The swing up control problem for the Acrobot , 1995 .

[10]  Ying Zhang,et al.  Synthesis of Hybrid Constraint-Based Controllers , 1994, Hybrid Systems.

[11]  Roger W. Brockett.  Language driven hybrid systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[12]  Mark W. Spong,et al.  Partial feedback linearization of underactuated mechanical systems , 1994, Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'94).

[13]  John Guckenheimer,et al.  A Dynamical Simulation Facility for Hybrid Systems , 1993, Hybrid Systems.

[14]  Bengt Lennartson,et al.  Hybrid systems in process control , 1996 .

[15]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[16]  Anil Nerode,et al.  A hybrid systems approach to integration of medical models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[17]  W. Fleming,et al.  Deterministic and Stochastic Optimal Control , 1975 .

[18]  Héctor J. Sussmann,et al.  Regular synthesis for time-optimal control of single-input real analytic systems in the plane , 1987 .

[19]  A. Nerode,et al.  Multiple agent hybrid control: carrier manifolds and chattering approximations to optimal control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[20]  D. Delchamps.  Stabilizing a linear system with quantized state feedback , 1990 .

[21]  Yuan-Jun Wei,et al.  Lattice structures and hierarchical COCOLOG for finite machines , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.