Search - Archive ouverte HAL Access content directly

Filter your results

8 Results
authFullName_s : Olivier Bouissou
Image document

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

HySon: Set-based simulation of hybrid systems

Olivier Bouissou , Alexandre Chapoutot , Samuel Mimram
23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩
Conference papers hal-00819377v1
Image document

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods

Olivier Bouissou , Alexandre Chapoutot , Samuel Mimram
2013
Reports hal-00831438v1

Acceleration of the abstract fixpoint computation in numerical program analysis

Olivier Bouissou , Yassamine Seladji , Alexandre Chapoutot
Journal of Symbolic Computation, 2012, 47 (12), pp.1413-1560. ⟨10.1016/j.jsc.2011.12.050⟩
Journal articles hal-00766769v1

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
Image document

Construction of parametric barrier functions for dynamical systems using interval analysis

Adel Djaballah , Alexandre Chapoutot , Michel Kieffer , Olivier Bouissou
Automatica, 2017, 78, pp.287 - 296. ⟨10.1016/j.automatica.2016.12.013⟩
Journal articles hal-01164307v2

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods

Olivier Bouissou , Alexandre Chapoutot , Adel Djoudi
5th NASA Formal Methods Symposium, 7871, Springer Verlag, pp.108, 2013, LNCS, ⟨10.1007/978-3-642-38088-4_8⟩
Book sections istex hal-00819730v1
Image document

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