Models for hybrid systems: Automata, topologies, controllability, observability
- 1 January 1993
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC 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 Science and Business Media LLC ,1991
- Nonlinear Control SystemsPublished by Springer Science and Business Media LLC ,1989
- Hierarchical control systems for autonomous space robotsPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1988
- Differential Equations with Discontinuous Righthand SidesMathematics and Its Applications, 1988
- Optimal ControlPublished by Springer Science and Business Media LLC ,1987
- Differential InclusionsGrundlehren der mathematischen Wissenschaften, 1984
- Trees, automata, and gamesPublished by Association for Computing Machinery (ACM) ,1982
- A Compendium of Continuous LatticesPublished by Springer Science and Business Media LLC ,1980