Hierarchically consistent control systems

Large-scale control systems typically possess a hierarchical architecture in order to manage complexity. Higher levels of the hierarchy utilize coarser models of the system, resulting from aggregating the detailed lower level models. In this layered control paradigm, the notion of hierarchical consistency is important, as it 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 byproduct, we obtain a hierarchical controllability criterion for linear systems from which we recover the best of the known controllability algorithms from numerical linear algebra.

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

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

[3]  B. Krogh,et al.  Synthesis of supervisory controllers for hybrid systems based on approximating automata , 1998, IEEE Trans. Autom. Control..

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

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

[6]  Editors , 1986, Brain Research Bulletin.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[23]  J. Davenport Editor , 1960 .

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

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

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

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

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

[29]  A. Michel,et al.  Qualitative Theory of Dynamical Systems: The Role of Stability Preserving Mappings , 1997, Proceedings of the IEEE.

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

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

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

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

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

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

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

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

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

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

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

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

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