HySon: Set-based simulation of hybrid systems. 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.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Cattaruzza, Dario; Abate, Alessandro; Schrammel, Peter; Kroening, Daniel: Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (2021)