Foundations of a compositional interchange format for hybrid systems

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

Volumn 4416 LNCS, Issue , 2007, Pages 587-600

  Van Beek, D A ^a   Reniers, M A ^a   Schiffelers, R R H ^a   Rooda, J E ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; DIFFERENTIAL EQUATIONS; PARALLEL PROCESSING SYSTEMS; SWITCHING;

HYBRID SYSTEMS; HYBRID TRANSITION SYSTEMS; INTERCHANGE AUTOMATON;

ELECTRONIC DATA INTERCHANGE;

EID: 38049175214     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71493-4_45     Document Type: Conference Paper

References (24)

1. Remelhe, M.A.P., Beek, D.A.v.: Requirements for an interchange format for nonlinear hybrid systems. Technical Report D 3.6.1, HYCON NoE (2006)
2. MoBIES team: HSIF semantics. Technical report, University of Pennsylvania (2002) internal document.
3. Pinto, A., Carloni, L.P., Passerone, R., Sangiovanni-Vincentelli, A.L.: Interchange format for hybrid systems: Abstract semantics. In Hespanha, J.P., Tiwari, A., eds.: Hybrid Systems: Computation and Control, 9th International Workshop. Volume 3927 of Lecture Notes in Computer Science., Santa Barbara, Springer-Verlag (2006) 491-506
4. Columbus 1ST project: http://www.columbus.gr (2006)
5. HYCON NoE: http://www.ist-hycon.org/ (2005)
6. Cairano, S.D., Bemporad, A., Kvasnica, M.: An architecture for data interchange of switched linear systems. Technical Report D 3.3.1, HYCON NoE (2006)
7. Heemels, W.P.M.H., Schutter, B.d., Bemporad, A.: Equivalence of hybrid dynamical models. Automatica 37(7) (2001) 1085-1091
8. Beek, D.A.v., Reniers, M.A., Schiffelers, R.R.H., Rooda, J.E.: A compositional interchange format for hybrid systems. Technical Report SE-Report 2006-05, Eindhoven University of Technology, Department of Mechanical Engineering, The Netherlands (2006) http://se.wtb.tue.nl/sereports/.
9. Tiller, M.: Introduction to Physical Modeling with Modelica. Volume 615 of The International Series in Engineering and Computer Science. Springer-Verlag (2001)
10. EcosimPro: http://www.ecosimpro.com (2006)
11. The MathWorks, Inc: Using Simulink, version 6, http://www.mathworks.com. (2005)
12. Henzinger, T.A.: The theory of hybrid automata. In Inan, M., Kurshan, R., eds.: Verification of Digital and Hybrid Systems. Volume 170 of NATO ASI Series F: Computer and Systems Science. Springer-Verlag, New York (2000) 265-292
13. Alur, R., Henzinger, T.A., Ho, P.H.: Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering 22(3) (1996) 181-201
14. Schaft, A.J.v.d., Schumacher, J.M.: An Introduction to Hybrid Dynamical Systems. Volume 251 of Lecture Notes in Control and Information Sciences. Springer-Verlag (2000)
15. Lynch, N., Segala, R., Vaandrager, F.: Hybrid I/O automata. Information and Computation 185(1) (2003) 105-157
16. Henzinger, T.A., Ho, P.H., Wong-Toi, H.: A user guide to HYTECH. In Brinksma, E., Cleaveland, R., Larsen, K.G., Margaria, T., Steffen, B., eds.: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop. Volume 1019 of Lecture Notes in Computer Science., Aarhus, Denmark, Springer-Verlag (1995) 41-71
17. Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past HyTech. In Morari, M., Thiele, L., eds.: Hybrid Systems: Computation and Control, 8th International Workshop. Volume 3414 of Lecture Notes in Computer Science. Springer-Verlag (2005) 258-273
18. Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: An approach to the description and analysis of hybrid systems. In Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H., eds.: Hybrid Systems. Volume 736 of Lecture Notes in Computer Science., Springer (1993) 149-178
19. Gebremichael, B., Vaandrager, F.: Specifying urgency in timed i/o automata. In: Proc. Third IEEE Conference on Sofware Engineering and Formal Methods. (2005) 64-74
20. Bornot, S., Sifakis, J.: An algebraic framework for urgency. Information and Computation 163(1) (2000) 172-202
21. Bolognesi, T., Lucidi, F.: Timed process algebras with urgent interactions and a unique powerful binary operator. In de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G., eds.: Real-Time: Theory in Practice, REX Workshop. Volume 600 of Lecture Notes in Computer Science., Mook, The Netherlands, Springer-Verlag (1991) 124-148
22. Beek, D.A.v., 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(1-2) (2006) 129-210
23. Bohnenkamp, H.C., D'Argenio, P.R., Hermanns, H., Katoen, J.P.: Modest: A compositional modeling formalism for real-time and stochastic systems. Technical Report Technical Report TR-CTIT-04-46, University of Twente, Centre for Telematics and Information Technology, The Netherlands (2004)
24. Filippov, A.F.: Differential Equations with Discontinuous Right Hand Sides. Kluwer Academic Publishers, Dordrecht (1988)