Models for hybrid systems: Automata, topologies, controllability, observability
- 1 January 1993
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 317-356
- https://doi.org/10.1007/3-540-57318-6_35
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- A declarative theory for rational controllersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Timed and Hybrid Statecharts and their textual representationLecture Notes in Computer Science, 1992
- Verification of Sequential and Concurrent ProgramsPublished by Springer Nature ,1991
- Nonlinear Control SystemsPublished by Springer Nature ,1989
- Hierarchical control systems for autonomous space robotsPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1988
- Differential Equations with Discontinuous Righthand SidesPublished by Springer Nature ,1988
- Optimal ControlPublished by Springer Nature ,1987
- Differential InclusionsPublished by Springer Nature ,1984
- Trees, automata, and gamesPublished by Association for Computing Machinery (ACM) ,1982
- A Compendium of Continuous LatticesPublished by Springer Nature ,1980