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.
With the partial support of the French-Indian project CEFIPRA n°2102–1
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: Proc. IFAC Symp. System Structure and Control, pp. 469–474. Elsevier, Amsterdam (1998)
Bouyer, P., D’Souza, D., Madhusudan, P., Petit, A.: Timed control with partial observability. Research Report LSV-02-5, LSV, ENS de Cachan, France (2002)
Cassez, F., Henzinger, T.A., Raskin, J.-F.: A comparison of control problems for timed and hybrid systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 134–148. Springer, Heidelberg (2002)
D’Souza, D., Madhusudan, P.: Timed control synthesis for external specifications. In: Alt, H., Ferreira, A. (eds.) STACS 2002. LNCS, vol. 2285, pp. 571–582. Springer, Heidelberg (2002)
Faella, M., La Torre, S., Murano, A.: Dense real-time games. In: Proc. 17th Symp. Logic in Computer Science (LICS 2002), pp. 167–176. IEEE Comp. Soc. Press, Los Alamitos (2002)
Kumar, R., Garg, V.K.: Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1995)
Kupferman, O., Vardi, M.Y.: Synthesis with incomplete information. In: Proc. 2nd Int. Conf. Temporal Logic (ICTL 1997), pp. 91–106. Kluwer, Dordrecht (1997)
Lin, F., Wonham, W.M.: Supervisory control of timed discrete-event systems under partial observation. IEEE Trans. Automatic Control 40(3), 558–562 (1995)
McNaughton, R.: Infinite games played on finite graphs. Annals of Pure and Applied Logic 65(2), 149–184 (1993)
Reif, J.H.: The complexity of two-player games of incomplete information. Journal of Computer and System Sciences 29(2), 274–301 (1984)
Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 1–13. Springer, Heidelberg (1995)
Thomas, W.: Infinite games and verification. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 58–64. Springer, Heidelberg (2002)
Wong-Toi, H.: The synthesis of controllers for linear hybrid automata. In: Proc. 36th Conf. Decision and Control, pp. 4607–4612. IEEE Comp. Soc. Press, Los Alamitos (1997)
Wong-Toi, H., Hoffmann, G.: The control of dense real-time discrete event systems. In: Proc. 30th Conf. Decision and Control, pp. 1527–1528. IEEE Comp. Soc. Press, Los Alamitos (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bouyer, P., D’Souza, D., Madhusudan, P., Petit, A. (2003). Timed Control with Partial Observability. In: Hunt, W.A., Somenzi, F. (eds) Computer Aided Verification. CAV 2003. Lecture Notes in Computer Science, vol 2725. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45069-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-45069-6_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40524-5
Online ISBN: 978-3-540-45069-6
eBook Packages: Springer Book Archive