Alexandre Chapoutot
Présentation
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.
Publications
Publications
|
|
Improving Domain Generalisable LiDAR Semantic Segmentation In Off-Road Environments with Auxiliary Tasks2025 European Conference on Mobile Robots (ECMR), Sep 2025, Padova, Italy. pp.1-6, ⟨10.1109/ECMR65884.2025.11163269⟩ |
|
|
Integration of acoustic constraints in trajectory generationInternational Conference on Control, Decision and Information Technologies, Jul 2025, Split, Croatia. pp.1-7, ⟨10.1109/CoDIT66093.2025.11321899⟩ |
|
|
Recovering Dense Metric Depth in Indoor Scenes from Monocular Depth Foundation Models and 2D LiDARsEuropean Robotics Forum, Mar 2025, Stuttgart, Germany. pp.236-241, ⟨10.1007/978-3-031-89471-8_36⟩ |
Caractérisation expérimentale du bruit d’un drone en vol stationnaire en environnements réel et contrôléCFA 2025 - 17e Congrès Français d'Acoustique, Société Française d'Acoustique (SFA), Apr 2025, Paris, France |
|
|
|
Improving Off-Road LiDAR Semantic Segmentation with Spatial Context and Auxiliary TasksEuropean Robotic Forum, Mar 2025, Stuttgart (Germany), Germany. pp.300-306, ⟨10.1007/978-3-031-89471-8_46⟩ |
|
|
SCvx-Frank-Wolfe AlgorithmEuropean Control Conference, Jun 2025, Thessaloniki, Greece. pp.737-742, ⟨10.23919/ECC65951.2025.11186948⟩ |
|
|
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. pp.816-827, ⟨10.3397/IN_2024_2661⟩ |
SCvxPyGen: Autocoding SCvx Algorithm2024 IEEE 63rd Conference on Decision and Control (CDC), Dec 2024, Milan, Italy. pp.5086-5093, ⟨10.1109/CDC56724.2024.10886875⟩ |
|
|
|
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. ⟨10.1109/IROS55552.2023.10341692⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
Cosimulation-based control synthesisWorkshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩ |
|
|
|
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⟩ |
|
|
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 |
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 |
|
|
|
Optimal switching instants for the Control of Hybrid Systems11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany |
|
|
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⟩ |
|
|
Extended Reliable Robust Motion Planners56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. ⟨10.1109/CDC.2017.8263805⟩ |
|
|
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 |
|
|
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 |
Numerical Accuracy Improvement by Interprocedural Program TransformationInternational Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. ⟨10.1145/3078659.3078662⟩ |
|
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
Appropriate Design Guided by Simulation: An Hovercraft ApplicationWorkshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩ |
|
|
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⟩ |
|
|
Contraction, propagation and bisection on a validated simulation of ODESummer Workshop on Interval Methods, Jun 2016, Lyon, France |
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 |
|
|
|
DynBEX: a Differential Constraint Library for Studying Dynamical SystemsConference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria |
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⟩ |
|
|
|
Runge-Kutta Theory and Constraint ProgrammingInternational Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden |
|
|
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⟩ |
Viability kernel computation based on interval methodsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic |
|
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 |
|
|
|
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⟩ |
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⟩ |
|
Validated Simulation of Differential Algebraic EquationsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic |
|
Optimizing the Accuracy of a Rocket Trajectory Simulation by Program TransformationCF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩ |
|
|
|
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 |
|
|
Validated Explicit and Implicit Runge-Kutta MethodsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic |
|
|
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⟩ |
|
|
Set-based Simulation for Design and Verification of Simulink ModelsEmbedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France |
|
|
Set-based Simulation for Design and Verification of Simulink ModelsEmbedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France |
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⟩ |
|
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⟩ |
|
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 |
|
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 |
|
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⟩ |
|
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 |
|
Mathematical equations as executable models of mechanical systemsInternational Conference on Cyber-Physical Systems, Apr 2010, Stockholm, Sweden. ⟨10.1145/1795194.1795196⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
Range Estimation of Floating-Point Variables in Simulink ModelsSecond International Workshop on Numerical Software Verification (NSV II), Apr 2009, San Francisco, CA, United States |
|
Static Analysis of Simulink ProgramsModel-driven High-level Programming of Embedded Systems, Apr 2008, Budapest, Hungary |
|
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 |
|
Abstract Frequency Analysis of Synchronous SystemsConference on Languages, Compilers, and Tools for Embedded Systems, Jun 2006, Ottawa, Canada |
|
|
Towards a Verifiable Linear Programming-based SCVx AlgorithmInter-Agency GNC V&V Workshop, Jul 2025, Toulouse & Albi, France |
|
|
A Proof-Assisted Conversion of Signal Temporal Logic Formulas into Negative Normal FormCertified Control Synthesis for Robotic Systems, Jun 2025, Thessaloniki, Greece |
|
|
Spatially Coherent Costmap: A Weakly Supervised Pipeline for Outdoor TraversabilityIEEE/RSJ International Conference on Intelligent Robots and Systems - Late Breacking results, Oct 2024, Abu Dhabi, Saudi Arabia. Late Breacking results |
|
|
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⟩ |
|
|
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiationnternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom. |
|
|
DynIBEX: a Differential Constraint Library for Studying Dynamical SystemsHSCC, Apr 2016, Vienne, Austria. , HSCC 2016 |
|
|
Numerical Accuracy Improvement of ProgramsCGO '16: 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain |
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
|
Guaranteed cosimulation of Cyber-Physical Systems2020 |
|
|
Towards a Set-based Signal Temporal Logic2020 |
|
|
Survey of what DynIbex can do for you2018 |
|
|
Robust Motion Planning Based on Sliding Horizon and Validated Simulation *2017 |
|
|
Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain[Research Report] Ensta ParisTech. 2022 |
|
|
Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes[Research Report] ENSTA ParisTech. 2015 |
|
|
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods2013 |
|
|
Simulation abstraite : une analyse statique de modèles SimulinkGénie logiciel [cs.SE]. Ecole Polytechnique X, 2008. Français. ⟨NNT : ⟩ |