Alexandre Chapoutot
92
Documents
Current affiliations
Researcher identifiers
alexandre-chapoutot
-
0000-0002-7230-0710
- IdRef : 198059833
Presentation
Je travaille sur la vérification formelle de programmes de contrôle-commande. En particulier, je m'intéresse à définir des méthodes de résolution garantie d'équations différentielles.
I am working on the formal verification of control-command systems. In particular, I am interested in the definition and the implementation of set-based simulation, i.e., the definition of new validated numerical integration methods.
Publications
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 45
- 15
- 10
- 8
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 3
- 2
- 2
- 1
|
Far-field sound field estimation using robotized measurements and the boundary elements methodInter-Noise 2024 : the 53rd International Congress and Exposition on Noise Control Engineering, Société française d'acoustique (SFA), Aug 2024, Nantes, France
Conference papers
hal-04601339v1
|
|
A ROS-based kinematic calibration tool for serial robots2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2023, Detroit, Michigan, United States
Conference papers
hal-04165802v2
|
|
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '22), May 2022, Milan, Italy. ⟨10.1145/3501710.3519518⟩
Conference papers
hal-03663984v1
|
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
Conference papers
hal-03587676v1
|
|
Constraint-based Verification of Formation Control2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩
Conference papers
hal-03587686v1
|
|
|
Spatio-temporal constrained zonotopes for validation of optimal control problemsCDC 2021 : 60th Conference on Decision and Control, Dec 2021, Austin, United States. pp.6708-6713, ⟨10.1109/CDC45484.2021.9683301⟩
Conference papers
hal-03197925v2
|
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
Conference papers
hal-03068407v1
|
|
Abstract domains for constraint programming with differential equationsNSAD 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
|
|
Cosimulation-based control synthesisWorkshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
Conference papers
hal-03035228v1
|
|
|
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems9th 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
|
|
Prospects on the application of necessary optimality conditions on the resolution of the Goddard problem with unknown bounded parameters using interval arithmeticsSummer Workshop on Interval methods, Jul 2019, Palaiseau, France
Conference papers
hal-02372308v1
|
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19
Conference papers
hal-02167586v1
|
|
|
Optimal switching instants for the Control of Hybrid Systems11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany
Conference papers
hal-01992071v1
|
|
Reliable motion planner evaluated on a mobile robotInternational Workshop on New Frontiers in Computational Robotics, Jan 2018, Laguna Hills, California, United States. ⟨10.1109/IRC.2018.00085⟩
Conference papers
hal-01737032v1
|
|
Interval-based QuickXplain Algorithm10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
Conference papers
hal-01583834v1
|
|
Robust Motion Planning Based on Sliding Horizon and Validated Simulation10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
Conference papers
hal-01583836v1
|
Numerical Accuracy Improvement by Interprocedural Program TransformationInternational Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. ⟨10.1145/3078659.3078662⟩
Conference papers
hal-01598851v1
|
|
|
Round-off Error Analysis of Explicit One-Step Numerical Integration Methods24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. ⟨10.1109/ARITH.2017.22⟩
Conference papers
hal-01581794v1
|
|
BoxRRT* -A Reliable Motion Planner10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
Conference papers
hal-01574921v1
|
|
Extended Reliable Robust Motion Planners56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. ⟨10.1109/CDC.2017.8263805⟩
Conference papers
hal-01493576v1
|
|
Formal Verification of Robotic Behaviors in Presence of Bounded UncertaintiesFirst IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.17⟩
Conference papers
hal-01490364v1
|
|
Contraction, propagation and bisection on a validated simulation of ODESummer Workshop on Interval Methods, Jun 2016, Lyon, France
Conference papers
hal-01325068v1
|
|
Appropriate Design Guided by Simulation: An Hovercraft ApplicationWorkshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩
Conference papers
hal-01304012v1
|
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno PhenomenonInternational Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩
Conference papers
hal-01383584v1
|
|
Control of Nonlinear Switched Systems Based on Validated SimulationInternational Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. ⟨10.1109/SNR.2016.7479377⟩
Conference papers
hal-01304292v1
|
|
|
DynBEX: a Differential Constraint Library for Studying Dynamical SystemsConference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria
Conference papers
hal-01297273v1
|
DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiquesApproches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Conference papers
hal-01450917v1
|
|
Data-Types Optimization for Floating-Point Formats by Program TransformationControl, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. ⟨10.1109/CoDIT.2016.7593626⟩
Conference papers
hal-01290292v1
|
|
|
Runge-Kutta Theory and Constraint ProgrammingInternational Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden
Conference papers
hal-01376456v1
|
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysisWorkshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. ⟨10.4230/OASIcs.SynCoP.2015.91⟩
Conference papers
hal-01272513v1
|
|
Inner and Outer Computation of the Viability Kernel based on Interval AnalysisInternational Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
Conference papers
hal-01371498v1
|
|
|
Intra-procedural Optimization of the Numerical Accuracy of ProgramsFMICS: 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
|
|
Intra-procedural Optimization of the Numerical Accuracy of ProgramsFMICS 2015 - 20th International Workshop on Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
Conference papers
hal-03972635v1
|
Optimizing the Accuracy of a Rocket Trajectory Simulation by Program TransformationCF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩
Conference papers
hal-01133695v1
|
|
Validated Simulation of Differential Algebraic EquationsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Conference papers
hal-01164474v1
|
|
|
Optimizing the accuracy of a rocket trajectory simulation by program transformationProceedings of the 12th ACM International Conference on Computing Frontiers (CF'15), May 2015, Ischia, Italy. pp.1-2
Conference papers
hal-03972769v1
|
Acumen: An Open-Source Testbed for Cyber-Physical Systems ResearchInternational Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩
Conference papers
hal-01490406v1
|
|
Viability kernel computation based on interval methodsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Conference papers
hal-01371484v1
|
|
|
Validated Explicit and Implicit Runge-Kutta MethodsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Conference papers
hal-01111240v2
|
|
Set-based Simulation for Design and Verification of Simulink ModelsEmbedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
Conference papers
hal-01290286v1
|
|
Set-based Simulation for Design and Verification of Simulink ModelsEmbedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Conference papers
hal-02272045v1
|
|
Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis53rd 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
|
Range estimation of floating-point variables in Simulink modelsConference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
Conference papers
hal-00816115v1
|
|
Interval-based Robustness of Linear Parametrized FiltersSCAN'12 - 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia. pp.cf. CDROM
Conference papers
hal-00706772v1
|
|
An operational semantics for Simulink's simulation engine13th 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
|
|
HySon: Set-based simulation of hybrid systems23rd 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)32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, ⟨10.1109/ICDCSW.2012.72⟩
Conference papers
hal-00819378v1
|
|
A Statistical Inference Model for the Dynamic Range of LTI Systems15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, SCAN, Sep 2012, Novosibirsk, Russia. pp.25-26
Conference papers
hal-00851282v1
|
|
|
Interval Slopes as Numerical Abstract Domain for Floating-Point VariablesSAS 2010 - 17th Static Analysis Symposium, Sep 2010, Perpignan, France. pp.184-200, ⟨10.1007/978-3-642-15769-1_12⟩
Conference papers
hal-00469007v4
|
|
Abstract Fixpoint Computations with Numerical Acceleration MethodsInternational Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.29-42, ⟨10.1016/j.entcs.2010.09.004⟩
Conference papers
hal-00492483v1
|
Mathematical equations as executable models of mechanical systemsInternational Conference on Cyber-Physical Systems, Apr 2010, Stockholm, Sweden. ⟨10.1145/1795194.1795196⟩
Conference papers
hal-01392882v1
|
|
|
Abstract Simulation: a Static Analysis of Simulink ModelsInternational Conference on Embedded Software and Systems, May 2009, Zhejiang, China. pp.83-92, ⟨10.1109/ICESS.2009.80⟩
Conference papers
hal-00332447v1
|
Range Estimation of Floating-Point Variables in Simulink ModelsSecond International Workshop on Numerical Software Verification (NSV II), Apr 2009, San Francisco, CA, United States
Conference papers
hal-01298874v1
|
|
Static Analysis of Simulink ProgramsModel-driven High-level Programming of Embedded Systems, Apr 2008, Budapest, Hungary
Conference papers
hal-00819432v1
|
|
Différentiation automatique et formes de Taylor en analyse statique de programmes numériquesConférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2007, Namur, Belgique. pp.261-280
Conference papers
hal-00819434v1
|
|
Abstract Frequency Analysis of Synchronous SystemsConference on Languages, Compilers, and Tools for Embedded Systems, Jun 2006, Ottawa, Canada
Conference papers
hal-00819433v1
|
|
Reliable navigation planning implementation on a two-wheeled mobile robotThe Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States. , 2018, ⟨10.1109/IRC.2018.00035⟩
Conference poster
hal-01737026v1
|
|
Numerical Accuracy Improvement of ProgramsCGO '16: 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain
Conference poster
hal-04526837v1
|
|
DynIBEX: a Differential Constraint Library for Studying Dynamical SystemsConference poster hal-01302504v1 |
|
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic DifferentiationConference poster hal-01316503v1 |
|
Logical Differential Constraints Based on Interval Boolean TestsKearfott 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
|
Constraint-Based Framework for Reasoning with Differential EquationsÇetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩
Book sections
hal-01954764v1
|
|
|
Distributed control synthesis using Euler's methodInternational Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
Book sections
hal-01593225v1
|
Impact of Accuracy Optimization on the Convergence of Numerical Iterative MethodsLogic-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
|
|
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods5th NASA Formal Methods Symposium, 7871, Springer Verlag, pp.108, 2013, LNCS, ⟨10.1007/978-3-642-38088-4_8⟩
Book sections
hal-00819730v1
|
|
Automated far-field sound field estimation combining robotized acoustic measurements and the boundary elements method2024
Preprints, Working Papers, ...
hal-04601337v1
|
|
Guaranteed cosimulation of Cyber-Physical Systems2020
Preprints, Working Papers, ...
hal-02505237v1
|
|
Towards a Set-based Signal Temporal Logic2020
Preprints, Working Papers, ...
hal-03084701v1
|
|
Survey of what DynIbex can do for you2018
Preprints, Working Papers, ...
hal-01927784v1
|
|
Robust Motion Planning Based on Sliding Horizon and Validated Simulation *2017
Preprints, Working Papers, ...
hal-01493645v1
|
|
Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain[Research Report] Ensta ParisTech. 2022
Reports
hal-03635298v1
|
|
Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes[Research Report] ENSTA ParisTech. 2015
Reports
hal-01107685v6
|
|
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods2013
Reports
hal-00831438v1
|
|
Simulation abstraite : une analyse statique de modèles SimulinkGénie logiciel [cs.SE]. Ecole Polytechnique X, 2008. Français. ⟨NNT : ⟩
Theses
tel-00366685v1
|