Sciweavers

Share
CAV
2003
Springer

Timed Control with Partial Observability

9 years 5 months ago
Timed Control with Partial Observability
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that have only a partial observation of the system that it controls. In discrete event systems (where continuous time is not modeled), it is well known how to handle partial observability, and decidability issues do not differ from the complete information setting. We show however that timed control under partial observability is undecidable even for internal speciļ¬cations (while the analogous problem under complete observability is decidable) and we identify a decidable subclass.
Patricia Bouyer, Deepak D'Souza, P. Madhusudan, An
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CAV
Authors Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit
Comments (0)
books