Quantifying similarities between timed systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3829 LNCS, Issue , 2005, Pages 226-241

  Henzinger, Thomas A ^a   Majumdar, Rupak ^b   Prabhu, Vinayak S ^c  

^a EPFL   (Switzerland)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BISIMILARITY METRIC; LANGUAGE INCLUSION; TIMED SIMULATION; TIMED TRANSITION SYSTEMS;

BOOLEAN FUNCTIONS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FUNCTIONS; REAL TIME SYSTEMS;

TIME VARYING SYSTEMS;

EID: 33745477446     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11603009_18     Document Type: Conference Paper

References (23)

1. R. Alur, C. Courcoubetis, and D.L. Dill. Model checking in dense real time. Inf. and Comp., 104:2-34, 1993.
2. R. Alur and D.L. Dill. A theory of timed automata. Theor. Comput. Sci., 126:183-235, 1994.
3. R. Alur, S. La Torre, and P. Madhusudan. Perturbed timed automata. In HSCC 05, LNCS 3414, pages 70-85. Springer, 2005.
4. P. Bouyer, E. Brinksma, and K.G. Larsen. Staying alive as cheaply as possible. In HSCC 04, LNCS 2993, pages 203-218. Springer, 2004.
5. P. Caspi and A. Benveniste. Toward an approximation theory for computerised control. In EMSOFT 02, LNCS 2491, pages 294-304. Springer, 2002.
6. K. Cerans. Decidability of bisimulation equivalences for parallel timer processes. In CAV 92, LNCS 663, pages 302-315. Springer, 1992.
7. E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst., 8:244-263, 1986.
8. H. Comon and Y. Jurski. Timed automata and the theory of real numbers. In CONCUR 99, LNCS 1664, pages 242-257. Springer, 1999.
9. C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. Formal Methods in System Design, 1:385-415, 1992.
10. L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, and M. Stoelinga. Model checking discounted temporal properties. In TACAS 04, LNCS 2988, pages 77-92. Springer, 2004.
11. L. de Alfaro, M. Faella, and M. Stoelinga. Linear and branching metrics for quantitative transition systems. In ICALP 04, LNCS 3142, pages 97-109, 2004.
12. L. de Alfaro, T.A. Henzinger, and R. Majumdar. Discounting the future in systems theory. In ICALP 03, LNCS 2719, pages 1022-1037. Springer, 2003.
13. M. De Wulf, L. Doyen, N. Markey, and J.-F. Raskin. Robustness and impl mentability of timed automata. In FORMATS 04, LNCS 3253, pages 118-133. Springer, 2004.
14. J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. Metrics for labeled Markov processes. Theor. Comput. Sci., 318:323-354, 2004.
15. M. Fränzle. Analysis of hybrid systems: An ounce of realism can save an infinity of states. In CSL 99, LNCS 1683, pages 126-140. Springer, 1999.
16. V. Gupta, T.A. Henzinger, and R. Jagadeesan. Robust timed automata. In HART 97, LNCS 1201, pages 331-345. Springer, 1997.
17. V. Gupta, R. Jagadeesan, and P. Panangaden. Approximate reasoning for real-time probabilistic processes. In QEST 04, pages 304-313. IEEE, 2004.
18. T.A. Henzinger and J.-F. Raskin. Robust undecidability of timed and hybrid systems. In HSCC 00, LNCS 1790, pages 145-159. Springer, 2000.
19. J. Huang, J. Voeten, and M. Geilen. Real-time property preservation in approximations of timed systems. In MEMOCODE 03, pages 163-171. IEEE, 2003.
20. J. Huang, J. Voeten, and M. Geilen. Real-time property preservation in concurrent real-time systems. In RTCSA 04. Springer, 2004.
21. A. Puri. Dynamical properties of timed automata. In FTRTFT 98, LNCS 1486, pages 210-227. Springer, 1998.
22. S. Tasiran. Compositional and Hierarchical Techniques for the Formal Verification of Real-Time Systems. Dissertation, UC Berkeley, 1998.
23. M. De Wulf, L. Doyen, and J.-F. Raskin. Almost ASAP semantics: From timed models to timed implementations. In HSCC 04, LNCS 2993, pages 296-310. Springer, 2004.