A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
Optimal and robust controller synthesis using energy timed automata with uncertainty, Proceedings of the 22nd International Symposium on Formal Methods (FM'18), pp.203-221, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01889222
Timed Automata: Semantics, Algorithms and Tools, Lecture Notes in Computer Science, vol.3098, pp.87-124, 2004. ,
An enumerative approach for analyzing time Petri nets, Information Processing 83 -Proceedings of the 9th IFIP World Computer Congress (WCC'83), pp.41-46, 1983. ,
Efficient on-the-fly algorithms for the analysis of timed games, CONCUR 2005, vol.3653, pp.66-80, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00350475
A comparison of control problems for timed and hybrid systems ,
, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (HSCC'02), vol.2289, pp.134-148, 2002.
Timed parity games: Complexity and robustness, Logical Methods in Computer Science, vol.7, issue.4, 2011. ,
Timed automata and the theory of real numbers, Proceedings of CONCUR'99, vol.1664, pp.242-257, 1999. ,
Conflict resolution and train speed coordination for solving real-time timetable perturbations, IEEE Transactions on Intelligent Transportation Systems, vol.8, issue.2, pp.208-222, 2007. ,
Timing assumptions and verification of finite-state concurrent systems, Automatic Verification Methods for Finite State Systems (CAV 1989, vol.407, pp.197-212, 1990. ,
Lipschitz robustness of timed i/o systems, Verification, Model Checking, and Abstract Interpretation, pp.250-267, 2016. ,
The embedded systems design challenge, FM 2006, vol.4085, pp.1-15, 2006. ,
Efficient on-the-fly emptiness check for timed büchi automata, ATVA 2010, vol.6252, pp.218-232, 2010. ,
Why liveness for timed automata is hard, and what we can do about it, 14. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, vol.65, pp.1-48, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01423714
Efficient emptiness check for timed büchi automata. Formal Methods in System Design, vol.40, pp.122-146, 2012. ,
Quantitative robustness analysis of flat timed automata, Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'11), vol.6604, pp.229-244, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00534896
Multi-core emptiness checking of timed büchi automata using inclusion abstraction, CAV 2013, vol.8044, pp.968-983, 2013. ,
Robust synthesis for real-time systems, Theor. Comput. Sci, vol.515, pp.96-122, 2014. ,
Checking timed büchi automata emptiness using lu-abstractions, FORMATS 2009, vol.5813, pp.228-242, 2009. ,
Formal synthesis of stabilizing controllers for switched systems, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC '17, pp.111-120, 2017. ,
Counterexample guided abstraction refinement for stability analysis, Computer Aided Verification -28th International Conference, CAV 2016, pp.495-512, 2016. ,
Revisiting reachability in timed automata, LICS'17, 2017. ,
Robust model checking of timed automata under clock drifts, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC '17, pp.153-162, 2017. ,
Shrinking Timed Automata, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011, vol.13, pp.90-102, 2011. ,
Robust controller synthesis in timed automata, Proceedings of the 24th International Conference on Concurrency Theory (CONCUR'13), vol.8052, pp.546-560, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-02264083
Verification of timed automata : reachability, liveness and modelling. (Vérification d'automates temporisés : sûreté, vivacité et modélisation), 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01457094
Checking timed büchi automata emptiness on simulation graphs, ACM Trans. Comput. Log, vol.10, issue.3, 2009. ,
Checking timed büchi automata emptiness efficiently, Formal Methods in System Design, vol.26, issue.3, pp.267-292, 2005. ,