Communication and Concurrency, 1989. ,
Concurrency and automata on infinite sequences, Proceedings of the 5th GI-Conference on Theoretical Computer Science, pp.167-183, 1981. ,
DOI : 10.1007/BFb0017309
Introduction to Bisimulation and Coinduction, 2011. ,
DOI : 10.1017/CBO9780511777110
URL : https://hal.archives-ouvertes.fr/hal-00907026
On the origins of bisimulation and coinduction, ACM Transactions on Programming Languages and Systems, vol.31, issue.4, pp.1-1541, 2009. ,
DOI : 10.1145/1516507.1516510
On the bisimulation proof method, Mathematical Structures in Computer Science, vol.8, issue.5, pp.447-479, 1998. ,
DOI : 10.1017/S0960129598002527
A survey of Cyber-Physical Systems, 2011 International Conference on Wireless Communications and Signal Processing (WCSP), pp.1-6, 2011. ,
DOI : 10.1109/WCSP.2011.6096958
Cyber-physical systems, The Impact of Control Technology, pp.161-166, 2011. ,
Introduction to embedded systems: A cyber-physical systems approach, Lulu.com, 2013. ,
DOI : 10.1145/1719010.1719011
Rigorous design of cyber-physical systems, 2012 International Conference on Embedded Computer Systems (SAMOS), pp.319-319, 2012. ,
DOI : 10.1109/SAMOS.2012.6404193
An operational semantics for Simulink's simulation engine, Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES '12, pp.129-138, 2012. ,
DOI : 10.1145/2248418.2248437
Simulation and Model-Based Design. http://www.mathworks.com/products/simulink 12. SCADE Suite ,
Modeling and Simulation in Scilab/Scicos with ScicosLab 4, 2005. ,
DOI : 10.1007/978-1-4419-5527-2
The architecture analysis & design language (AADL): An introduction, 2006. ,
Discrete abstractions of hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.971-984, 2000. ,
DOI : 10.1109/5.871304
Bisimilar linear systems, Automatica, vol.39, issue.12, pp.2035-2047, 2003. ,
DOI : 10.1016/j.automatica.2003.07.003
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.3004
Equivalence of Dynamical Systems by Bisimulation, IEEE Transactions on Automatic Control, vol.49, issue.12, pp.2160-2172, 2004. ,
DOI : 10.1109/TAC.2004.838497
Equivalence of hybrid dynamical systems, Proceedings of the Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004. ,
Bisimulation as congruence in the behavioral setting, Proceedings of the 44th IEEE Conference on Decision and Control, 2005. ,
DOI : 10.1109/CDC.2005.1582257
Equivalence of switching linear systems by bisimulation, International Journal of Control, vol.4, issue.1, pp.74-92, 2006. ,
DOI : 10.1109/TAC.2004.838497
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.508.9061
Simulation and bisimulation over multiple time scales in a behavioral setting, 22nd Mediterranean Conference on Control and Automation, p.3484, 2014. ,
DOI : 10.1109/MED.2014.6961425
URL : http://hdl.handle.net/11858/00-001M-0000-0024-3EF4-E
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions, Hybrid Systems: Computation and Control, pp.116-129, 2008. ,
DOI : 10.1007/978-3-540-78929-1_9
Introduction to mathematical systems theory: a behavioral approach, 1997. ,
DOI : 10.1007/978-1-4757-2953-5
Unifying bisimulation relations for discrete and continuous systems, Proceedings of the International Symposium MTNS2002, South, 2002. ,
Bisimulation relations for dynamical, control, and hybrid systems, Theoretical Computer Science, vol.342, issue.2-3, pp.229-261, 2005. ,
DOI : 10.1016/j.tcs.2005.03.045
URL : http://doi.org/10.1016/j.tcs.2005.03.045
On Simulations and Bisimulations of General Flow Systems, Hybrid Systems: Computation and Control, 10th International Workshop, pp.145-158, 2007. ,
DOI : 10.1007/978-3-540-71493-4_14
Analysis of timed systems using time-abstracting bisimulations . Form, Formal Methods in System Design, vol.18, issue.1, pp.25-68, 2001. ,
DOI : 10.1023/A:1008734703554
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.4253
A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems, Communications in Computer and Information Science (CCIS), vol.347, pp.111-130, 2012. ,
DOI : 10.1007/978-3-642-35737-4_7
On Representations of Abstract Systems with Partial Inputs and Outputs, Lecture Notes in Computer Science, vol.8402, pp.104-123, 2014. ,
DOI : 10.1007/978-3-319-06089-7_8
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems, Communications in Computer and Information ScienceCCIS), pp.469-78, 2014. ,
DOI : 10.1007/978-3-319-13206-8_4
An abstract block formalism for engineering systems, of CEUR Workshop Proceedings., CEUR-WS.org, pp.448-463, 2013. ,
On Existence of Total Input-Output Pairs of Abstract Time Systems, Communications in Computer and Information ScienceCCIS), vol.412, pp.308-331, 2013. ,
DOI : 10.1007/978-3-319-03998-5_16
Theory of processes, I, Czechoslovak Mathematical Journal, vol.17, pp.159-199, 1967. ,
Theory of processes, II, Czechoslovak Mathematical Journal, vol.17, issue.3, pp.372-398, 1967. ,
Model-Checking in Dense Real-Time, Information and Computation, vol.104, issue.1, pp.2-34, 1993. ,
DOI : 10.1006/inco.1993.1024
URL : http://doi.org/10.1006/inco.1993.1024
Switching in Systems and Control (Systems & Control: Foundations & Applications), 2003. ,
The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995. ,
DOI : 10.1016/0304-3975(94)00202-T
Hybrid dynamical systems, IEEE Control Systems, vol.29, issue.2, pp.28-93, 2009. ,
DOI : 10.1109/MCS.2008.931718