Ivan Hasenohr

Ivan Hasenohr

Preuves assistées par ordinateur de non-atteignabilité pour des systèmes linéaires de contrôle en dimension finie

Quand

17 mai 2024    
15h30 - 16h30

Salle du Conseil, Espace Turing
45 rue des Saints-Pères, Paris, 75006

Type d’évènement

On considère un système contrôlé linéaire en dimension finie, sous contraintes convexes compactes. Dans ce contexte, on s’intéresse à l’atteignabilité d’états cibles. À l’aide d’hyperplans supports, on introduit une fonctionnelle dont la positivité est équivalente à l’atteignabilité de la cible. On en déduit un schéma de preuve de non-atteignabilité assistée par ordinateur, passant par une discrétisation de cette fonctionnelle, la recherche d’un point négatif et l’estimation rigoureuse des erreurs de discrétisation et d’arrondis commises. Cette méthode est illustrée numériquement par divers théorèmes numériques sur plusieurs exemples, comprenant notamment des calculs de bornes inférieures de temps minimaux d’atteignabilité et des garanties de non-atteignabilité de zones dangereuses.

Ivan Hasenohr

Organisateur GTE

Vous aimerez aussi...