New concepts in the abstract format of the compositional interchange format

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 3, Issue PART 1, 2009, Pages 250-255

  Van Beek, D A ^a   Collins, P ^b   Nadales, D E ^a   Rooda, J E ^a   Schiffelers, R R H ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b CWI   (Netherlands)

Author keywords

Automata; Formal semantics; Hybrid systems; Modeling

Indexed keywords

HYBRID SYSTEMS; MODELS; SEMANTICS;

ABSTRACT LANGUAGES; ASSUME/GUARANTEE REASONING; AUTOMATA; COMPOSITIONAL VERIFICATION; FORMAL SEMANTICS; INTERCHANGE FORMATS; MODEL TRANSFORMATION; PARALLEL COMPOSITION;

FORMAL METHODS;

EID: 78049385607     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20090916-3-es-3003.00044     Document Type: Conference Paper

References (17)

1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1), 3-34.
2. Beek, D.A.v., Hofkamp, A.T., Reniers, M.A., Rooda, J.E., and Schiffelers, R.R.H. (2008a). Syntax and formal semantics of Chi 2.0. SE Report 2008-01, Eindhoven University of Technology, Systems Engineering Group, Department of Mechanical Engineering, Eindhoven, The Netherlands. URL http://se.wtb.tue.nl/ sereports.
3. Beek, D.A.v., Reniers, M.A., Rooda, J.E., and Schiffelers, R.R.H. (2007a). Revised hybrid system interchange format. Technical Report HYCON Deliverable D3.6.3, HYCON NoE.
4. Beek, D.A.v., Reniers, M.A., Rooda, J.E., and Schiffelers, R.R.H. (2008b). Concrete syntax and semantics of the compositional interchange format for hybrid systems. In 17th Triennial World Congress of the International Federation of Automatic Control, 7979-7986. Seoul, Korea.
5. Beek, D.A.v., Reniers, M.A., Schiffelers, R.R.H., and Rooda, J.E. (2006). Foundations of a compositional interchange format for hybrid systems. SE Report 2006-05, Eindhoven University of Technology, Systems Engineering Group, Department of Mechanical Engineering, Eindhoven, The Netherlands. URL http://se.wtb.tue.nl/sereports.
6. Beek, D.A.v., Reniers, M.A., Schiffelers, R.R.H., and Rooda, J.E. (2007b). Foundations of an interchange format for hybrid systems. In A. Bemporad, A. Bicchi, and G. Butazzo (eds.), Hybrid Systems: Computation and Control, 10th International Workshop, volume 4416 of Lecture Notes in Computer Science, 587-600. Springer-Verlag, Pisa.
7. C4C consortium (2008). Control for coordination of distributed systems. http://www.c4c-project.eu/.
8. Cairano, S.D., Bemporad, A., and Kvasnica, M. (2006). An architecture for data interchange of switched linear systems. Technical Report D 3.3.1, HYCON NoE.
9. DISC consortium (2009). Distributed supervisory control of large plants. http://www.disc-project.eu/.
10. HYCON Network of Excellence (2005). http://www.ist-hycon.org/.
11. ITEA Twins consortium (2009). Optimizing HW-SW co-design flow for sofware intensive system development. http://www.twins-itea.org/.
12. MoBIES team (2002). HSIF semantics. Technical report, University of Pennsylvania. Internal document.
13. Mousavi, M.R., Reniers, M.A., and Groote, J.F. (2005). Notions of bisimulation and congruence formats for SOS with data. Information and Computation, 200(1), 107-147. (Pubitemid 40762490)
14. MULTIFORM consortium (2008). Integrated multi-formalism tool support for the design of networked embedded control systems MULTIFORM. http://www. multiform.bci.tu-dortmund.de.
15. Pinto, A., Carloni, L.P., Passerone, R., and Sangiovanni-Vincentelli, A.L. (2006). Interchange format for hybrid systems: Abstract semantics. In J.P. Hespanha and A. Tiwari (eds.), Hybrid Systems: Computation and Control, 9th International Workshop, volume 3927 of Lecture Notes in Computer Science, 491-506. Springer-Verlag, Santa Barbara. (Pubitemid 44019607)
16. Theunissen, R.J.M., Schiffelers, R.R.H., Beek, D.A.v., and Rooda, J.E. (2008). Supervisory control synthesis for a patient support system. SE Report 2008 - 08, Eindhoven University of Technology, Systems Engineering Group, Department of Mechanical Engineering, Eindhoven, The Netherlands. URL http://se.wtb.tue.nl/sereports.
17. Theunissen, R.J.M., Schiffelers, R.R.H., Beek, D.A.v., and Rooda, J.E. (2009). Supervisory control synthesis for a patient support system. In Proceedings of the European control conference. Budapest, Hungary.