Skip to Main content Skip to Navigation
  1. ENSTA Paris's Publications
  2. Search


...
hal-01290286v1  Conference papers
Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot. Set-based Simulation for Design and Verification of Simulink Models
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
hal-00819373v1  Conference papers
Olivier Bouissou, Alexandre Chapoutot. An operational semantics for Simulink's simulation engine
13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Pekin, China. pp.129-138, ⟨10.1145/2248418.2248437⟩
hal-00819377v1  Conference papers
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-00831438v1  Reports
Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram. Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods
2013
...
hal-01073673v1  Conference papers
Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer. Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis
53rd IEEE Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. pp.1-4, ⟨10.1109/cdc.2014.7039472⟩
...
hal-01164307v2  Journal articles
Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou. Construction of parametric barrier functions for dynamical systems using interval analysis
Automatica, Elsevier, 2017, 78, pp.287 - 296. ⟨10.1016/j.automatica.2016.12.013⟩