AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Journées de l’automatique du GDR MACS

22nd October 2018

Une journée de travail conjointe entre le GT AFSEC et le GT VS-CPS aura lieu le 16 novembre prochain à Nantes, durant JAMACS.

Le programme de cette journée est le suivant
Vendredi 16 novembre, 10h-12h

  • Ocan Sankur (IRISA), Admissible Strategies in Quantitative Games
  • Simon Rohou (ENSTA Bretagne), Verifying loops in robot trajectories under uncertainties
  • Luc Jaulin (ENSTA Bretagne), Computing the no-lost zone for a mobile robot to find safe paths
Vendredi 16 novembre 14h-16h30
  • Olivier H. Roux (LS2N), Vérification des systèmes temps réel avec Roméo.
  • Dory Merhy (L2S Supelec), Estimation d’état à base d’un nouveau filtre de Kalman sous contraintes zonotopiques
  • Nacim Ramdani (Univ. Orléans), Reachability computation and parameter synthesis with nonlinear and hybrid dynamical systems
Si vous souhaitez participer, n’oubliez pas de vous inscrire sur la page des journées.

Leave a Reply

You must be logged in to post a comment.