DocumentCode
434549
Title
Observability of hybrid systems and turing machines
Author
Collins, Pieter ; Van Schuppen, Jan H.
Author_Institution
Centrum voor Wiskunde en Inf., Amsterdam, Netherlands
Volume
1
fYear
2004
fDate
14-17 Dec. 2004
Firstpage
7
Abstract
In this paper we discuss the observability of hybrid systems and turing machines. We give an elementary example to show that observability is undecidable for turing machines with output. Since many classes of system simulate turing machines, we can then show that observability for these classes is undecidable. We discuss the observability of piecewise-affine hybrid systems, and give examples illustrating different observability properties.
Keywords
Turing machines; observability; piecewise linear techniques; observability; piecewise-affine hybrid system; turing machine; Automata; Computational modeling; Controllability; Linear systems; Observability; Piecewise linear techniques; Power system modeling; Stability; State-space methods; Turing machines;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2004. CDC. 43rd IEEE Conference on
ISSN
0191-2216
Print_ISBN
0-7803-8682-5
Type
conf
DOI
10.1109/CDC.2004.1428598
Filename
1428598
Link To Document