Title :
Logic, topological semantics and hybrid systems
Author :
Artemov, Sergei ; Davoren, Jennifer ; Nerode, Anil
Author_Institution :
Math. Sci. Inst., Cornell Univ., Ithaca, NY, USA
Abstract :
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
Keywords :
automata theory; control system analysis; control system synthesis; discrete systems; formal logic; grammars; stability; topology; continuity; continuous plants; control automata; discrete automata; hybrid control systems; interacting networks; logics; nonlinear plants; stability; topological semantics; Actuators; Automata; Automatic control; Calculus; Centralized control; Control systems; Differential equations; Force control; Logic; Stability;
Conference_Titel :
Decision and Control, 1997., Proceedings of the 36th IEEE Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-4187-2
DOI :
10.1109/CDC.1997.650716
