Programme des Journées de l'Automatique

Challenges de l'Automatique en environnement Offshore - du pilotage automatique aux EMR

Sofien KERKENI, CEO D Ice engineering, Nantes

13h15 : Centrale Nantes

L'exploitation de la mer efficace, pérenne et sûre est un défi prioritaire pour nos sociétés actuelles. Depuis de nombreuses décennies, les véhicules et plateformes marines et offshores mettent en oeuvre des systèmes complexes où l'automatique joue un rôle clé. L'éventail d'application est extrêmement large , du "simple" pilotage automatique de navires jusqu'au système de positionnement dynamique permettant aux plateformes de maîtriser leurs mouvements malgré les éléments extérieurs (vent, courant, vagues). Les challenges actuels (tels que Production Propre et Sûre, Energies Marines Renouvelables, Navires autonomes, etc.) proposent d'immenses défis technico-scientifiques où l'Automatique jouera un rôle prépondérant. Cette présentation vise à sensibiliser l'auditoire aux réussites de techniques de l'automatique en environnement offshore (isolement, sévérité, prévisibilité, etc.) ainsi qu'aux travaux de recherche actuels et futurs engagés par D-ICE Engineering pour répondre à aux enjeux de demain.
 

Linear time delay systems: Stability conditions in terms of the delay Lyapunov matrix

Sabine Mondié, Control Automático, CINVESTAV-IPN, Mexico

17h45 :  Centrale Nantes

The main ideas on the Lyapunov matrix function of linear time-delay systems are reminded, and necessary or/and sufficient stability conditions expressed in terms of this matrix are presented. The proof strategies are outlined in the retarded type case. Some academic and practical examples illustrate the interest of the results. The state of the art and potential extensions to other classes of delay systems are briefly discussed.

Contrôle symbolique: synthèse discrète pour des contrôleurs continus certifiés.

Antoine Girard, L2S-CNRS, Centrale-Supelec, Gif-sur-Yvette

8h45 : Faculté des Sciences et Techniques de Nantes

Le contrôle symbolique vise à concevoir des contrôleurs "corrects par construction" pour des systèmes dynamiques continus, en utilisant des techniques algorithmiques de synthèse discrète. Le concept clé du contrôle symbolique est celui du modèle symbolique, qui est un système dynamique à états finis, obtenu en abstrayant des trajectoires continues sur un ensemble fini de symboles. Lorsque les dynamiques symbolique et continue sont formellement liées par une relation comportementale (e.g. de simulation ou de bisimulation), les contrôleurs synthétisés pour le modèle symbolique en utilisant des techniques de synthèse discrètes peuvent être raffinés vers des contrôleurs certifiés pour le système continu original. Dans la première partie de cet exposé, seront présentés quelques résultats fondamentaux sur le contrôle symbolique allant du calcul du modèle symbolique, à la synthèse discrète et au raffinement du contrôleur. Par la suite, seront présentés quelques résultats récents visant à améliorer le passage à l’échelle et la robustesse des techniques de contrôle symbolique par des approches compositionnelles et quantitatives.