Accéder directement au contenu

Alexandre Chapoutot

1
Documents
Identifiants chercheurs

Présentation

Je travaille sur la vérification formelle de programmes de contrôle-commande. En particulier, je m'intéresse à définir des méthodes de résolution garantie d'équations différentielles.
I am working on the formal verification of control-command systems. In particular, I am interested in the definition and the implementation of set-based simulation, i.e., the definition of new validated numerical integration methods.

Publications

philippe-chevrel

Interval-based Robustness of Linear Parametrized Filters

Alexandre Chapoutot , Thibault Hilaire , Philippe Chevrel
SCAN'12 - 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia. pp.cf. CDROM
Communication dans un congrès hal-00706772v1