TY - GEN
T1 - Efficient on-the-fly algorithms for partially observable timed games
AU - Cassez, Franck
PY - 2007
Y1 - 2007
N2 - 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).
AB - 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).
UR - http://www.scopus.com/inward/record.url?scp=38149091017&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-75454-1_3
DO - 10.1007/978-3-540-75454-1_3
M3 - Conference proceeding contribution
AN - SCOPUS:38149091017
SN - 9783540754534
VL - 4763 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 5
EP - 24
BT - Formal Modeling and Analysis of Timed Systems - 5th International Conference, FORMATS 2007, Proceedings
PB - Springer, Springer Nature
CY - Berlin; New York
T2 - 5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007
Y2 - 3 October 2007 through 5 October 2007
ER -