Syntax and semantics of the compositional interchange format for hybrid systems

Baeten, 2009 J.C.M. Baeten, D.A. van Beek, D. Hendriks, A.T. Hofkamp, D.E. Nadales Agut, J.E. Rooda, R.R.H. Schiffelers, Definition of the Compositional Interchange Format, Technical Report Deliverable D1.1.2, MULTIFORM consortium, 2010. Bengtsson, 2004, Timed automata: semantics, algorithms and tools, vol. 3098, 87 Beohar, 2010, Hierarchical states in the compositional interchange format, vol. 32, 42 Bohnenkamp, 2006, Modest: a compositional modeling formalism for real-time and stochastic systems, IEEE Trans. Softw. Eng., 32, 812, 10.1109/TSE.2006.104 Bornot, 2000, An algebraic framework for urgency, Inform. and Comput., 163, 172, 10.1006/inco.2000.2999 C4C consortium, Control for coordination of distributed systems, 2008. Available from: <http://www.c4c-project.eu/>. S.D. Cairano, A. Bemporad, M. Kvasnica, An Architecture for Data Interchange of Switched Linear Systems, Technical Report D 3.3.1, HYCON NoE, 2006. Columbus IST project, 2006. Available from: <http://www.columbus.gr>. P.J.L. Cuijpers, Hybrid Process Algebra, Ph.D. thesis, Eindhoven University of Technology, 2004. Cuijpers, 2008, Lost in translation: hybrid-time flows vs real-time transitions, vol. 4981, 116 P.J.L. Cuijpers, M.A. Reniers, W.P.M.H. Heemels, Hybrid Transition Systems, Technical Report CS-Report 02-12, TU/e, Eindhoven, Netherlands, 2002. S. Di Cairano, A. Bemporad, An equivalence result between linear hybrid automata and piecewise affine systems, in: Proc. 45th IEEE Conference on Decision and Control, San Diego, pp. 2631–2636. Embedded Systems Institute, Darwin project, 2006. Available from: <http://www.esi.nl/site/projects/darwin.html>. T.P. Engels, CIF to CIF Model Transformations, Master’s thesis, Eindhoven University of Technology, 2010. EtherCAT Technology Group, EtherCAT – internet for Control Automation Technology, 2011. Available from: <http://www.ethercat.org/>. S. Fisher, D.A. van Beek, R.J.M. Theunissen, D. Hendriks, C. Sonntag, Deliverable D2.4.1 Report on the Test Results of the Synthesis Tool Chain, Technical Report, MULTIFORM consortium, 2011. Frehse, 2005, PHAVer: algorithmic verification of hybrid systems past HyTech, vol. 3414, 258 Frehse, 2011, SpaceEx: scalable verification of hybrid systems M. Goyal, G. Frehse, Translation Between CIF and SpaceEx/PHAVer, Technical Report, MULTIFORM consortium, 2011. Heemels, 2001, Equivalence of hybrid dynamical models, Automatica, 37, 1085, 10.1016/S0005-1098(01)00059-0 D. Hendriks, R.R.H. Schiffelers, M. Hüfner, C. Sonntag, A transformation framework for the compositional interchange format for hybrid systems, in: Proc. 18th IFAC World Congress, Milan, pp. 12509–12514. Henzinger, 2000, The theory of hybrid automata, vol. 170, 265 M. Hüfner, C. Sonntag, Deliverable D1.5.1 Realization of an interface to MUSCOD-II, Technical Report, MULTIFORM consortium, 2011. M. Hüfner, C. Sonntag, A. Jabrayilov, Finalization of the model exchange with Modelica and gPROMS, Technical Report, MULTIFORM consortium, 2010. HYCON Network of Excellence, Hybrid control: taming heterogeneity and complexity of networked embedded systems, 2005. Available from: <http://www.ist-hycon.org/>. HYCON 2 consortium, Highly-complex and networked control systems, 2010. Available from: <http://www.hycon2.eu/>. ITEA Twins consortium, Optimizing HW-SW co-design flow for sofware intensive system development, 2009. Available from: <http://www.twins-itea.org/>. John, 2010 Larsen, 1997, UPPAAL in a Nutshell, Int. J. Softw. Tools Technol. Transfer, 1, 134, 10.1007/s100090050010 Lynch, 2001, Hybrid I/O automata revisited, 403 MoBIES team, HSIF Semantics, Technical Report, University of Pennsylvania, 2002. Internal document. Mousavi, 2005, Notions of bisimulation and congruence formats for SOS with data, Inform. and Comput., 200, 07, 10.1016/j.ic.2005.03.002 MULTIFORM consortium, Integrated multi-formalism tool support for the design of networked embedded control systems MULTIFORM, 2008. Available from: <http://www.multiform.bci.tu-dortmund.de>. D.E. Nadales Agut, M.A. Reniers, Deriving a simulator for a hybrid language using SOS rules, 2011. Available from: <http://se.wtb.tue.nl/sewiki/cif/publications2>. D.E. Nadales Agut, M.A. Reniers, Linearization of CIF through SOS, in: B. Luttik, F. Valencia (Eds.), EXPRESS, EPTCS, vol. 64, 2011, pp. 74–88. D.E. Nadales Agut, D.A. van Beek, J.C.M. Baeten, Deliverable D1.2.1 Report on the Extension of Chi, Technical Report, MULTIFORM consortium, 2011. D.E. Nadales Agut, M.A. Reniers, R.R.H. Schiffelers, K.Y. Jørgensen, D.A. van Beek, A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL, in: 18th Triennial World Congress of the International Federation of Automatic Control, Milano. CD-ROM. Object Management Group, Query/View/Transformation (QVT), version 1.0, 2009. Available from: <http://www.omg.org/spec/QVT/1.0/>. Pinto, 2006, Interchange format for hybrid systems: abstract semantics, vol. 3927, 491 Plotkin, 2004, A structural approach to operational semantics, J. Log. Algebr. Program., 60–61, 17 Reynolds, 1999 R.R.H. Schiffelers, D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, A hybrid language for modeling, simulation and verification, in: S. Engell, H. Guéguen, J. Zaytoon (Eds.), IFAC Conference on Analysis and Design of Hybrid Systems, Saint-Malo, Brittany, France, 2003, pp. 235–240. D.S. Scott, Outline of a Mathematical Theory of Computation, Technical Report PRG-2, Oxford University, Oxford, England, 1970. C. Sonntag, Deliverable D 1.4.2 Realisation of the Model Exchange of a Restricted Class of Models to Matlab/Simulink, Technical Report, MULTIFORM consortium, 2011. C. Sonntag, S. Fisher, Translating sequential function charts to the compositional interchange format for hybrid systems, in: Proc. 49th IEEE Conference on Decision and Control, pp. 4250–4256. C. Sonntag, M. Hüfner, On the connection of equation- and automata-based languages: transforming the compositional interchange format to modelica, in: Proc. 18th IFAC World Congress, pp. 12515–12520. Steinberg, 2009 Strubbe, 2005, A composition operator for systems with active and passive actions, 24 R. Su, D.A. van Beek, J.E. Rooda, Deliverable D2.2.1 Report on Methods and Prototype Tool for the Supervisory Control of Complex Systems, Technical Report, MULTIFORM consortium, 2010. Systems Engineering, The Compositional Interchange Format for Hybrid Systems, 2010. Available from: <http://se.wtb.tue.nl/sewiki/cif/start>. Systems Engineering Group TU/e, Overview of supervisory control tools, 2011. Available from: <http://se.wtb.tue.nl/sewiki/supcon/cif_svc_overview>. Systems Engineering Group TU/e, CIF 2 tooling, 2011. Available from: <http://devel.se.wtb.tue.nl/trac/cif>. T.E. Foundation, Eclipse, 2011. Available from: <http://www.eclipse.org/>. The MathWorks, Inc, Writing S-functions, version 6, 2005. Available from: <http://www.mathworks.com>. R.J.M. Theunissen, R.R.H. Schiffelers, D.A. van Beek, J.E. Rooda, Supervisory control synthesis for a patient support system, in: Proceedings of the European Control Conference, Budapest, Hungary, pp. 4647–4652. D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, Syntax and Consistent Equation Semantics of Hybrid Chi, Technical Report CS-Report 04-37, Eindhoven University of Technology, Department of Computer Science, The Netherlands, 2004. van Beek, 2006, Syntax and consistent equation semantics of hybrid Chi, J. Log. Algebr. Program., 68, 129, 10.1016/j.jlap.2005.10.005 D.A. van Beek, M.A. Reniers, R.R.H. Schiffelers, J.E. Rooda, 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, 2006. van Beek, 2007, Foundations of an interchange format for hybrid systems, vol. 4416, 587 D.A. van Beek, A.T. Hofkamp, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, 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, 2008. van Beek, 2010, Reconciling urgency and variable abstraction in a hybrid compositional setting, vol. 6246, 47 D.A. van Beek, A. David, D. Hendriks, K.Y. Jörgensen, D.E. Nadales Agut, Deliverable D1.3.2 Software for Translations Between the CIF and UPPAAL, Technical Report, MULTIFORM consortium, 2011. D.A. van Beek, P. Collins, D.E. Nadales, J.E. Rooda, R.R.H. Schiffel-ers, New concepts in the abstract format of the compositional interchange format, in: A. Giua, C. Mahuela, M. Silva, J. Zaytoon (Eds.), 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza, Spain, 2009, pp. 250–255. van Beek, 2006 W3C, W3C SVG working group, 2011. Available from: <http://www.w3.org/Graphics/SVG/>. J. Markovski, K. G. M. Jacobs, D. A. van Beek, L. J. A. M. Somers, J. E. Rooda, Coordination of Resources using Generalized State-Based Requirements. in: 10th International Workshop on Discrete Event Systems, 2010, pp. 300–305.