This article describes a new back-end and run-time system for the OpenModelica compiler. This new back-end transforms a Modelica model into a module for the adevs discrete event simulation package, thereby extending adevs to encompass complex, hybrid dynamical systems. The new run-time system that has been built within the adevs simulation package supports models with state-events and time-events and that comprise differential-algebraic systems with high index. Although the procedure for effecting this transformation is based on adevs and the Discrete Event System Specification, it can be adapted to any discrete event simulation package.
CarloniLPPasseroneRPintoA. Languages and tools for hybrid systems design. Found Trends Electron Design Automat2006; 1(1/2): 1–193.
2.
LeeEAZhengH. Operational semantics of hybrid systems. In MorariMThieleL (eds.), Hybrid Systems: Computation and Control (Lecture Notes in Computer Science, vol. 3414). Berlin: Springer, 2005, pp. 25–53.
3.
ZeiglerBPPraehoferHKimTG. Theory of Modeling and Simulation, 2nd edn. New York: Academic Press, 2000.
4.
NutaroJKurugantiPTProtopopescuV. The split system approach to managing time in simulations of hybrid systems having continuous and discrete event components. Simulation2012; 88(3): 281–298.
5.
NutaroJ. Building Software for Simulation: Theory and Algorithms, with Applications in C++. New York: Wiley, 2010.
6.
NutaroJKurugantiPMillerL. Integrated hybrid-simulation of electric power and communications systems. In IEEE Power Engineering Society General Meeting, pp. 1–8.
7.
SydneyANutaroJScoglioC. Simulative comparison of multiprotocol label switching and openflow network technologies for transmission operations. IEEE Transactions on Smart Grid2013; 4(2): 763–770.
8.
HopkinsonKWangXGiovaniniR. EPOCHS: a platform for agent-based electric power and communication simulation built from commercial off-the-shelf components. IEEE Transactions on Power Systems2006; 21(2): 548–558.
9.
BromanDBrooksCGreenbergL. Determinate composition of FMUs for co-simulation. Technical Report UCB/EECS-2013-153, University of California at Berkeley, Electrical Engineering and Computer Sciences, 2013. http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-153.pdf.
10.
FritzsonPAronssonPLundvallH. The OpenModelica modeling, simulation, and development environment. In Proceedings of the 46th Conference on Simulation and Modeling (SIMS’05), pp. 83–90.
11.
FritzsonP. Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach. New York: Wiley-IEEE Press, 2014.
12.
SanzVUrquiaACellierFE. System modeling using the Parallel DEVS formalism and the Modelica language. Sim Modell Practice Theory2010; 18(7): 998–1018.
13.
BeltrameT. Design and Development of a Dymola/Modelica Library for Discrete Event-oriented Systems using DEVS Methodology. Master’s Thesis, ETH Zürich, Department of Computer Science, Institute of Computational Science, 2006.
14.
D’AbreuMWainerG. M/CD++: modeling continuous systems using Modelica and DEVS. In 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, pp. 229–236.
15.
FlorosXBergeroFCellierF. Automated simulation of Modelica models with QSS methods - the discontinuous case. In 8th International Modelica Conference, pp. 657–667.
16.
FlorosXCellierFKofmanE. Discretizing time or states? a comparative study between DASSL and QSS. In 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, pp. 107–115.
17.
BergeroFFlorosXFernándezJ. Simulating Modelica models with a stand-alone quantized state system solver. In Proceedings of the 9th International Modelica Conference, pp. 237–246.
18.
MattssonSESöderlandG. Index reduction in differential-algebraic equations using dummy derivatives. SIAM Journal on Scientific Computing1993; 14(3): 677–692.
19.
MattssonSEOlssonHElmqvistH. Dynamic selection of states in Dymola. In Modelica Workshop2000, pp. 61–67.
20.
NutaroJZeiglerB. On the stability and performance of discrete event methods for simulating continuous systems. J Computat Phys2007; 227(1): 797–819.
21.
BrenanKCampbellSPetzoldL. Numerical solution of initial-value problems in differential-algebraic equations. Philadelphia, PA: SIAM, 1996.
22.
HindmarshABrownPGrantK. SUNDIALS: Suite of Nonlinear and Differential/Algebraic Equation Solvers. ACM Trans Math Softw2005; 31(3): 363–396.
23.
BraunWBachmannBProS. Synchronous events in the OpenModelica compiler with a Petri net library application. In 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, pp. 63–70.
24.
LundvallHFritzsonPBachmannB. Event handling in the OpenModelica compiler and runtime system. Technical Report 2, Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory, 2008.
25.
FrenkelJKunzeGFritzsonP. Survey of appropriate matching algorithms for large scale systems of differential algebraic equations. In Proceedings of the 9th International Modelica Conference, pp. 433–442.
26.
RalstonARabinowitzP. A first course in numerical analysis, second edition. New York: McGraw-Hill, 1978.
27.
ZeiglerBP. Theory of Modeling and Simulation. New York: John Wiley & Sons, 1976.
28.
ZhangJJohanssonKHLygerosJ. Zeno hybrid systems. International Journal of Robust and Nonlinear Control2001; 11(5): 435–451.
29.
PulecchiTCasellaF. HyAuLib: modelling Hybrid Automata in Modelica. In Proceedings of the 6th International Modelica Conference, volume 1, pp. 239–246.
30.
NedialkovNSRamdaniN. Towards Integrating Hybrid DAEs with a High-Index DAE Solver. Rapport de recherche RR-6834, INRIA, 2009. http://hal.inria.fr/inria-00360999.
31.
KimTHwangMHKimD. DEVS/NS-2 environment: integrated tool for efficient networks modeling and simulation. In Proceedings of the 2007 spring simulation multiconference, SpringSim’07, volume 2, pp. 219–226.
LeeEAZhengH. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In Proceedings of the 7th ACM and IEEE international conference on Embedded software (EMSOFT’07), pp. 114–123.
36.
KlingenerJ. Combined discrete-continuous simulation models in ProModel for Windows. In Proceedings of the 1995 Winter Simulation Conference, pp. 445–450.
37.
ZeiglerBPHallSBSarjoughianHS. Exploiting HLA and DEVS to promote interoperability and reuse in Lockheed’s corporate environment. Simulation1999; 73(5): 288–295.
38.
SarjoughianHZeiglerB. DEVS and HLA: complementary paradigms for modeling and simulation?Trans Soc Comput Sim Int2000; 17(4): 187–197.
39.
KimYJKimTG. A heterogeneous simulation framework based on the DEVS BUS and the high level architecture. In Proceedings of the Winter Simulation Conference, volume 1, pp. 421–428.
40.
IEEE. IEEE Standard for Modeling and Simulation (M & S) High Level Architecture (HLA) - Framework and Rules. IEEE Standard 1516-2000, 2000; i–22.
41.
HuangDSarjoughianHWangW. Simulation of semiconductor manufacturing supply-chain systems with DEVS, MPC, and KIB. IEEE Trans Semicond Manuf2009; 22(1): 164–174.
