ProDEVS : an Event-Driven Modeling and Simulation Tool for Hybrid Systems using State Diagrams

Vincent Albert; Vu Le Hung; Damien Foures

Eighth EAI International Conference on Simulation Tools and Techniques

Research Article

ProDEVS : an Event-Driven Modeling and Simulation Tool for Hybrid Systems using State Diagrams

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/eai.24-8-2015.2261136,
    author={Vincent Albert and Vu Le Hung and Damien Foures},
    title={ProDEVS : an Event-Driven Modeling and Simulation Tool for Hybrid Systems using State Diagrams},
    proceedings={Eighth EAI International Conference on Simulation Tools and Techniques},
    publisher={ACM},
    proceedings_a={SIMUTOOLS},
    year={2015},
    month={8},
    keywords={state diagram devs hybrid systems event-driven simulation},
    doi={10.4108/eai.24-8-2015.2261136}
}

Vincent Albert
Vu Le Hung
Damien Foures
Year: 2015
ProDEVS : an Event-Driven Modeling and Simulation Tool for Hybrid Systems using State Diagrams
SIMUTOOLS
ICST
DOI: 10.4108/eai.24-8-2015.2261136

Vincent Albert¹^,*, Vu Le Hung¹, Damien Foures²

1: LAAS-CNRS
2: University of Corsica

*Contact email: valbert@laas.fr

Abstract

This paper introduces a new event-driven modeling and simulation tool for the simulation of hybrid systems. The particularity of this software called ProDEVS lies in its graphical language to define model components behaviour. This graphical language customizes state diagrams for DEVS and quantized based numerical methods. In this paper, syntax and operational semantic of the language are explained, and a mapping from DEVS to this language is illustrated across two simple examples in discrete-event and continuous domain. Finally a complete hybrid system is modeled and simulated to show the usability and the efficiency of this model.

Keywords: state diagram devs hybrid systems event-driven simulation

Published: 2015-08-27
Publisher: ACM

: http://dx.doi.org/10.4108/eai.24-8-2015.2261136