TY - GEN
T1 - HYSON
T2 - 23rd IEEE International Symposium on Rapid System Prototyping, RSP 2012
AU - Bouissou, Olivier
AU - Mimram, Samuel
AU - Chapoutot, Alexandre
PY - 2012/12/1
Y1 - 2012/12/1
N2 - 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 setbased simulation of hybrid systems with uncertain parameters, expressed in Simulink. Our tool handles advanced features such as non-linear operations, zerocrossing 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.
AB - 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 setbased simulation of hybrid systems with uncertain parameters, expressed in Simulink. Our tool handles advanced features such as non-linear operations, zerocrossing 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.
U2 - 10.1109/RSP.2012.6380694
DO - 10.1109/RSP.2012.6380694
M3 - Conference contribution
AN - SCOPUS:84873433375
SN - 9781467327862
T3 - Proceedings - IEEE International Symposium on Rapid System Prototyping, RSP
SP - 79
EP - 85
BT - Proceedings of the 2012 23rd IEEE International Symposium on Rapid System Prototyping
Y2 - 11 October 2012 through 12 October 2012
ER -