On controller synthesis for nonlinear hybrid systems
- 27 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 2, 2101-2106
- https://doi.org/10.1109/cdc.1998.758644
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- The synthesis of controllers for linear hybrid automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Controllers for reachability specifications for hybrid systemsAutomatica, 1999
- Verified hybrid controllers for automated vehiclesIEEE Transactions on Automatic Control, 1998
- Conflict resolution for air traffic management: a study in multiagent hybrid systemsIEEE Transactions on Automatic Control, 1998
- Synthesizing controllers for nonlinear hybrid systemsPublished by Springer Nature ,1998
- Hybrid I/O automataPublished by Springer Nature ,1996
- What's decidable about hybrid automata?Published by Association for Computing Machinery (ACM) ,1995
- Viable control of hybrid systemsPublished by Springer Nature ,1995
- Linear Multivariable Control: a Geometric ApproachPublished by Springer Nature ,1979
- Automata on Infinite Objects and Church’s ProblemCBMS Regional Conference Series in Mathematics, 1972