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-fly algorithm for reachability games and its extension to partially observable timed games.
https://hal.inria.fr/inria-00363036 Contributor : Franck CassezConnect in order to contact the contributor Submitted on : Friday, February 20, 2009 - 1:30:22 AM Last modification on : Wednesday, April 27, 2022 - 4:43:56 AM Long-term archiving on: : Friday, October 12, 2012 - 12:00:24 PM
Franck Cassez. Efficient On-the-Fly Algorithms for Partially Observable Timed Games. Proc. of the 5th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS'07), Oct 2007, Salzburg, Austria. pp.5--24. ⟨inria-00363036⟩