Chapoutot, Alexandre
Alexandre Chapoutot researcher, ORCID id # 0000-0002-7230-0710
VIAF ID: 3580148947860254950008 ( Personal )
Permalink: http://viaf.org/viaf/3580148947860254950008
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Amélioration de la précision numérique de programmes basés sur l'arithmétique flottante par les méthodes de transformation automatique. | |
Computation of barrier certificates for dynamical hybrids systems using interval analysis. | |
Contrôle fondé sur un apprentissage par renforcement pour la navigation 3D sécurisée de robots manipulateurs articulés à chenilles. | |
Cosimulation ensembliste d'une interconnexion de systèmes | |
Filtrage à incertitudes stochastiques et bornées : application au diagnostic actif en automobile | |
Formalisations d'analyses d'erreurs en analyse numérique et en arithmétique à virgule flottante | |
Formalizations of error analysis in numerical analysis and floating-point arithmetic. | |
Guaranteed Deterministic Global Optimization using Constraint Programming through Algebraic, Functional and Piecewise Differential Constraints. | |
Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods | |
Lie groups applied to localisation of mobile robots | |
Optimisation Globale Déterministe Garantie sous Contraintes Algébriqueset Différentielles par Morceaux | |
Reinforcement learning-based control for safe 3D navigation of articulated tracked robot manipulators | |
A set-based cosimulation method to overapproximate the reachable set of an interconnection of dynamical systems. | |
Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle |