Lost in translation: Hybrid-time flows vs. real-time transitions

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

Volumn 4981 LNCS, Issue , 2008, Pages 116-129

  Cuijpers, P J L ^a   Reniers, M A ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; DIFFERENTIAL EQUATIONS; HYBRID SYSTEMS; REAL TIME SYSTEMS; ROBOTS; SEMANTICS; SET THEORY;

BISIMULATIONS; CONTINUOUS-TIME; DIFFERENTIAL INCLUSIONS; HYBRID AUTOMATONS; RIGHT-HAND SIDES; SEMANTIC MODEL; TIMING PROPERTIES; UPPER SEMICONTINUOUS;

CONTINUOUS TIME SYSTEMS;

EID: 70350012503     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_9     Document Type: Conference Paper

References (18)

1. Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 278-292. IEEE Computer Society Press, Los Alamitos (1996).
2. Lynch, N., Segala, R., Vaandrager, F.: Hybrid I/O automata. Information and Computation 185(1), 105-157 (2003).
3. Bergstra, J.A., Middelburg, C.A.: Process algebra for hybrid systems. Theoretical Computer Science 335, 215-280 (2005).
4. Cuijpers, P.J.L., Reniers, M.A.: Hybrid process algebra. Journal of Logic and Algebraic Programming 62, 191-245 (2005).
5. van Beek, D.A., Man, K.L., Reniers, M.A., Rooda, J.E., Schiffelers, R.R.H.: Syntax and consistent equation semantics of hybrid chi. Journal of Logic and Algebraic Programming 68, 129-210 (2006).
6. Rounds, W.C., Song, H.: The ö-calculus: A language for distributed control of reconfigurable embedded systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.2623, pp. 435-449. Springer, Heidelberg (2003).
7. Polderman, J., Willems, J.: Introduction to Mathematical Systems Theory: A Behavioural Approach. In: Texts in Applied Mathematics, vol.26, Springer, Heidelberg (1998).
8. Aubin, J.P., Dordan, O.: Dynamical qualitative analysis of evolutionary systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.2289, pp. 62-75. Springer, Heidelberg (2002).
9. van der Schaft, A.J., Schumacher, J.M. (eds.): An Introduction to Hybrid Dynamical Systems. Lecture Notes in Control and Information Sciences, vol.251. Springer-Verlag, London (2000).
10. Davoren, J., Coulthard, V., Markey, N., Moor, T.: Non-deterministic temporal logics for general flow systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.2993, pp. 280-295. Springer, Heidelberg (2004).
11. Aubin, J.P., Lygeros, J., Quincampoix, M., Sastry, S., Seube, N.: Impulse differential inclusions: A viability approach to hybrid systems. IEEE Transactions on Automatic Control 47, 2-20 (2002).
12. Davoren, J.M., Tabuada, P.: On simulations and bisimulation of general flow systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, pp. 145-158. Springer, Heidelberg (2007).
13. Davoren, J.M.: On hybrid systems and the modal ì-calculus. In: Antsaklis, P.J., Kohn, W., Lemmon, M.D., Nerode, A., Sastry, S.S. (eds.) HS 1997. LNCS, vol.1567, pp. 38-69. Springer, Heidelberg (1999).
14. Cuijpers, P., Reniers, M., Heemels, W.: Hybrid transition systems. Technical Report CS-Report 02-12, TU/e, Eindhoven, Netherlands (2002).
15. Baeten, J.C.M., Middelburg, C.A.: Process Algebra with Timing. Monographs in Theoretical Computer Science. Springer, Heidelberg (2002).
16. Hennessy, M.C.B., Milner, R.: On observing nondeterminism and concurrency. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.85, pp. 299-309. Springer, Heidelberg (1980).
17. Haghverdi, E., Tabuada, P., Pappas, G.J.: Bisimulation relations for dynamical, control, and hybrid systems. Theoretical Computer Science 342, 229-261 (2005).
18. Smirnov, G.: Introduction to the Theory of Differential Inclusions. Graduate Studies in Mathematics. American Mathematical Society 41 (2002).