Programme des Journées de l'Automatique

Programme Jamacs +Plan d'accès en téléchargement

Plénières du 15 Novembre 

 

 

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.

 

Plénière du 16 Novembre 

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.

Programme détaillé des journées

Jeudi 15 Novembre. Site: Centrale Nantes  
Horaires Salles Intitulés Responsables/Contacts
13h00 - 13h15 Amphi S  Accueil F. Plestan, M. Malabre, J.-J. Loiseau
13h15 - 14h00 Amphi S
Plénière : Challenges de l'Automatique en environnement Offshore - du pilotage automatique aux EMR

S. Kerkeni, D ICE Engineering, Nantes, France

14h15 - 15h45
 
Amphi S GT1.1: Session commune MOSAR, SYNOBS et SDH L. Hetel, laurentiu.hetel5dbff518-858b-44fe-a0da-82f9a7121444@centralelille.fr
Amphi E GT1.2: Session commune AA et IDENTIF X. Moreau, xavier.moreau3bbcbb98-95fb-445d-8825-5723582ace58@u-bordeaux.fr 
Amphi B8 GT1.3: Session SED  S. Lahaye, sebastien.lahaye07373206-baac-40e4-b4ec-407d2f129a3e@univ-angers.fr
Amphi B9 GT1.4: Session ASHM, RSEI, INCAS, IMS2, MOSAR  F. Vanderhaegen, Frederic.Vanderhaegenef2d0d54-26c4-4de2-8d7f-d8c94518ecdf@univ-valenciennes.fr
15h45 - 16h15 Bâtiment E Pause Café  
16h15 - 17h30
 
Amphi S GT2.1: Session commune MOSAR, SYNOBS et SDH L. Hetel, laurentiu.hetel5dbff518-858b-44fe-a0da-82f9a7121444@centralelille.fr
Amphi E GT2.2: Session commune AA et IDENTIF  X. Moreau, xavier.moreau3bbcbb98-95fb-445d-8825-5723582ace58@u-bordeaux.fr
Amphi B8 GT2.3: Session CSE  M. Ghanes, malek.ghanes0e6b569c-7a45-461d-8781-254275afd5ee@ec-nantes.fr
Amphi B9
GT2.4: Session ASHM, RSEI, INCAS, IMS2, MOSAR M.Netto, mariana.netto03ff453c-4539-4030-ac15-ee23539b3202@ifsttar.fr 
17h45 - 18h30 Amphi S
Plénière : Linear time delay systems: stability conditions in terms of the
delay Lyapunov matrix
S. Mondié, CINVESTAV-IPN, Mexico
Soirée   Accueil des participants par Nantes Métropole  
 
Vendredi 16 Novembre. Site : Facultés des Sciences et Techniques de Nantes
Horaires Salles Intitulés Responsables/Contacts
8h45 - 9h30 Amphi
Bat.34
Plénière : Contrôle symbolique: synthèse discrète pour des contrôleurs
continus certifiés
A. Girard, L2S, Gif-sur-Yvette
9h30 - 10h00 Hall Bat.34 Pause Café  
10h00 - 12h00





 
Salle 3 Bat.11 GT3.1: Session commune CSE et SYNOBS M. Ghanès, malek.ghanescb06055a-fc6d-42b8-9d9e-71d63507a686@ec-nantes.fr
Salle 105  Bat.11 GT3.2: Session commune SED et S3 S. Lahaye, sebastien.lahaye047938c4-ccc9-4c5b-b0ac-d7187f528d33@univ-angers.fr
Salle 105 
Bat.11
GT3.3: Session commune VS-CPS et AFSEC (GdR GPL)  N. Ramdani, nacim.ramdanif2143950-00b2-4d4b-88e1-591817cb6552@univ-orleans.fr
Salle C 
Bat.34
 
GT3.4: Session commune ASHM, RSEI, INCAS, IMS2, MOSAR  M. Netto, mariana.netto4fe12e59-3b39-47b3-961f-2c6dd50de727@ifsttar.fr
12h30 - 14h00 Hall  Bat.34 Déjeuner  
14h00 - 16h30
Amphi  Bat.34  GT4.1: Session SED S. Lahaye, sebastien.lahaye047938c4-ccc9-4c5b-b0ac-d7187f528d33@univ-angers.fr
Salle 3  Bat.11 GT4.2: Session commune VS-CPS et AFSEC (GdR GPL)  N. Ramdani, nacim.ramdanif2143950-00b2-4d4b-88e1-591817cb6552@univ-orleans.fr
Salle C 
Bat.34
GT4.3: Session RSEI  G. Damm, gilney.damm175ef46e-2749-4849-99f9-aa4229819f6e@l2s.centralesupelec.fr
Liste des acronymes
AA: Automatique et Automobile ( prochainement ATT Automatique et Transports Terrestres)
AFSEC (GdR GPL): Approches Formelles des Systèmes Embarqués Communicant
ASHM: Automatisation des Systèmes Hommes-Machines
CSE: Commandes des Systèmes Électriques (groupe inter GDR MACS/SEEDS)
IDENTIF: Identification
IMS2: Intelligent Manufacturing & Services Systems
INCAS: Ingénierie des Connaissances et Apprentissages pour les Systèmes de production de bien et de services (précédemment C2EI)
MOSAR: Méthodes et Outils pour la Synthèse et l'Analyse en Robustesse
RSEI: Réseaux et Systèmes Électriques Intelligents (SmartGrids), GT inter GDR MACS-SEEDS-ISIS-RSI
SDH: Systèmes Dynamiques Hybrides
SED: Systèmes à Evénements Discrets
S3: Sûreté/ Surveillance/ Supervision

SYNOBS: SYNchronisation et OBServation (précédemment SynC)
VS-CPS: Vérfication et Synthèse de Systèmes Cyber-Physiques
Publié le 23 avril 2018 Mis à jour le 8 novembre 2018