
Julien Alexandre dit Sandretto
81
Documents
Publications
4
4
4
9
8
7
9
10
11
6
2
3
4
45
24
8
3
Publications
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⟩
Communication dans un congrès
hal-04813656
v1
|
|
|
Guaranteed Satisfaction of a Temporal Logic Formula with a Confidence ParameterCCC 2024 - Continuity, Computability, Constructivity From Logic to Algorithms, Oct 2024, Nice, France
Communication dans un congrès
hal-04716766
v1
|
|
Interval Methods applied to Signal Temporal Logic - Overview and Extension on TubesSummer Workshop on Interval Methods (SWIM) 2024, Jun 2024, Maastricht, Netherlands
Communication dans un congrès
hal-04716742
v1
|
|
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
Communication dans un congrès
hal-04250608
v1
|
|
TRAJECTORY MONITORING FOR A DRONE USING INTERVAL ANALYSISWorkshop on Planning, Perception and Navigation for Intelligent Vehicles (PPNIV'22), Philippe Martinet, Oct 2023, Kyoto, Japan
Communication dans un congrès
hal-04194830
v1
|
|
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⟩
Communication dans un congrès
hal-03744923
v1
|
|
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⟩
Communication dans un congrès
hal-03587676
v1
|
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⟩
Communication dans un congrès
hal-03430402
v1
|
|
|
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⟩
Communication dans un congrès
hal-03587686
v1
|
|
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⟩
Communication dans un congrès
hal-03197925
v2
|
|
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⟩
Communication dans un congrès
hal-03199339
v1
|
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⟩
Communication dans un congrès
hal-03068260
v1
|
|
Cosimulation-based control synthesisWorkshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
Communication dans un congrès
hal-03035228
v1
|
|
|
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⟩
Communication dans un congrès
hal-03068407
v1
|
|
Computation of integrals with interval endpointsSWIM 2019, Jul 2019, Versailles - Palaiseau, France
Communication dans un congrès
hal-02511927
v1
|
|
Set-membership computation of integrals with uncertain endpointsNUMTA 2019, Jun 2019, Le Castella village, Italy
Communication dans un congrès
hal-02372387
v1
|
|
Confidence-based Contractor, Propagation and Potential Cloud for Differential EquationsSummer Workshop on Interval Methods 2019, Jul 2019, Palaiseau, France
Communication dans un congrès
hal-02372155
v1
|
|
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
Communication dans un congrès
hal-02372308
v1
|
Reliable NonLinear Model-Predictive Control via Validated Simulation2018 Annual American Control Conference (ACC), Jun 2018, Milwaukee, France. pp.609-614
Communication dans un congrès
hal-01992052
v1
|
|
|
Optimal switching instants for the Control of Hybrid Systems11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany
Communication dans un congrès
hal-01992071
v1
|
Validated Runge-Kutta Methods for Initial Value ProblemsANODE, Feb 2018, Auckland, New Zealand
Communication dans un congrès
hal-01762196
v1
|
|
|
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
Communication dans un congrès
hal-01583834
v1
|
|
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
Communication dans un congrès
hal-01583836
v1
|
|
Adjoint Function as Bisection Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential EquationsOMS, Dec 2017, La Havane, Cuba
Communication dans un congrès
hal-01762198
v1
|
|
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⟩
Communication dans un congrès
hal-01490364
v1
|
|
Contraction, propagation and bisection on a validated simulation of ODESummer Workshop on Interval Methods, Jun 2016, Lyon, France
Communication dans un congrès
hal-01325068
v1
|
|
DynBEX: a Differential Constraint Library for Studying Dynamical SystemsConference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria
Communication dans un congrès
hal-01297273
v1
|
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
Communication dans un congrès
hal-01450917
v1
|
|
|
Appropriate Design Guided by Simulation: An Hovercraft ApplicationWorkshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩
Communication dans un congrès
hal-01304012
v1
|
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⟩
Communication dans un congrès
hal-01383584
v1
|
|
|
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⟩
Communication dans un congrès
hal-01304292
v1
|
|
Runge-Kutta Theory and Constraint ProgrammingInternational Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden
Communication dans un congrès
hal-01376456
v1
|
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⟩
Communication dans un congrès
hal-01272513
v1
|
|
Validated Simulation of Differential Algebraic EquationsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Communication dans un congrès
hal-01164474
v1
|
|
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
Communication dans un congrès
hal-01371498
v1
|
|
|
Validated Explicit and Implicit Runge-Kutta MethodsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Communication dans un congrès
hal-01111240
v2
|
Viability kernel computation based on interval methodsSmall Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Communication dans un congrès
hal-01371484
v1
|
|
|
Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in ScienceCAR - 8th National Conference on "Control Architecure of Robots", Jun 2013, Angers, France
Communication dans un congrès
hal-00862752
v1
|
|
Confirmation of Hypothesis on Cable Properties for Cable-Driven RobotsEUCOMES: European Conference on Mechanism Science, Sep 2012, Santander, Spain
Communication dans un congrès
hal-00987425
v1
|
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
Communication dans un congrès
lirmm-00737638
v1
|
|
DynIBEX: a Differential Constraint Library for Studying Dynamical SystemsHSCC, Apr 2016, Vienne, Austria. , HSCC 2016
Poster de conférence
hal-01302504
v1
|
|
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiationnternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom.
Poster de conférence
hal-01316503
v1
|
|
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⟩
Chapitre d'ouvrage
hal-04316434
v1
|
|
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⟩
Chapitre d'ouvrage
hal-02502363
v1
|
|
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⟩
Chapitre d'ouvrage
hal-02146655
v1
|
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⟩
Chapitre d'ouvrage
hal-01954764
v1
|
|
Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-KuttaReachability Problems, pp.1-14, 2018
Chapitre d'ouvrage
hal-01992018
v1
|
|
|
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⟩
Chapitre d'ouvrage
hal-01593225
v1
|
|
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⟩
Chapitre d'ouvrage
hal-00907499
v1
|
|
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⟩
Chapitre d'ouvrage
hal-00907510
v1
|
|
Guaranteed cosimulation of Cyber-Physical Systems2020
Pré-publication, Document de travail
hal-02505237
v1
|
|
Towards a Set-based Signal Temporal Logic2020
Pré-publication, Document de travail
hal-03084701
v1
|
|
Runge-Kutta Theory and Constraint Programming (Extended version)2019
Pré-publication, Document de travail
hal-01992000
v1
|
|
Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations2019
Pré-publication, Document de travail
hal-02372316
v1
|
|
Survey of what DynIbex can do for you2018
Pré-publication, Document de travail
hal-01927784
v1
|
|
Reliable NonLinear Model-Predictive Control via Validated Simulation2017
Pré-publication, Document de travail
hal-01584015
v1
|
|
Robust Motion Planning Based on Sliding Horizon and Validated Simulation *2017
Pré-publication, Document de travail
hal-01493645
v1
|
|
Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain[Research Report] Ensta ParisTech. 2022
Rapport
(rapport de recherche)
hal-03635298
v1
|
|
Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes[Research Report] ENSTA ParisTech. 2015
Rapport
(rapport de recherche)
hal-01107685
v6
|
|
Interval Methods for Model Qualification: Methodology and Advanced Application[Research Report] RR-7880, INRIA. 2012, pp.23
Rapport
(rapport de recherche)
hal-00668950
v1
|
|
Calibration of a fully-constrained parallel cable-driven robot[Research Report] RR-7879, INRIA. 2012, pp.21
Rapport
(rapport de recherche)
hal-00668921
v1
|
|
Étalonnage des robots à câbles : identification et qualificationAutre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4059⟩
Thèse
tel-00933816
v1
|
Chargement...
Chargement...