Set-based Simulation for Design and Verification of Simulink Models
Olivier Bouissou
,
Samuel Mimram
,
Baptiste Strazzulla
,
Alexandre Chapoutot
Embedded Real Time Software and Systems (ERTS2) , Feb 2014, Toulouse, France
Conference papers
hal-01290286v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
HySon: Set-based simulation of hybrid systems
Olivier Bouissou
,
Alexandre Chapoutot
,
Samuel Mimram
Conference papers
hal-00819377v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods
Olivier Bouissou
,
Alexandre Chapoutot
,
Samuel Mimram
2013
Reports
hal-00831438v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Acceleration of the abstract fixpoint computation in numerical program analysis
Olivier Bouissou
,
Yassamine Seladji
,
Alexandre Chapoutot
Journal articles
hal-00766769v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An operational semantics for Simulink's simulation engine
Olivier Bouissou
,
Alexandre Chapoutot
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⟩
Conference papers
hal-00819373v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Construction of parametric barrier functions for dynamical systems using interval analysis
Adel Djaballah
,
Alexandre Chapoutot
,
Michel Kieffer
,
Olivier Bouissou
Journal articles
hal-01164307v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods
Olivier Bouissou
,
Alexandre Chapoutot
,
Adel Djoudi
Book sections
istex
hal-00819730v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis
Olivier Bouissou
,
Alexandre Chapoutot
,
Adel Djaballah
,
Michel Kieffer
53rd IEEE Annual Conference on Decision and Control (CDC 2014) , Dec 2014, Los Angeles, United States. pp.1-4,
⟨10.1109/cdc.2014.7039472⟩
Conference papers
hal-01073673v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More