GDEVS: a generalized discrete event specification for accurate modeling of dynamic systems

Giambiasi, Norbert; Escude, Bruno; Ghosh, Sumit

doi:10.1109/isads.2001.917452

Cited by 52 publications

(75 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Generalized Discrete Event System Specification (GDEVS) [13] polynomial representation of trajectories is the closest realization but the approach opens the door to realization by other trajectory prediction methods.…”

Section: Definitionmentioning

confidence: 99%

Emergence at the Fundamental Systems Level: Existence Conditions for Iterative Specifications

Zeigler¹,

Muzy

2016

Systems

View full text Add to dashboard Cite

Abstract:Conditions under which compositions of component systems form a well-defined system-of-systems are here formulated at a fundamental level. Statement of what defines a well-defined composition and sufficient conditions guaranteeing such a result offers insight into exemplars that can be found in special cases such as differential equation and discrete event systems. For any given global state of a composition, two requirements can be stated informally as: (1) the system can leave this state, i.e., there is at least one trajectory defined that starts from the state; and (2) the trajectory evolves over time without getting stuck at a point in time. Considered for every global state, these conditions determine whether the resultant is a well-defined system and, if so, whether it is non-deterministic or deterministic. We formulate these questions within the framework of iterative specifications for mathematical system models that are shown to be behaviorally equivalent to the Discrete Event System Specification (DEVS) formalism. This formalization supports definitions and proofs of the afore-mentioned conditions. Implications are drawn at the fundamental level of existence where the emergence of a system from an assemblage of components can be characterized. We focus on systems with feedback coupling where existence and uniqueness of solutions is problematic.

show abstract

Section: Definitionmentioning

confidence: 99%

Emergence at the Fundamental Systems Level: Existence Conditions for Iterative Specifications

Zeigler¹,

Muzy

2016

Systems

View full text Add to dashboard Cite

show abstract

“…Different research teams [8][9][10]20,21,[23][24][25][26][27] have shown that discrete event methods (in general) and DEVS (in particular), present several advantages: Computational time reduction: for a given accuracy, the number of calculations can decrease. Hierarchical modular modeling, which improves verification and validation, also enhancing reusability.…”

Section: The Devs Formalismmentioning

confidence: 99%

“…We also defined some models based on the GDEVS formalism [25]. GDEVS [36] uses polynomials of arbitrary degree (as opposed to constant values), to represent the piecewise input-output trajectories of a DEVS model.…”

Section: The Devs Formalismmentioning

confidence: 99%

Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler

Wainer

D'Abreu

2015

Advances in Engineering Software

View full text Add to dashboard Cite

“…PowerDEVS [7] , GDEVS [8] 의 이러한 연구에서 가장 진보된 연구 결과가 ADEVS다 [2] . [9] , MATLAB/Simulink [3] 등과 같이 주로 연속 시간 시스템을 위한 툴에서 찾아 볼 수 있다.…”

Section: 모델링 형식론 통합 통합된 모델링 형식론을 통한 방법은 Devs 연구진들 이 진행한 연구들이 주를 이루며 unclassified

Integrated Hybrid Modeling Methodology and Simulation Engine Design Based on HDEVS Formalism

Kwon¹,

Sung²,

Song

et al. 2013

Journal of the Korea Society for Simulation

View full text Add to dashboard Cite

A hybrid system is a combination of sub systems which have different types of state and time: a typical example is a combination of discrete event and continuous systems. A HDEVS(Hybrid DEVS) formalism was proposed for modeling and analyzing a hybrid system. The HDEVS formalism allows modelers to construct a hierarchical and modular model based on the mathematical set theory. Because the HDEVS formalism was applied to the distributed and interoperated simulators, modelers should make several heterogenous models dividing a target system. Hence, this paper proposes an extended hybrid coupled model of HDEVS formalism and an integrated hybrid modeling methodology in contrast to the existing simulation framework on interoperable simulators. By applying the proposed modeling method, a target system can be translated to a hybrid model in a similar form as the target system. This paper also contains a simulation engine design for the proposed modeling methodlogy and a case study which simulates water tank control systems.

show abstract

GDEVS: a generalized discrete event specification for accurate modeling of dynamic systems

Cited by 52 publications

References 8 publications

Emergence at the Fundamental Systems Level: Existence Conditions for Iterative Specifications

Emergence at the Fundamental Systems Level: Existence Conditions for Iterative Specifications

Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler

Integrated Hybrid Modeling Methodology and Simulation Engine Design Based on HDEVS Formalism

Contact Info

Product

Resources

About