Recherche - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

9 résultats

	Pour les 9 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation Olivier Mullier , Alexandre Chapoutot , Julien Alexandre Dit Sandretto nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom. Poster de conférence hal-01316503v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Improving validated computation of Viability Kernels Benjamin Martin , Olivier Mullier the 21st International Conference, Apr 2018, Porto, France. ⟨10.1145/3178126.3178141⟩ Communication dans un congrès hal-01889215v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Abstract domains for constraint programming with differential equations Ghiles Ziat , Olivier Mullier , Julien Alexandre Dit Sandretto , Christophe Garion , Alexandre Chapoutot , et al. 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⟩ Communication dans un congrès hal-03068260v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation Olivier Mullier , Alexandre Chapoutot , Julien Alexandre Dit Sandretto Optimization Methods and Software, 2018, ⟨10.1080/10556788.2018.1459620⟩ Article dans une revue hal-01498372v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Including Ordinary Differential Equations Based Constraints in the Standard CP Framework Alexandre Goldsztejn , Olivier Mullier , Damien Eveillard , Hiroshi Hosobe Principles and Practice of Constraint Programming, CP2010, Sep 2010, St Andrews, United Kingdom. pp.221--235 Communication dans un congrès hal-00520054v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Optimal Switching Instants for the Control of Hybrid Systems Olivier Mullier , Julien Alexandre Dit Sandretto , Alexandre Chapoutot Acta Cybernetica, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩ Article dans une revue hal-03158488v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Validated Trajectory Tracking using Flatness Julien Alexandre Dit Sandretto , Olivier Mullier Acta Cybernetica, 2021, 25 (1), pp.85-99. ⟨10.14232/actacyb.285729⟩ Article dans une revue hal-03430397v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Set-Membership Computation of Admissible Controls for Trajectory Tracking Olivier Mullier , Estelle Courtial Reliable Computing, 2017 Article dans une revue hal-01657736v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Survey of what DynIbex can do for you Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Olivier Mullier 2018 Pré-publication, Document de travail hal-01927784v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More