HySon: Set-based simulation of hybrid systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

HySon: Set-based simulation of hybrid systems

Résumé

Hybrid systems are a widely used model to represent and reason about control-command systems. In an industrial context, these are often implemented in Simulink and their validity is checked by performing many numerical simulations in order to test their behavior with various possible inputs. In this article, we present a tool named HySon which performs set-based simulation of hybrid systems with uncertain parameters, expressed in Simulink. Our tool handles advanced features such as non-linear operations, zero-crossing events or discrete sampling. It is based on well-known efficient numerical algorithms that were adapted to handle set-based domains. We demonstrate the performance of our method on various examples.
Fichier non déposé

Dates et versions

hal-00819377 , version 1 (30-04-2013)

Identifiants

Citer

Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram. HySon: Set-based simulation of hybrid systems. 23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩. ⟨hal-00819377⟩
132 Consultations
0 Téléchargements

Altmetric

Partager

More