DocumentCode
2193866
Title
Undecidable problems of decentralized observation and control
Author
Tripakis, Stavros
Author_Institution
VERIMAG, France
Volume
5
fYear
2001
fDate
2001
Firstpage
4104
Abstract
We introduce a notion of decentralized observability for discrete-event systems, which we call joint observability. We prove that checking joint observability of a regular language w.r.t. one observer is decidable, whereas for two (or more) observers the problem becomes undecidable. Based on this result, we show that a related decentralized control problem is also undecidable. We finally provide an extensive study relating our work to existing work in the literature
Keywords
decentralised control; decidability; discrete event systems; formal languages; observers; decentralized control; decentralized observability; decentralized observation; discrete-event systems; formal languages; joint observability; regular language; undecidable problems; Automata; Contracts; Control system synthesis; Control systems; Discrete event systems; Distributed control; Fault diagnosis; Observability;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Conference_Location
Orlando, FL
Print_ISBN
0-7803-7061-9
Type
conf
DOI
10.1109/.2001.980822
Filename
980822
Link To Document