A symbolic decision procedure for robust safety of timed systems

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 2007, Pages 192-

  Swaminathan, Mani ^a   Fränzle, Martin ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 47249166395     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2007.39     Document Type: Conference Paper

References (6)

1. R. Alur and D. Dill, "A Theory of Timed Automata", Theoretical Computer Science 126, Elsevier (1994), 183-235
2. J. Bengtsson and W. Yi, "Timed Automata: Semantics, Algorithms, and Tools", LNCS 3098, Springer-Verlag (2004), 87-124
3. A. Puri, "Dynamical Properties of Timed Automata", Discrete Event Dynamic Systems 10, Kluwer (2000), 87-113
4. M. De Wulf, L. Doyen, N. Markey, and J.-F. Raskin, "Robustness and Implementability of Timed Automata", Proceedings of FORMATS- FTRTFT'04, LNCS 3253, Springer-Verlag, 2004, 118-133
5. C. Daws and P. Kordy, "Symbolic Robustness Analysis of Timed Automata", Proceedings of FORMATS'06, LNCS 4202, Springer-Verlag, 2006, 143-155
6. L. de Alfaro, T. Henzinger, R. Majumdar, "Discounting the Future in Systems Theory", Proceedings of ICALP'03, LNCS 2719, Springer-Verlag (2003), 1022-1037