E-LIB Suche - Ergebnisse für: Alexandre Dit Sandretto, Julien

1

Validated B-series and Runge-Kutta pairs:

Alexandre dit Sandretto, Julien
Numerical Algorithms. 96 (2023) 3 - p. 1045-1062 , 2023

Link: https://doi.org/10.1007/..

2

Algorithms for Reliable Estimation, Identification and Cont..:

Rauh, Andreas ; Jaulin, Luc ; Alexandre dit Sandretto, Julien
Algorithms. 15 (2022) 8 - p. 276 , 2022

Link: https://doi.org/10.3390/..

3

Set-Based B-Series:

Alexandre dit Sandretto, Julien
Mathematics. 10 (2022) 17 - p. 3165 , 2022

Link: https://doi.org/10.3390/..

4

Experimental Validation of a Guaranteed Nonlinear Model Pre..:

Fnadi, Mohamed ; Alexandre dit Sandretto, Julien
Algorithms. 14 (2021) 8 - p. 248 , 2021

Link: https://doi.org/10.3390/..

5

Cosimulation-Based Control Synthesis:

, In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science,

Le Coënt, Adrien ; Alexandre dit Sandretto, Julien ; Chapoutot, Alexandre - p. 318-333 , 2021

Link: https://doi.org/10.1007/..

6

Guaranteed master for interval-based cosimulation:

Le Coënt, Adrien ; Alexandre dit Sandretto, Julien ; Chapoutot, Alexandre
Software and Systems Modeling. 20 (2021) 3 - p. 711-724 , 2021

Link: https://doi.org/10.1007/..

7

Guaranteed Simulation of Dynamical Systems with Integral Co..:

, In: Cyber Physical Systems. Model-Based Design; Lecture Notes in Computer Science,

Rousse, Paul ; Alexandre dit Sandretto, Julien ; Chapoutot, Alexandre. - p. 89-107 , 2020

Link: https://doi.org/10.1007/..

8

Set-Membership Computation of Integrals with Uncertain Endp..:

, In: Lecture Notes in Computer Science; Numerical Computations: Theory and Algorithms,

Mullier, Olivier ; Alexandre dit Sandretto, Julien - p. 169-181 , 2020

Link: https://doi.org/10.1007/..

9

Logical Differential Constraints Based on Interval Boolean ..:

, In: Advances in Intelligent Systems and Computing; Fuzzy Techniques: Theory and Applications,

Alexandre dit Sandretto, Julien ; Chapoutot, Alexandre - p. 788-792 , 2019

Link: https://doi.org/10.1007/..

10

Validated computation of the local truncation error of Rung..:

Mullier, Olivier ; Chapoutot, Alexandre ; Alexandre dit Sandretto, Julien
Optimization Methods and Software. 33 (2018) 4-6 - p. 718-728 , 2018

Link: https://doi.org/10.1080/..

11

Reachability Analysis of Nonlinear ODEs Using Polytopic Bas..:

, In: Lecture Notes in Computer Science; Reachability Problems,

Alexandre dit Sandretto, Julien ; Wan, Jian - p. 1-14 , 2018

Link: https://doi.org/10.1007/..

12

An improved algorithm for the control synthesis of nonlinea..:

Le Coënt, Adrien ; Alexandre dit Sandretto, Julien ; Chapoutot, Alexandre.
Formal Methods in System Design. 53 (2017) 3 - p. 363-383 , 2017

Link: https://doi.org/10.1007/..

13

Solving over-constrained systems of non-linear interval equ..:

Alexandre dit Sandretto, Julien ; Hladík, Milan
Applied Mathematics and Computation. 313 (2017) - p. 180-195 , 2017

Link: https://doi.org/10.1016/..

14

Interval Methods for Model Qualification: Methodology and A..:

Alexandre Dit Sandretto, Julien ; Trombettoni, Gilles ; Daney, David
Mathematics in Computer Science. 8 (2014) 3-4 - p. 479-493 , 2014

Link: https://doi.org/10.1007/..

15

Navigation Among Movable Obstacles Using Machine Learning B..:

, In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),

Zhang, Kai ; Lucet, Eric ; dit Sandretto, Julien Alexandre. - p. 11321-11327 , 2023

Link: https://doi.org/10.1109/..