DocumentCode
2035473
Title
Logic, topological semantics and hybrid systems
Author
Artemov, Sergei ; Davoren, Jennifer ; Nerode, Anil
Author_Institution
Math. Sci. Inst., Cornell Univ., Ithaca, NY, USA
Volume
1
fYear
1997
fDate
10-12 Dec 1997
Firstpage
698
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1997., Proceedings of the 36th IEEE Conference on
Conference_Location
San Diego, CA
ISSN
0191-2216
Print_ISBN
0-7803-4187-2
Type
conf
DOI
10.1109/CDC.1997.650716
Filename
650716
Link To Document