A New Approach of Qualitative Simulation for the Validation of Hybrid Systems

Slim Medimegh; Jean-Yves Pierron; Jean-Pierre Gallois; Frédéric Boulanger

A New Approach of Qualitative Simulation for the Validation of Hybrid Systems

Slim Medimegh ¹ Jean-Yves Pierron ¹ Jean-Pierre Gallois ¹ Frédéric Boulanger ^{2, 3, 4, 5}

1 LIST - Laboratoire d'Intégration des Systèmes et des Technologies

2 CentraleSupélec

3 Université Paris-Saclay

4 LRI - Laboratoire de Recherche en Informatique

5 MODHEL - LRI - Modélisation hétérogène (LRI)

LRI - Laboratoire de Recherche en Informatique

Abstract : Hybrid systems are specified in a heterogeneous form, with discrete and continuous parts. Simulating such systems requires precise data and computational power in order to synchronize continuous changes and discrete transitions. However, in the early design stages, the lack of precision about some parameters forbids such simulations. Qualitative simulation consists in computing only some qualities of the behavior, without computing the exact values. We present here a new approach for the qualitative simulation of hybrid systems, which relies on an abstract model of the state variables and of the qualitative aspects of their evolution. This model is analyzed by the Diversity symbolic execution engine to build the qualitative behaviors of the system.

Keywords : hybrid systems qualitative simulation verification validation

Document type :

Conference papers

Domain :

Computer Science [cs] / Modeling and Simulation

Complete list of metadatas

Cited literature [17 references] Display Hide Download

https://hal-centralesupelec.archives-ouvertes.fr/hal-01398735
Contributor : Frédéric Boulanger <>
Submitted on : Thursday, November 17, 2016 - 4:28:30 PM
Last modification on : Thursday, February 7, 2019 - 3:05:02 PM
Long-term archiving on : Thursday, March 16, 2017 - 4:58:05 PM

article-final.pdf

Files produced by the author(s)

A New Approach of Qualitative Simulation for the Validation of Hybrid Systems

File

Identifiers

Collections

Citation

Export

Metrics

463

94

Contact

A New Approach of Qualitative Simulation for the Validation of Hybrid Systems

File

Identifiers

Collections

Citation

Export

Share

Metrics

463

94

Contact