Hierarchically consistent control systems
暂无分享,去创建一个
[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.