Laurent Fribourg ran a Seminar@SystemX on November 4 in SystemX’s on the following topic: “Quelques avancées récentes dans la synthèse de contrôle d’automates hybrides”.

Abstract

Les automates hybrides sont bien adaptés à la modélisation de systèmes cyber-physiques dont l’usage, comme celui des voitures autonomes, est appelé à se généraliser. Je présenterai plusieurs avancées notables dans la modélisation, l’usage de structures de données, les méthodes de décomposition et de réduction, qui ont été récemment obtenues pour les automates hybrides. Ces progrès ont permis d’augmenter  de plusieurs ordres de grandeur la taille des systèmes cyber-physiques pour lesquels un contrôle garanti peut être aujourd’hui produit automatiquement.

Biography

Laurent Fribourg est directeur de recherche CNRS au LSV, le laboratoire d’informatique de l’ENS Cachan.  Il est membre du conseil de département STIC de l’Université Paris-Saclay. Il a été directeur du LSV (2011-2015) et directeur adjoint de l’Institut inter-disciplinaire Farman (2007-2014) de l’ENS Cachan. Sa recherche porte sur la théorie des méthodes formelles et leurs applications industrielles.

Downloads

 

- SUBSCRIPTION NEWSLETTER

Subscribe to IRT SystemX's
newsletter

and receive every month the latest news from the institute: