@inbook{4020216add4c4b9cba26b98b92cf5667,
title = "Timed control with partial observability",
abstract = "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 specifications (while the analogous problem under complete observability is decidable) and we identify a decidable subclass.",
author = "Patricia Bouyer and Deepak D'Souza and P. Madhusudan and Antoine Petit",
year = "2003",
doi = "10.1007/978-3-540-45069-6_18",
language = "English (US)",
isbn = "3540405240",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "180--192",
editor = "Hunt, {Warren A.} and Fabio Somenzi",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
}