Robustness in Timed Automata

In this paper we survey several approaches to the robustness of timed automata, that is, the ability of a system to resist to slight perturbations or errors. We will concentrate on robustness against timing errors which can be due to measuring errors, imprecise clocks, and unexpected runtime behaviors such as execution times that are longer or shorter than expected.

[1]  R. Alur.  Techniques for automatic verification of real-time systems , 1991 .

[2]  Patricia Bouyer,et al.  Robust Controller Synthesis in Timed Automata , 2013, CONCUR.

[3]  Joseph Sifakis,et al.  Model-based implementation of real-time applications , 2010, EMSOFT '10.

[4]  Ian Stark,et al.  Free-Algebra Models for the pi-Calculus , 2005, FoSSaCS.

[5]  Pavel Krcál,et al.  On Sampled Semantics of Timed Systems , 2005, FSTTCS.

[6]  J. A Brzozowski,et al.  Advances in asynchronous circuit theory. Part I : gate and unbounded inertial delay , 1990 .

[7]  Thomas A. Henzinger,et al.  Robust Undecidability of Timed and Hybrid Systems , 2000, HSCC.

[8]  Krishnendu Chatterjee,et al.  Timed Parity Games: Complexity and Robustness , 2011 .

[9]  Thomas A. Henzinger,et al.  A Comparison of Control Problems for Timed and Hybrid Systems , 2002, HSCC.

[10]  Thomas A. Henzinger,et al.  Robust Timed Automata , 1997, HART.

[11]  Eugene Asarin,et al.  Thin and Thick Timed Regular Languages , 2011, FORMATS.

[12]  Ian J. Hayes,et al.  FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings , 2005, FM.

[13]  Patricia Bouyer,et al.  Robust Model-Checking of Timed Automata via Pumping in Channel Machines , 2011, FORMATS.

[14]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[15]  Patricia Bouyer,et al.  Shrinking Timed Automata , 2011, FSTTCS.

[16]  Oded Maler,et al.  Hybrid and Real-Time Systems , 1997 .

[17]  Patricia Bouyer,et al.  Robust Weighted Timed Automata and Games , 2013, FORMATS.

[18]  Nicolas Markey,et al.  Robust safety of timed automata , 2008, Formal Methods Syst. Des..

[19]  Kim G. Larsen,et al.  Minimum-Cost Reachability for Priced Timed Automata , 2001, HSCC.

[20]  Nobuko Yoshida,et al.  Compositional Choreographies , 2013, CONCUR.

[21]  George J. Pappas,et al.  Optimal Paths in Weighted Timed Automata , 2001, HSCC.

[22]  Marsha Chechik,et al.  CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings , 2008, CONCUR.

[23]  Patricia Bouyer,et al.  Robust Model-Checking of Linear-Time Properties in Timed Automata , 2006, LATIN.

[24]  Jirí Srba,et al.  Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets , 2008, FORMATS.

[25]  Sundar Sarukkai,et al.  FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings , 2005, FSTTCS.

[26]  Stavros Tripakis,et al.  Implementation of Timed Automata: An Issue of Semantics or Modeling? , 2005, FORMATS.

[27]  Jean-François Raskin,et al.  Systematic Implementation of Real-Time Models , 2005, FM.

[28]  Ahmed Bouajjani,et al.  Perturbed Turing machines and hybrid systems , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.

[29]  Parosh Aziz Abdulla,et al.  Sampled Semantics of Timed Automata , 2010, Log. Methods Comput. Sci..

[30]  Nicolas Markey,et al.  Robust Model-Checking of Timed Automata , 2010 .

[31]  Patricia Bouyer,et al.  Robust Reachability in Timed Automata: A Game-Based Approach , 2012, ICALP.

[32]  Benedikt Bollig,et al.  Distributed Timed Automata with Independently Evolving Clocks , 2008, CONCUR.

[33]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[34]  Wang Yi,et al.  UPPAAL 4.0 , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

[35]  Anuj Puri.  Dynamical Properties of Timed Automata , 2000, Discret. Event Dyn. Syst..

[36]  Patricia Bouyer,et al.  Robust Analysis of Timed Automata via Channel Machines , 2008, FoSSaCS.

[37]  Joost-Pieter Katoen,et al.  The Surprising Robustness of (Closed) Timed Automata against Clock-Drift , 2008, IFIP TCS.

[38]  Catalin Dima,et al.  Dynamical Properties of Timed Automata Revisited , 2007, FORMATS.

[39]  Marcos Kiwi,et al.  LATIN 2006: Theoretical Informatics , 2006, Lecture Notes in Computer Science.

[40]  Krishnendu Chatterjee,et al.  Timed Parity Games: Complexity and Robustness , 2008, FORMATS.

[41]  Stavros Tripakis,et al.  Kronos: A Model-Checking Tool for Real-Time Systems , 1998, CAV.

[42]  Ocan Sankur.  Shrinktech: A Tool for the Robustness Analysis of Timed Automata , 2013, CAV.

[43]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[44]  Joost-Pieter Katoen,et al.  A probabilistic extension of UML statecharts: Specification and Verification. , 2002 .