MEA

  • Posted on: 13 November 2017
  • By: admin
  • Updated on: 13 November 2017
Date: 
14-12-17
Détails: 
Chers collègues, 

Comme annoncé précédemment et pour finaliser la préparation du nouveau GT VS-CPS Verification et Synthèse de Systèmes Cyber-Physiques proposé dans le cadre du renouvellement du GDR MACS 2019-2023, nous organisons une réunion dans le cadre du GT MEA.

La réunion aura lieu le 

Jeudi 14 Décembre 2017, 10h-17h 

au 

CNAM
292 rue Saint-Martin, Paris,  métro Réaumur Sébastopol.
salle 11A3 (Accès 11A, 3ème étage). 

Cette première réunion  de travail du GT VS-CPS nous permettra d'affiner ensemble les objectifs du GT ainsi que nos attentes vis à vis du nouveau groupe.  
Elle prendra la forme d’une série d’exposés de 20mn max afin de permettre au plus grand nombre de prendre la parole, suivie d’une période d’interaction et discussion. 
Nous avons déjà 6 exposés de prévu, il y a encore de la place, et ceux d’entre vous qui souhaiterez faire un exposé, merci de transmettre rapidement un titre et un résumé, par retour de mail à 

Nacim.Ramdani@univ-orleans, Antoine.Girard@l2s.centralesupelec.fr, et  Luc.Jaulin@ensta-bretagne.fr

Pour mémoire, je rappelle la problématique scientifique motivant la création du GT VS_CPS :  
Les systèmes cyber-physiques (CPS) résultent de l’intégration de composants informatiques à des systèmes physiques. Ces composants informatiques, disposant de capacités de communication et de calcul, collaborent pour surveiller et contrôler les processus physiques via des boucles de rétroactions. Les applications des CPS sont nombreuses (robotique, véhicule autonome, bâtiment intelligent, etc.) et promettent d’impacter la société dans tous les domaines (habitat, transport, santé et autonomie, industrie, énergie, etc.). Les CPS évoluent souvent dans un environnement dynamique et incertain, et en même temps, sont soumis à des exigences critiques de sûreté/sécurité qui nécessitent d’être prises en compte dès les premiers stades de conception. Ainsi, il est crucial de développer des outils méthodologiques, basés sur des modèles, pour la vérification et la synthèse « correcte par construction » d’algorithmes de surveillance, de contrôle et de reconfiguration des CPS permettant un fonctionnement sûr en dépit d’incertitudes environnementales importantes. Sur le plan méthodologique, le nouveau GT VS-CPS traitera de la modélisation et de la spécification des CPS, de leur vérification et de leur synthèse par des méthodes dites « formelles » : méthodes ensemblistes au sens large (incluant aussi les problèmes de satisfiabilité (SAT) et les problèmes de satisfaction de contraintes), abstraction discrète et contrôle symbolique, optimisation robuste, etc.

A bientôt à Paris

Bien cordialement
Nacim, Antoine et Luc.