Alexandre Chapoutot

IROS, 2023

2022

Successive Convexification for Optimal Control with Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Guaranteed master for interval-based cosimulation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2021

Preface.

[BibT_eX]

[DOI]

Acta Cybern., 2021

Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics.

[BibT_eX]

[DOI]

Etienne Bertin

Elliot Brendel

Bruno Hérissé

Acta Cybern., 2021

Constraint-based Verification of Formation Control.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Spatio-temporal constrained zonotopes for validation of optimal control problems <sup>*</sup>.

[BibT_eX]

[DOI]

Etienne Bertin

Bruno Hérissé

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

[BibT_eX]

[DOI]

Luca Geretti

Parasara Sridhar Duggirala

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods.

[BibT_eX]

[DOI]

Sylvie Boldo

Florian Faissole

IEEE Trans. Computers, 2020

Optimal Switching Instants for the Control of Hybrid Systems.

[BibT_eX]

[DOI]

Acta Cybern., 2020

Cosimulation-Based Control Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

[BibT_eX]

[DOI]

Luca Geretti

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Logical Differential Constraints Based on Interval Boolean Tests.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Techniques: Theory and Applications, 2019

Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems.

[BibT_eX]

[DOI]

Paul Rousse

Pierre-Loïc Garoche

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

[BibT_eX]

[DOI]

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation.

[BibT_eX]

[DOI]

Optim. Methods Softw., 2018

Numerical program optimisation by automatic improvement of the accuracy of computations.

[BibT_eX]

[DOI]

Int. J. Intell. Eng. Informatics, 2018

An improved algorithm for the control synthesis of nonlinear sampled switched systems.

[BibT_eX]

[DOI]

Laurent Fribourg

Formal Methods Syst. Des., 2018

Reliable Motion Plannning for a Mobile Robot.

[BibT_eX]

[DOI]

Élise Crepon

Adina Marlena Panchea

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Reliable Navigation Planning Implementation on a Two-Wheeled Mobile Robot.

[BibT_eX]

[DOI]

Élise Crepon

Adina Marlena Panchea

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

An Interval-based Sliding Horizon Motion Planning Method.

[BibT_eX]

[DOI]

Elliot Brendel

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Constraint-Based Framework for Reasoning with Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the Cyber-Physical Systems Security., 2018

2017

Improving the numerical accuracy of programs by automatic transformation.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2017

Construction of parametric barrier functions for dynamical systems using interval analysis.

[BibT_eX]

[DOI]

Autom., 2017

Numerical Accuracy Improvement by Interprocedural Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017

Distributed Control Synthesis Using Euler's Method.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 11th International Workshop, 2017

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Robotic Computing, 2017

Extended reliable robust motion planners.

[BibT_eX]

[DOI]

Adina M. Panchea

David Filliat

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Round-off Error Analysis of Explicit One-Step Numerical Integration Methods.

[BibT_eX]

[DOI]

Sylvie Boldo

Florian Faissole

Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017

2016

Control of nonlinear switched systems based on validated simulation.

[BibT_eX]

[DOI]

Laurent Fribourg

CoRR, 2016

Appropriate Design Guided by Simulation: An Hovercraft Application.

[BibT_eX]

[DOI]

Douglas Picciani de Suza

Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, 2016

Data-types optimization for floating-point formats by program transformation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Control, 2016

Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon.

[BibT_eX]

[DOI]

Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

2015

Transformation of a PID Controller for Numerical Accuracy.

[BibT_eX]

[DOI]

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research.

[BibT_eX]

[DOI]

Proceedings of the Internet of Things. IoT Infrastructures, 2015

Intra-procedural Optimization of the Numerical Accuracy of Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Optimizing the accuracy of a rocket trajectory simulation by program transformation.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM International Conference on Computing Frontiers, 2015

2014

Computation of parametric barrier functions for dynamical systems using interval analysis.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods.

[BibT_eX]

[DOI]

Samuel Mimram

CoRR, 2013

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods.

[BibT_eX]

[DOI]

Adel Djoudi

Proceedings of the NASA Formal Methods, 2013

2012

Acceleration of the abstract fixpoint computation in numerical program analysis.

[BibT_eX]

[DOI]

Yassamine Seladji

J. Symb. Comput., 2012

HySon: Set-based simulation of hybrid systems.

[BibT_eX]

[DOI]

Samuel Mimram

Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, 2012

An operational semantics for Simulink's simulation engine.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012

Range estimation of floating-point variables in Simulink models.

[BibT_eX]

[DOI]

Laurent-Stéphane Didier

Fanny Villers

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2011

A core language for executable models of cyber physical systems: work in progress report.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

2010

Abstract Fixpoint Computations with Numerical Acceleration Methods.

[BibT_eX]

[DOI]

Yassamine Seladji

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 17th International Symposium, 2010

Mathematical equations as executable models of mechanical systems.

[BibT_eX]

[DOI]

Marisa Linnea Peralta

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

2009

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2009

Abstract Simulation: A Static Analysis of Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software and Systems, 2009

2008

Simulation abstraite : une analyse statique de modèles Simulink. (Abstract Simulation: a Static Analysis of Simulink Models).

[BibT_eX]

[DOI]