Programme des Journées de l'Automatique

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

 

 


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

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

18h00 :  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

8h30 : 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 de Nantes  
Horaires Intitulés Responsables/Contacts
13h00 - 13h15 Accueil F. Plestan, M. Malabre, J.-J. Loiseau
13h15 - 14h00
Plénière : Challenges de l'Automatique en environnement Offshore - du pilotage automatique aux EMR

S. Kerkeni, D ICE Engineering, Nantes, France

14h15 - 15h45
GT1.1: Session commune MOSAR, SYNOBS et SDH L. Hetel, laurentiu.hetel@centralelille.fr
GT1.2: Session commune AA et IDENTIF X. Moreau, xavier.moreau@u-bordeaux.fr
GT1.3: Session SED S. Lahaye, sebastien.lahaye@univ-angers.fr
GT1.4: Session S3 B. Marx, benoit.marx@univ-lorraine.fr
GT1.5: Session ASHM, RSEI, INCAS, IMS2, MOSAR F. Vanderhaegen, Frederic.Vanderhaegen@univ-valenciennes.fr
15h45 - 16h15 Pause Café  
 16h15 - 17h45
GT2.1: Session commune MOSAR, SYNOBS et SDH L. Hetel, laurentiu.hetel@centralelille.fr
GT2.2: Session commune AA et IDENTIF X. Moreau, xavier.moreau@u-bordeaux.fr
GT2.3: Session CSE M. Ghanes, malek.ghanes@ec-nantes.fr
GT2.4: Session commune SED et S3 S. Lahaye, sebastien.lahaye@univ-angers.fr
GT2.5: Session ASHM, RSEI, INCAS, IMS2, MOSAR M.Netto, mariana.netto@ifsttar.fr
18h00 - 19h00
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 Intitulés Responsables/Contacts
8h30 - 9h30
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 Pause Café  
10h00 - 12h00
GT3.1: Session commune CSE et SYNOBS M. Ghanès, malek.ghanes@ec-nantes.fr
GT3.2: Session SED S. Lahaye, sebastien.lahaye@univ-angers.fr
GT3.3: Session commune VS-CPS et AFSEC (GdR GPL) N. Ramdani, nacim.ramdani@univ-orleans.fr
GT3.4: Session S3 B. Marx, benoit.marx@univ-lorraine.fr
GT3.5: Session commune ASHM, RSEI, INCAS, IMS2, MOSAR M. Netto, mariana.netto@ifsttar.fr
12h30 - 14h00 Déjeuner  
14h00 - 16h30
GT4.1: Session SED S. Lahaye, sebastien.lahaye@univ-angers.fr
GT4.2: Session commune VS-CPS et AFSEC (GdR GPL) N. Ramdani, nacim.ramdani@univ-orleans.fr
GT4.3: Session RSEI G. Damm, gilney.damm@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 19 octobre 2018