Syntax and semantics of the compositional interchange format for hybrid systems-Reference-Cited by-同舟云学术

Syntax and semantics of the compositional interchange format for hybrid systems

Published:2013-01 Issue:1 Volume:82 Page:1-52
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Nadales Agut D.E.,van Beek D.A.,Rooda J.E.

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference67 articles.

1. Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science);Baeten,2009

2. 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.

3. Timed automata: semantics, algorithms and tools;Bengtsson,2004

4. Hierarchical states in the compositional interchange format;Beohar,2010

5. Modest: a compositional modeling formalism for real-time and stochastic systems;Bohnenkamp;IEEE Trans. Softw. Eng.,2006

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A computable and compositional semantics for hybrid systems;Information and Computation;2024-10

2. Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis;2021 IEEE 17th International Conference on Automation Science and Engineering (CASE);2021-08-23

3. A computable and compositional semantics for hybrid automata;Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control;2020-04-17

4. Model-based design of supervisory controllers for baggage handling systems;Simulation Modelling Practice and Theory;2017-11

5. Hybrid automata: from verification to implementation;International Journal on Software Tools for Technology Transfer;2017-06-12