Inner and Outer Computation of the Viability Kernel based on Interval Analysis
Dominique Monnet
,
Luc Jaulin
,
Jordan Ninin
,
Alexandre Chapoutot
,
Julien Alexandre Dit Sandretto
et al.
International Symposium on Set Membership - Applications, Reliability and Theory , Sep 2015, Manchester, United Kingdom
Conference papers
hal-01371498v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Intra-procedural Optimization of the Numerical Accuracy of Programs
Nasrine Damouche
,
Matthieu Martel
,
Alexandre Chapoutot
Conference papers
hal-01164340v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Control of Nonlinear Switched Systems Based on Validated Simulation
Adrien Le Coent
,
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
,
Laurent Fribourg
International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16) , Apr 2016, Vienne, Austria.
⟨10.1109/SNR.2016.7479377⟩
Conference papers
hal-01304292v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
Alexandre Chapoutot
,
Julien Alexandre Dit Sandretto
Conference papers
hal-01383584v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
Olivier Mullier
,
Alexandre Chapoutot
,
Julien Alexandre Dit Sandretto
Journal articles
hal-01498372v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
Yuanqi Mao
,
Behcet Acikmese
,
Pierre-Loïc Garoche
,
Alexandre Chapoutot
25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '22) , May 2022, Milan, Italy.
⟨10.1145/3501710.3519518⟩
Conference papers
hal-03663984v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Appropriate Design Guided by Simulation: An Hovercraft Application
Julien Alexandre Dit Sandretto
,
Douglas Piccani de Souza
,
Alexandre Chapoutot
Conference papers
hal-01304012v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
Walid Taha
,
Paul Brauner
,
Yingfu Zeng
,
Robert Cartwright
,
Veronica Gaspes
et al.
32nd International Conference on Distributed Computing Systems Workshops , Jun 2012, Macau, China. pp.129-138,
⟨10.1109/ICDCSW.2012.72⟩
Conference papers
hal-00819378v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems
Paul Rousse
,
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
,
Pierre-Loïc Garoche
9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019 , Oct 2019, New York, United States. pp.89-107,
⟨10.1007/978-3-030-41131-2_5⟩
Conference papers
hal-03199339v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics
Etienne Bertin
,
Elliot Brendel
,
Bruno Hérissé
,
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
et al.
Journal articles
hal-03142715v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Logical Differential Constraints Based on Interval Boolean Tests
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
Kearfott R., Batyrshin I., Reformat M., Ceberio M., Kreinovich V.
IFSA/NAFIPS 2019 2019: Fuzzy Techniques: Theory and Applications , 1000,
Springer, Cham , pp.788-792, 2019,
⟨10.1007/978-3-030-21920-8_70⟩
Book sections
hal-02146655v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain
François Pessaux
,
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
[Research Report] Ensta ParisTech. 2022
Reports
hal-03635298v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Abstract domains for constraint programming with differential equations
Ghiles Ziat
,
Olivier Mullier
,
Julien Alexandre Dit Sandretto
,
Christophe Garion
,
Alexandre Chapoutot
et al.
NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains , Nov 2020, Virtual USA, France. pp.2-11,
⟨10.1145/3427762.3429453⟩
Conference papers
hal-03068260v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Transformation of a PID Controller for Numerical Accuracy
Nasrine Damouche
,
Matthieu Martel
,
Alexandre Chapoutot
Journal articles
hal-01255942v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
,
Olivier Mullier
Conference papers
hal-01272513v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An Interval-based Sliding Horizon Motion Planning Method
Julien Alexandre Dit Sandretto
,
Elliot Brendel
,
Alexandre Chapoutot
Journal articles
hal-01992048v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Constraint-based Verification of Formation Control
Julien Alexandre Dit Sandretto
,
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
,
Christophe Garion
,
Xavier Thirioux
et al.
Conference papers
hal-03587686v1
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
Optimal Switching Instants for the Control of Hybrid Systems
Olivier Mullier
,
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
Journal articles
hal-03158488v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Validated Simulation of Differential Algebraic Equations
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
Small Workshop on Interval Methods , Jun 2015, Prague, Czech Republic
Conference papers
hal-01164474v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Guaranteed cosimulation of Cyber-Physical Systems
Adrien Le Coënt
,
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
2020
Preprints, Working Papers, ...
hal-02505237v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Data-Types Optimization for Floating-Point Formats by Program Transformation
Nasrine Damouche
,
Matthieu Martel
,
Alexandre Chapoutot
Conference papers
hal-01290292v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Numerical Accuracy Improvement by Interprocedural Program Transformation
Nasrine Damouche
,
Matthieu Martel
,
Alexandre Chapoutot
International Workshop on Software and Compilers for Embedded Systems , Jun 2017, Sankt Goar, Germany.
⟨10.1145/3078659.3078662⟩
Conference papers
hal-01598851v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation
Nasrine Damouche
,
Matthieu Martel
,
Alexandre Chapoutot
Conference papers
hal-01133695v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Survey of what DynIbex can do for you
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
,
Olivier Mullier
2018
Preprints, Working Papers, ...
hal-01927784v1
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
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
Nasrine Damouche
,
Matthieu Martel
,
Alexandre Chapoutot
Book sections
hal-01272514v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
HSCC , Apr 2016, Vienne, Austria.
, HSCC 2016
Conference poster
hal-01302504v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More