Hierarchically consistent control systems

In hierachical systems, higher levels of the hierarchy utilise coarser system models by aggregating the detailed lower level models. In this layered control paradigm, the notion of hierarchical consistency ensures the implementation of high level objectives by the lower level system. In this paper, we define a notion of modeling hierarchy for continuous control systems and obtain characterizations for hierarchically consistent linear systems with respect to controllability objectives. As an interesting by-product, we obtain a hierarchical controllability criterion for linear systems from which we recover the best known controllability algorithm from numerical linear algebra.

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

[2]  S. Shankar Sastry,et al.  Subanalytic Stratifications and Bisimulations , 1998, HSCC.

[3]  P. Caines,et al.  Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..

[4]  Jörg Raisch,et al.  Discrete approximation and supervisory control of continuous systems , 1998, IEEE Trans. Autom. Control..

[5]  John Lygeros,et al.  A next generation architecture for air traffic management systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[6]  Pravin Varaiya,et al.  Towards a layered view of control , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[7]  Walter Murray Wonham,et al.  Hierarchical control of timed discrete-event systems , 1996, Discret. Event Dyn. Syst..

[8]  Walter Murray Wonham,et al.  Hierarchical control of discrete-event systems , 1996, Discret. Event Dyn. Syst..

[9]  Thomas A. Henzinger,et al.  Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems , 1996, Hybrid Systems.

[10]  George J. Pappas,et al.  Hybrid control in air traffic management systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[11]  B. Krogh,et al.  Synthesis of supervisory controllers for hybrid systems based on approximating automata , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

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

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

[14]  Pravin Varaiya,et al.  Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..

[15]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[16]  Arjan van der Schaft,et al.  Non-linear dynamical control systems , 1990 .

[17]  C. P. Kwong,et al.  Aggregation on manifolds , 1986 .

[18]  P. Crouch,et al.  Controllability on principal fibre bundles with compact structure group , 1984 .

[19]  C. P. Kwong,et al.  Disaggregation, approximate disaggregation, and design of suboptimal control , 1983 .

[20]  C. P. Kwong,et al.  Optimal chained aggregation for reduced-order modeling† , 1982 .

[21]  C. Chen,et al.  A quotient space analysis of aggregated models , 1982 .

[22]  C. Paige.  Properties of numerical algorithms related to computing controllability , 1981 .

[23]  P. Dooren.  The generalized eigenstructure problem in linear system theory , 1981 .

[24]  M. Spivak.  A comprehensive introduction to differential geometry , 1979 .

[25]  Patrick Cousot,et al.  Systematic design of program analysis frameworks , 1979, POPL.

[26]  J. Pearson.  Linear multivariable control, a geometric approach , 1977 .

[27]  W. Wolovich.  State-space and multivariable theory , 1972 .

[28]  M. Mesarovic,et al.  Theory of Hierarchical, Multilevel, Systems , 1970 .

[29]  M. Aoki.  Control of large-scale dynamic systems by aggregation , 1968 .

[30]  George J. Pappas,et al.  Subanalytic Stratiications and Bisimulations ? , 1998 .

[31]  S. Shankar Sastry,et al.  Hybrid Systems with Finite Bisimulations , 1997, Hybrid Systems.

[32]  Peter E. Caines,et al.  Hierarchical hybrid control systems , 1997 .

[33]  Kaining Wang,et al.  Qualitative Theory of Dynamical Systems: The Role of Stability Preserving Mappings , 1997, Proceedings of the IEEE.

[34]  S. Shankar Sastry,et al.  Towards Continuous Abstractions of Dynamical and Control Systems , 1996, Hybrid Systems.

[35]  Joseph Sifakis,et al.  Property preserving abstractions for the verification of concurrent systems , 1995, Formal Methods Syst. Des..

[36]  S. Sastry,et al.  Hybrid Control in Air Traac Management Systems , 1995 .

[37]  Thomas A. Henzinger,et al.  Hybrid Systems III , 1995, Lecture Notes in Computer Science.

[38]  Panos J. Antsaklis,et al.  Hybrid System Modeling and Autonomous Control Systems , 1992, Hybrid Systems.

[39]  R. Abraham,et al.  Manifolds, Tensor Analysis, and Applications , 1983 .

[40]  W. Wonham.  Linear Multivariable Control: A Geometric Approach , 1974 .