Julien Alexandre dit Sandretto
Publications
Publications
Symbolic Computation of Local Truncation Error for Approximate B-Series-Based Validated SimulationScientific Computing and Software, May 2023, Marsalforn, Malta. pp.55-74, ⟨10.1007/978-3-031-85288-6_4⟩ |
|
Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2025, Hangzhou, France. pp.14892-14898, ⟨10.1109/IROS60139.2025.11245994⟩ |
|
|
|
Guaranteed Satisfaction of a Temporal Logic Formula with a Confidence ParameterCCC 2024 - Continuity, Computability, Constructivity From Logic to Algorithms, Oct 2024, Nice, France |
Validated Uncertainty Propagation for Estimation and Measure Association, Application to Satellite Tracking21st International Conference on Informatics in Control, Automation and Robotics, Nov 2024, Porto, France. pp.660-667, ⟨10.5220/0012939400003822⟩ |
|
Overview of Motion Planning Techniques and Their Suitability for an Off-Road Navigation Use-Case2024 18th International Conference on Control, Automation, Robotics and Vision (ICARCV), Dec 2024, Dubai, France. pp.1054-1061, ⟨10.1109/ICARCV63323.2024.10821670⟩ |
|
|
|
Interval Methods applied to Signal Temporal Logic - Overview and Extension on TubesSummer Workshop on Interval Methods (SWIM) 2024, Jun 2024, Maastricht, Netherlands |
|
|
Navigation among movable obstacles using machine learning based total time cost optimizationIROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2023, Detroit (MI), United States |
|
|
TRAJECTORY MONITORING FOR A DRONE USING INTERVAL ANALYSISWorkshop on Planning, Perception and Navigation for Intelligent Vehicles (PPNIV'22), Philippe Martinet, Oct 2023, Kyoto, Japan |
|
|
Task and motion planning methods: applications and limitationsICINCO 2022 - 19th International Conference on Informatics in Control, Automation and Robotics, Jul 2022, Lisbonne, Portugal. pp.476-483, ⟨10.5220/0011314000003271⟩ |
|
|
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⟩ |
Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion2021 American Control Conference (ACC), May 2021, New Orleans, France. pp.3920-3926, ⟨10.23919/ACC50511.2021.9483185⟩ |
|
|
|
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⟩ |
Cosimulation-based control synthesisWorkshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩ |
|
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⟩ |
|
|
|
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⟩ |
|
|
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 |
|
|
Set-membership computation of integrals with uncertain endpointsNUMTA 2019, Jun 2019, Le Castella village, Italy |
|
|
Computation of integrals with interval endpointsSWIM 2019, Jul 2019, Versailles - Palaiseau, France |
|
|
Confidence-based Contractor, Propagation and Potential Cloud for Differential EquationsSummer Workshop on Interval Methods 2019, Jul 2019, Palaiseau, France |
Reliable NonLinear Model-Predictive Control via Validated Simulation2018 Annual American Control Conference (ACC), Jun 2018, Milwaukee, France. pp.609-614 |
|
|
|
Optimal switching instants for the Control of Hybrid Systems11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany |
Validated Runge-Kutta Methods for Initial Value ProblemsANODE, Feb 2018, Auckland, New Zealand |
|
|
|
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 |
|
|
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 |
|
|
Adjoint Function as Bisection Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential EquationsOMS, Dec 2017, La Havane, Cuba |
|
|
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⟩ |
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 |
|
|
Contraction, propagation and bisection on a validated simulation of ODESummer Workshop on Interval Methods, Jun 2016, Lyon, France |
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⟩ |
|
|
|
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⟩ |
|
|
Appropriate Design Guided by Simulation: An Hovercraft ApplicationWorkshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩ |
|
|
Runge-Kutta Theory and Constraint ProgrammingInternational Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden |
Viability kernel computation based on interval methodsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic |
|
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 |
|
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 |
|
|
|
Validated Explicit and Implicit Runge-Kutta MethodsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic |
|
|
Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in ScienceCAR - 8th National Conference on "Control Architecure of Robots", Jun 2013, Angers, France |
Calibration of a Fully-Constrained Parallel Cable-Driven RobotROMANSY'2012: 19th CISM-IFToMM Symposium on Robot Design, Dynamics, and Control, Paris, France. pp.1-8 |
|
|
|
Confirmation of Hypothesis on Cable Properties for Cable-Driven RobotsEUCOMES: European Conference on Mechanism Science, Sep 2012, Santander, Spain |
|
|
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 |
|
|
A review of classical and learning based approaches in task and motion planningInformatics in Control, Automation and Robotics, LNCS-836, Springer International Publishing, pp.83-99, 2023, Lecture Notes in Networks and Systems, ⟨10.1007/978-3-031-48303-5_5⟩ |
|
|
Set-Membership Computation of Integrals with Uncertain EndpointsNumerical Computations: Theory and Algorithms Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II,, pp.169-181, 2020, ⟨10.1007/978-3-030-40616-5_13⟩ |
|
|
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⟩ |
|
Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-KuttaReachability Problems, pp.1-14, 2018 |
|
|
|
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⟩ |
|
|
Certified Calibration of a Cable-Driven Robot Using Interval Contractor ProgrammingFederico Thomas; Alba Perez Gracia. Computational Kinematics, 15, Springer Netherlands, pp.209-217, 2014, Mechanisms and Machine Science, 978-94-007-7213-7. ⟨10.1007/978-94-007-7214-4_24⟩ |
|
|
Confirmation of Hypothesis on Cable Properties for Cable-Driven RobotsViadero, Fernando; Ceccarelli, Marco. New Trends in Mechanism and Machine Science, Mechanisms and Machine Science (7), Springer Netherlands, pp.85-93, 2013, Theory and Applications in Engineering, 978-94-007-4901-6. ⟨10.1007/978-94-007-4902-3_9⟩ |
|
|
Guaranteed cosimulation of Cyber-Physical Systems2020 |
|
|
Towards a Set-based Signal Temporal Logic2020 |
|
|
Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations2019 |
|
|
Runge-Kutta Theory and Constraint Programming (Extended version)2019 |
|
|
Survey of what DynIbex can do for you2018 |
|
|
Reliable NonLinear Model-Predictive Control via Validated Simulation2017 |
|
|
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 |
|
|
Interval Methods for Model Qualification: Methodology and Advanced Application[Research Report] RR-7880, INRIA. 2012, pp.23 |
|
|
Calibration of a fully-constrained parallel cable-driven robot[Research Report] RR-7879, INRIA. 2012, pp.21 |
|
|
Étalonnage des robots à câbles : identification et qualificationAutre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4059⟩ |