Search - Archive ouverte HAL Access content directly

Filter your results

68 Results
authIdHal_s : alexandre-chapoutot

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

Intra-procedural Optimization of the Numerical Accuracy of Programs

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
Conference papers hal-01164340v1

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

Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon

Alexandre Chapoutot , Julien Alexandre Dit Sandretto
International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩
Conference papers hal-01383584v1
Image document

Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation

Olivier Mullier , Alexandre Chapoutot , Julien Alexandre Dit Sandretto
Optimization Methods and Software, 2018, ⟨10.1080/10556788.2018.1459620⟩
Journal articles hal-01498372v1
Image document

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

Appropriate Design Guided by Simulation: An Hovercraft Application

Julien Alexandre Dit Sandretto , Douglas Piccani de Souza , Alexandre Chapoutot
Workshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩
Conference papers hal-01304012v1
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

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

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

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.
Acta Cybernetica, 2021, pp.1-25. ⟨10.14232/actacyb.285798⟩
Journal articles hal-03142715v1
Image document

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

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

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

Transformation of a PID Controller for Numerical Accuracy

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
Electronic Notes in Theoretical Computer Science, 2015, 317, pp.47-54. ⟨10.1016/j.entcs.2015.10.006⟩
Journal articles hal-01255942v1

Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis

Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Olivier Mullier
Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. ⟨10.4230/OASIcs.SynCoP.2015.91⟩
Conference papers hal-01272513v1

An Interval-based Sliding Horizon Motion Planning Method

Julien Alexandre Dit Sandretto , Elliot Brendel , Alexandre Chapoutot
IFAC-PapersOnLine, 2018, 51 (16), pp.296-301. ⟨10.1016/j.ifacol.2018.08.050⟩
Journal articles hal-01992048v1

Constraint-based Verification of Formation Control

Julien Alexandre Dit Sandretto , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Christophe Garion , Xavier Thirioux et al.
2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩
Conference papers hal-03587686v1
Image document

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods

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

Optimal Switching Instants for the Control of Hybrid Systems

Olivier Mullier , Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Acta Cybernetica, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
Journal articles hal-03158488v1

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

Guaranteed cosimulation of Cyber-Physical Systems

Adrien Le Coënt , Julien Alexandre Dit Sandretto , Alexandre Chapoutot
2020
Preprints, Working Papers, ... hal-02505237v1

Data-Types Optimization for Floating-Point Formats by Program Transformation

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
Control, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. ⟨10.1109/CoDIT.2016.7593626⟩
Conference papers hal-01290292v1

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

Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
CF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩
Conference papers hal-01133695v1
Image document

Survey of what DynIbex can do for you

Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Olivier Mullier
2018
Preprints, Working Papers, ... hal-01927784v1

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

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
Logic-Based Program Synthesis and Transformation, 9527, Springer Verlag, pp.143-160, 2015, Lecture Notes in Computer Science, 978-3-319-27435-5. ⟨10.1007/978-3-319-27436-2_9⟩
Book sections hal-01272514v1
Image document

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