2024
Validated B-series and Runge-Kutta pairs.
Numer. Algorithms, July, 2024
A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations.
Acta Cybern., 2024
Validated Uncertainty Propagation for Estimation and Measure Association, Application to Satellite Tracking.
Proceedings of the 21st International Conference on Informatics in Control, 2024
Overview of Motion Planning Techniques and Their Suitability for an Off-Road Navigation Use-Case.
Proceedings of the 17th International Conference on Control, 2024
2023
Navigation Among Movable Obstacles Using Machine Learning Based Total Time Cost Optimization.
IROS, 2023
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
2022
Algorithms for Reliable Estimation, Identification and Control.
Algorithms, 2022
Task and Motion Planning Methods: Applications and Limitations.
Proceedings of the 19th International Conference on Informatics in Control, 2022
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
,
,
,
,
,
,
,
,
,
,
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022
2021
Guaranteed master for interval-based cosimulation.
Softw. Syst. Model., 2021
Experimental Validation of a Guaranteed Nonlinear Model Predictive Control.
Algorithms, 2021
Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations.
Acta Cybern., 2021
Validated Trajectory Tracking using Flatness.
Acta Cybern., 2021
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics.
Acta Cybern., 2021
Constraint-based Verification of Formation Control.
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>.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion.
Proceedings of the 2021 American Control Conference, 2021
2020
Optimal Switching Instants for the Control of Hybrid Systems.
Acta Cybern., 2020
Cosimulation-Based Control Synthesis.
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2019
Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations.
CoRR, 2019
Set-Membership Computation of Integrals with Uncertain Endpoints.
Proceedings of the Numerical Computations: Theory and Algorithms, 2019
Logical Differential Constraints Based on Interval Boolean Tests.
Proceedings of the Fuzzy Techniques: Theory and Applications, 2019
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems.
Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019
2018
Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation.
Optim. Methods Softw., 2018
An improved algorithm for the control synthesis of nonlinear sampled switched systems.
Formal Methods Syst. Des., 2018
Runge-Kutta Theory and Constraint Programming.
CoRR, 2018
Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta.
Proceedings of the Reachability Problems - 12th International Conference, 2018
Reliable NonLinear Model-Predictive Control via Validated Simulation.
Proceedings of the 2018 Annual American Control Conference, 2018
An Interval-based Sliding Horizon Motion Planning Method.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
Constraint-Based Framework for Reasoning with Differential Equations.
Proceedings of the Cyber-Physical Systems Security., 2018
2017
Solving over-constrained systems of non-linear interval equations - And its robotic application.
Appl. Math. Comput., 2017
Distributed Control Synthesis Using Euler's Method.
Proceedings of the Reachability Problems - 11th International Workshop, 2017
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties.
Proceedings of the First IEEE International Conference on Robotic Computing, 2017
2016
Control of nonlinear switched systems based on validated simulation.
CoRR, 2016
Appropriate Design Guided by Simulation: An Hovercraft Application.
Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, 2016
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon.
Proceedings of the Numerical Software Verification - 9th International Workshop, 2016
2015
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis.
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015
2014
Interval Methods for Model Qualification: Methodology and Advanced Application.
Math. Comput. Sci., 2014
2013
Étalonnage des robots à câbles : identification et qualification. (Certified calibration of parallel cable-driven robots).
PhD thesis, 2013
Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science.
CoRR, 2013