Modeling and simulating cyber-physical systems using CyPhySim

This paper describes an open-source simulator for cyberphysical systems called CyPhySim that is based on Ptolemy II. This simulator supports classical (Runge-Kutta) and quantized-state simulation of ordinary differential equations, modal models (hybrid systems), discrete-event models, the Functional Mockup Interface (FMI) for model-exchange and co-simulation, 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. It includes an innovation called "smooth tokens," which allow for a blend of numerical and symbolic computation, and for certain kinds of system models, dramatically reducing the computation required for simulation.

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

[2]  Edward A. Lee,et al.  On the Causality of Mixed-Signal and Hybrid Models , 2003, HSCC.

[3]  Andreas Gerstlauer,et al.  System Design , 2012 .

[4]  François E. Cellier,et al.  Continuous System Simulation , 2006 .

[5]  C. Pantelides.  The consistent intialization of differential-algebraic systems , 1988 .

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

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

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

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

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

[11]  Tim Schmitz.  Discrete Event Simulation Modeling Programming And Analysis , 2016 .

[12]  Edward A. Lee,et al.  Continuous-Time Models , 2021, Economic Modeling and Inference.

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

[14]  David Broman,et al.  Determinate composition of FMUs for co-simulation , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

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

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

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

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

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

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

[21]  Michael Tiller,et al.  Introduction to Physical Modeling with Modelica , 2001 .

[22]  L. Nagel,et al.  SPICE (Simulation Program with Integrated Circuit Emphasis) , 1973 .

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

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

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

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

[27]  Singiresu S Rao,et al.  A Comparative Study of Evidence Theories in the Modeling, Analysis, and Design of Engineering Systems , 2013 .

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

[29]  Christos G. Cassandras,et al.  Discrete-Event Systems , 2005, Handbook of Networked and Embedded Control Systems.