AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour October, 2018

Journées de l’automatique du GDR MACS

Monday 22 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.

Publié dans Uncategorized, Actions Afsec, Journées | Pas de commentaire »