System modeling using the Parallel DEVS formalism and the Modelica language

Sanz, Victorino; Urquía, Alfonso; Cellier, François E.; Dormido, Sebastián

doi:10.1016/j.simpat.2010.03.004

Cited by 19 publications

(13 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This can be useful for verification purposes, since the specification of the lower-level SIMAN constructs is much easier to understand than the complex blocks used on the upper level in Arena. And one can go down further: In [17] an essential part of the SIMAN language has been implemented using the PDEVS formalism, thereby providing a sound mathematical formulation of important parts of Arena.…”

Section: Mathematical Foundation Of Simulation Toolsmentioning

confidence: 99%

Probabilistic State Space Models – A Theoretical Framework with Practical Relevance

Junglas¹

2019

SNE

View full text Add to dashboard Cite

Corresponding to the modeling purpose discrete models can be defined using very different approaches: For a precise description and thorough analysis one of the many different mathematical descriptions can be applied, while a working practitioner often will describe a model within a concrete simulation environment. To demonstrate that mathematical models are useful for practical purposes as well, we will present a simple state-space model for a stochastic discrete system. By means of a concrete example we will show, how the use of this model makes the practical modeling process much easier and leads to a more concise concrete implementation.

show abstract

Section: Mathematical Foundation Of Simulation Toolsmentioning

confidence: 99%

Probabilistic State Space Models – A Theoretical Framework with Practical Relevance

Junglas¹

2019

SNE

View full text Add to dashboard Cite

show abstract

“…To our knowledge there exist no other approaches that automatically translate Modelica models to the DEVS formalism. Research efforts have been reported that implemented Modelica libraries allowing DEVS models to be formulated within a Modelica environment [1,16], but these approaches require from the users to understand the DEVS framework, as they would have to model their system in the DEVS formalism in order to make use of these libraries.…”

Section: Relevance Of Workmentioning

confidence: 99%

Automated Simulation of Modelica Models with QSS Methods : The Discontinuous Case

Floros

Bergero

Cellier

et al. 2011

Linköping Electronic Conference Proceedings

Self Cite

View full text Add to dashboard Cite

This study describes the current implementation of an interface that automatically translates a discontinuous model described using the Modelica language into the Discrete Event System Specification (DEVS) formalism. More specifically, the interface enables the automatic simulation of a Modelica model with discontinuities in the PowerDEVS environment, where the Quantized State Systems (QSS) integration methods are implemented. Providing DEVS-based simulation algorithms to Modelica users should extend significantly the tools that are currently available in order to efficiently simulate several classes of largescale real-world problems, e.g. systems with heavy discontinuities. In this work both the theoretical design and the implementation of the interface are discussed. Furthermore, simulation results are provided that demonstrate the correctness of the proposed implementation as well as the superior performance of QSS methods when simulating discontinuous systems.

show abstract

“…In the last years, numerous interesting and noticeable innovations to enhance aviation safety have been published for different aircraft types. For example, a very small study of developments in the field of aircraft flight envelope protection revealed that 12 different aircraft types or models were used in numerous publications [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17]. Hence, comparison of all the different developments is very difficult.…”

Section: Introductionmentioning

confidence: 99%

Untitled

2019

SNE

View full text Add to dashboard Cite

Simulation Notes Europe (SNE) provides an international, high-quality forum for presentation of new ideas and approaches in simulation-from modelling to experiment analysis, from implementation to verification, from validation to identification, from numerics to visualisation-in context of the simulation process. SNE seeks to serve scientists, researchers, developers and users of the simulation process across a variety of theoretical and applied fields in pursuit of novel ideas in simulation and to enable the exchange of experience and knowledge through descriptions of specific applications. SNE follows the recent developments and trends of modelling and simulation in new and/or joining application areas, as complex systems and big data. SNE puts special emphasis on the overall view in simulation, and on comparative investigations, as benchmarks and comparisons in methodology and application. For this purpose, SNE documents the ARGESIM Benchmarks on Modelling Approaches and Simulation Implementations with publication of definitions, solutions and discussions. SNE welcomes also contributions in education in/for/with simulation. A News Section in SNE provides information on EUROSIM Simulation Societies and Simulation Groups. SNE, primarily an electronic journal, follows an open access strategy, with free download in basic layout. SNE is the official membership journal of EUROSIM, the Federation of European Simulation Societies and Simulation Groupswww.eurosim.info. Members of EUROSIM societies are entitled to download SNE in an elaborate and extended layout, and to access additional sources of benchmark publications, model sources, etc. Print SNE is available for specific groups of EU-ROSIM societies, and starting with Volume 27 (2017) as printon-demand from TU Verlag, TU Wien. SNE is DOI indexed by CrossRef, identified by DOI prefix 10.11128, assigned to the SNE publisher ARGESIM (www.argesim.org). Author's Info. Individual submissions of scientific papers are welcome, as well as post-conference publications of contributions from conferences of EUROSIM societies. SNE welcomes special issues, either dedicated to special areas and/or new developments, or on occasion of events as conferences and workshops with special emphasis. Authors are invited to submit contributions which have not been published and have not being considered for publication elsewhere to the SNE Editorial Office. SNE distinguishes different types of contributions (Notes), i.e. • TN Technical Note, 6-10 p. • EN Education Note, 6-10 p. • PN Project Note 6-10 p. • SN Short Note, max. 6 p. • SW Software Note , 4-6 p. • BN Benchmark Note, 2-10 p.

show abstract

System modeling using the Parallel DEVS formalism and the Modelica language

Cited by 19 publications

References 10 publications

Probabilistic State Space Models – A Theoretical Framework with Practical Relevance

Probabilistic State Space Models – A Theoretical Framework with Practical Relevance

Automated Simulation of Modelica Models with QSS Methods : The Discontinuous Case

Untitled

Contact Info

Product

Resources

About