Models for Hybrid Systems: Automata, Topologies, Controllability, Observability

Anil Nerode, Wolf Kohn. Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel, editors, Hybrid Systems. Volume 736 of Lecture Notes in Computer Science, pages 317-356, Springer, 1992.

Abstract

Abstract is missing.