Skip to Main content Skip to Navigation


...
hal-02511927v1  Conference papers
Olivier MullierJulien Alexandre Dit Sandretto. Computation of integrals with interval endpoints
SWIM 2019, Jul 2019, Versailles - Palaiseau, France
...
hal-01593225v1  Book sections
Adrien Le CoëntJulien Alexandre Dit SandrettoAlexandre ChapoutotLaurent FribourgFlorian de Vuyst et al.  Distributed control synthesis using Euler's method
International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
...
hal-01992071v1  Conference papers
Julien Alexandre Dit SandrettoAlexandre ChapoutotOlivier Mullier. Optimal switching instants for the Control of Hybrid Systems
11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany
hal-03199339v1  Conference papers
Paul RousseJulien Alexandre Dit SandrettoAlexandre ChapoutotPierre-Loïc Garoche. Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems
9th 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⟩
hal-03430389v1  Journal articles
Julien Alexandre Dit Sandretto. Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations
Acta Cybernetica, University of Szeged, Institute of Informatics, 2021, 25 (1), pp.49-68. ⟨10.14232/actacyb.285177⟩
hal-03068407v1  Conference papers
Luca GerettiJulien Alexandre Dit SandrettoMatthias AlthoffLuis BenetAlexandre Chapoutot et al.  ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
hal-03430397v1  Journal articles
Julien Alexandre Dit SandrettoOlivier Mullier. Validated Trajectory Tracking using Flatness
Acta Cybernetica, University of Szeged, Institute of Informatics, 2021, 25 (1), pp.85-99. ⟨10.14232/actacyb.285729⟩
...
hal-02372155v1  Conference papers
Julien Alexandre Dit Sandretto. Confidence-based Contractor, Propagation and Potential Cloud for Differential Equations
Summer Workshop on Interval Methods 2019, Jul 2019, Palaiseau, France
hal-03068260v1  Conference papers
Ghiles ZiatOlivier MullierJulien Alexandre Dit SandrettoChristophe GarionAlexandre Chapoutot et al.  Abstract domains for constraint programming with differential equations
NSAD 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⟩
hal-03158488v1  Journal articles
Olivier MullierJulien Alexandre Dit SandrettoAlexandre Chapoutot. Optimal Switching Instants for the Control of Hybrid Systems
Acta Cybernetica, University of Szeged, Institute of Informatics, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
hal-01371484v1  Conference papers
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien Alexandre Dit Sandretto. Viability kernel computation based on interval methods
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
hal-01371498v1  Conference papers
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien Alexandre Dit Sandretto. Inner and Outer Computation of the Viability Kernel based on Interval Analysis
International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
...
hal-01316503v1  Poster communications
Olivier MullierAlexandre ChapoutotJulien Alexandre Dit Sandretto. Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom
hal-01450917v1  Conference papers
Julien Alexandre Dit SandrettoAlexandre Chapoutot. DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
...
hal-01583834v1  Conference papers
Adrien BisuttiJulien Alexandre Dit SandrettoAlexandre ChapoutotRémi Delmas. Interval-based QuickXplain Algorithm
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
hal-01992052v1  Conference papers
Julien Alexandre Dit Sandretto. Reliable NonLinear Model-Predictive Control via Validated Simulation
2018 Annual American Control Conference (ACC), Jun 2018, Milwaukee, France. pp.609-614