Skip to Main content Skip to Navigation
Conference papers

HySon: Set-based simulation of hybrid systems

Olivier Bouissou 1, * Alexandre Chapoutot 2 Samuel Mimram 1, *
* Corresponding author
1 LMeASI - Laboratoire Modélisation et Analyse de Systèmes en Interaction
LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00819377
Contributor : Alexandre Chapoutot <>
Submitted on : Tuesday, April 30, 2013 - 10:42:22 PM
Last modification on : Friday, June 25, 2021 - 9:48:02 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

326