Undecidable problems of decentralized observation and control

13 November 2002

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

Vol. 5
https://doi.org/10.1109/.2001.980822

Abstract

We introduce a new notion of decentralized observabil- ity for discrete-event systems, which we call joint ob- servability. 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 be- comes undecidable. Based on this result, we show that a related decentralized control problem is also unde- cidable. We nally 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
JOINT OBSERVABILITY
REGULAR LANGUAGE
UNDECIDABLE PROBLEMS

This publication has 0 references indexed in Scilit: