@misc{bou-mim-cha-14-aa-hyson,
  author = {Bouissou, Olivier and Mimram, Samuel and Chapoutot, Alexandre},
  title = {Simulation and Verification of Hybrid Systems using {HySon}},
  howpublished = {Online document},
  note = {Maybe submitted to the 1st International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)},
  year = 2014,
  url = {http://www.lix.polytechnique.fr/~smimram/docs/mimram_arch14.pdf},
  comment = {Uses AA to do verification of continuous and hybrid systems.},
  abstract = {In an industrial setting, control-command systems are usually validated using numerical simulation instead of formal verification as proposed by many academic tools. In this paper, we present a tool named HySon that tries to fill the gap between formal methods and industrial usage. HySon takes as input a dynamical system described by a Simulink model and proposes a new simulation engine that safely computes flowpipes of the system variables by adapting the numerical simulation algorithms to make them safely propagate sets of values instead of floatingpoint numbers. We show how the tool runs and give some results on small yet challenging examples.}
}