Publication:4553265
From MaRDI portal
zbMath0996.93501MaRDI QIDQ4553265
George J. Pappas, T. John Koo, Shankar S. Sastry
Publication date: 4 November 2002
93C95: Application models in control theory
93A13: Hierarchical systems
93B50: Synthesis problems
93B03: Attainable sets, reachability
93A15: Large-scale systems
Related Items
Supervisory control of hybrid systems based on model abstraction and guided search, A unified approach to controllability analysis for hybrid control systems, Formal Modelling, Analysis and Verification of Hybrid Systems