Viability in hybrid systems
Open Access
- 1 February 1995
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 138 (1) , 141-168
- https://doi.org/10.1016/0304-3975(94)00150-h
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Multiple agent autonomous hybrid control systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- A declarative theory for rational controllersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- An autonomous systems control theory: an overviewPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Declarative multiplexed rational controllersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Hybrid system games: Extraction of control automata with small topologiesPublished by Springer Nature ,1997
- Multiple Agent Autonomous Control A Hybrid Systems ArchitecturePublished by Springer Nature ,1993
- Models for hybrid systems: Automata, topologies, controllability, observabilityPublished by Springer Nature ,1993
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsPublished by Springer Nature ,1993
- The Rational Tree MachinePublished by SPIE-Intl Soc Optical Eng ,1989
- Optimal Control of Differential and Functional Equations (J. Warga)SIAM Review, 1975