[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || Models for hybrid systems: Automata, topologies, controllability, observability
Grossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans
- 作者Grossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans
- 文件大小2550.99KB
- 发表时间1993
- DOI10.1007/3-540-57318-6_35
- 页码317-356