Efficient on-the-fly algorithms for partially observable timed games

Franck Cassez*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

9 Citations (Scopus)

Abstract

In this paper, we review some recent results on the efficient synthesis of controllers for timed systems. We first recall the basics of controller synthesis for timed games and then present an efficient on-the-fiy algorithm for reachability games and its extension to partially observable timed games. The material of this paper is based on two recent articles [13,14] that introduced truly on-the-fly algorithms for the synthesis of controllers for timed games. These results were obtained together with Alexandre David, Emmanuel Fleury and Kim G. Larsen (Aalborg University, Denmark), Didier Lime (IRCCyN, France) and Jean-François Raskin (ULB, Brussels, Belgium).

Original languageEnglish
Title of host publicationFormal Modeling and Analysis of Timed Systems - 5th International Conference, FORMATS 2007, Proceedings
Place of PublicationBerlin; New York
PublisherSpringer, Springer Nature
Pages5-24
Number of pages20
Volume4763 LNCS
ISBN (Electronic)9783540754541
ISBN (Print)9783540754534
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007 - Salzburg, Austria
Duration: 3 Oct 20075 Oct 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4763 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007
CountryAustria
CitySalzburg
Period3/10/075/10/07

Fingerprint Dive into the research topics of 'Efficient on-the-fly algorithms for partially observable timed games'. Together they form a unique fingerprint.

  • Cite this

    Cassez, F. (2007). Efficient on-the-fly algorithms for partially observable timed games. In Formal Modeling and Analysis of Timed Systems - 5th International Conference, FORMATS 2007, Proceedings (Vol. 4763 LNCS, pp. 5-24). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4763 LNCS). Berlin; New York: Springer, Springer Nature. https://doi.org/10.1007/978-3-540-75454-1_3