Decidable and undecidable problems in decentralized observation and control

Stavros Tripakis
CNRS, Verimag
Friday, 20 May, 2005 (All day)

The problems of checking existence of and synthesizing (when they exist) observers and controllers are essentially closed in the centralized case, that is, the case of a single observer/controller for the entire plant. The situation is much less clear in the decentralized case. One thing is certain, however: undecidability is common in decentralized settings.

In this talk I will try to give an overview of what I believe are key facts in decentralized observation and control. I will present both decidable and undecidable problems (including old results such as [Pnueli-Rosner 1991], and newer results in the discrete-event system framework) in an attempt to identify the limits of (un)decidability.