Logic, topological semantics and hybrid systems
Sergei Nikolaevich Artemov, Jennifer M. Davoren, Anil Nerode · 2002
This note is a preliminary discussion of logics and semantics for the specification, development, and verification of hybrid control systems, with special attention to the central issues of continuity and stability. The hybrid control systems consist of continuous plants and discrete automata.