CyPhySim: a cyber-physical systems simulator

This demo provides a preview of a pre-release version of CyPhySim, an open-source simulator for cyber-physical systems. This simulator supports discrete-event models, quantized-state simulation of continuous dynamics, the Functional Mockup Interface (FMI), classical (Runge-Kutta) simulation of continuous dynamics, modal models (hybrid systems), discrete-time (periodic) systems, and algebraic loop solvers. CyPhySim provides a graphical editor, an XML file syntax for models, and an open API for programmatic construction of models.

[1]  Hyo-Sung Ahn,et al.  Distributed Coordination for Connectivity Adjustment of Linear Compartmental Systems , 2015, IEEE Transactions on Automatic Control.

[2]  François E. Cellier,et al.  Linearly implicit quantization-based integration methods for stiff ordinary differential equations , 2013, Simul. Model. Pract. Theory.

[3]  David Broman,et al.  Requirements for hybrid cosimulation standards , 2015, HSCC.

[4]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[5]  David J. Murray-Smith,et al.  Continuous System Simulation , 1994 .

[6]  Edward A. Lee.  Constructive Models of Discrete and Continuous Physical Phenomena , 2014, IEEE Access.

[7]  Elizabeth Latronico,et al.  System Design, Modeling, and Simulation Using Ptolemy Ii Ontologies , 2013 .

[8]  Ernesto Kofman,et al.  Quantized-state systems: a DEVS Approach for continuous system simulation , 2001 .

[9]  Michael J. Butler,et al.  Co-simulating event-B and continuous models via FMI , 2014, SummerSim.

[10]  Bernard P. Zeigler,et al.  Theory of quantized systems: formal basis for DEVS/HLA distributed simulation environment , 1998, Defense, Security, and Sensing.

[11]  George S. Fishman,et al.  Discrete-Event Simulation : Modeling, Programming, and Analysis , 2001 .

[12]  Edward A. Lee,et al.  Operational Semantics of Hybrid Systems , 2005, HSCC.

[13]  Edward A. Lee,et al.  Modal Models in Ptolemy , 2010, EOOLT.

[14]  François E. Cellier,et al.  Discretizing Time or States?: A Comparative Study between DASSL and QSS (Work in Progress Paper) , 2010, EOOLT 2010.

[15]  Zohar Manna,et al.  From Timed to Hybrid Systems , 1991, REX Workshop.

[16]  Simon Bliudze,et al.  An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction , 2014 .

[17]  George S. Fishman,et al.  Discrete-event simulation , 2001 .

[18]  Edward A. Lee.  Modeling concurrent real-time processes using discrete events , 1999, Ann. Softw. Eng..

[19]  Edward A. Lee,et al.  Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems , 2007, EMSOFT '07.

[20]  Edwin K. P. Chong,et al.  Discrete event systems: Modeling and performance analysis , 1994, Discret. Event Dyn. Syst..

[21]  Edward A. Lee,et al.  On Fixed Points of Strictly Causal Functions , 2013, FORMATS.