Supervisory control of hybrid systems
By Xenofon D. Koutsoukos, Panos J. Antsaklis, James A. Stiver, M. Lemmon. Proceedings of the IEEE, 2000
348 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Hardware and Architecture
View Paper: https://www.semanticscholar.org/paper/ed532dded2564078fdf13e48ab052a672a1d9f18
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
- Hadas Kress-Gazit
- Georgios Fainekos
- George Pappas
- John Lygeros
- Antoine Girard
- Calin A. Belta
- Marius Kloetzer
- S. Sastry
In Hardware and Architecture
- John Lygeros
- Hadas Kress-Gazit
- George Pappas
- Antoine Girard
- Georgios Fainekos
- Ian M. Mitchell
- Francesco Borrelli
Citations in the corpus
- Local and Piecewise Affine Approaches to System Identification (2003, background): “In [83], supervisory control based on a discrete approximation of the system is studied.”
- Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control - s[Book review; W. M. Haddad; V. S. Chellaboina, and S. G. Nersesov] (2007, background): “Some prominent attempts for modeling hybrid system can be found in [1]–[3].”
- Impulse differential inclusions: a viability approach to hybrid systems (2002, background): “If control inputs are available, one can also define reachability controller synthesis problems, where the objective is to choose the values of the control inputs such that the run of the system never leaves the good set, [15], [10]–[14], [16].”
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications (2008, background): “Besides temporal logic, regular expressions represent another formalism for describing desired behaviors of real systems, as in [15].”
- Temporal logic motion planning for dynamic robots (2009, background): “The motion description language [19] and the framework in [22] utilize regular languages in order to guide the construction of hybrid systems.”