AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour la catégorie 'Uncategorized'

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 »

Migration du serveur AFSEC

Friday 1 February 2013

Suite à la migration du serveur hébergeant l’AFSEC, nous avons d’une part été dans l’incapacité de mettre à jour le site et d’autre part privé de mailing list pendant quelques semaines.

Veuillez nous en excuser.
Tout semble maintenant opérationnel et les messages sur le site et par email vont pouvoir reprendre.

Publié dans Uncategorized | Pas de commentaire »

AFSEC change de nom de domaine

Monday 4 April 2011

Le nom de domaine de l’AFSEC a basculé de afsec-cnrs.org vers afsec.asr.cnrs.fr

L’adresse du site web est maintenant : http://afsec.asr.cnrs.fr/

L’adresse de la mailing-list est maintenant : afsec@afsec.asr.cnrs.fr

Publié dans Uncategorized | Pas de commentaire »