Modélisation des systèmes réactifs

Hervé Marchand 1 Loïc Hélouët 1
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Résumé : MSR est un colloque en langue française qui se situe dans le cadre général de la modélisation, l'analyse et la commande des systèmes réactifs et temps réel. Plus particulièrement il concerne les chercheurs et industriels intéressés par la conception d'applications qui sont basées sur des systèmes de type soit continu, soit discret, soit hybride. MSR est un lieu de rencontre pour les automaticiens et les informaticiens qui permet de confronter les techniques et les problèmes abordés par les deux communautés. Ainsi, le colloque MSR a pour rôle d'affirmer l'apport des chercheurs francophones dans ces domaines et de favoriser les échanges entre universitaires et industriels. Les systèmes réactifs sont présents dans de nombreux secteurs industriels (systèmes de production, télécommunications, systèmes embarqués, robotique, systèmes mobiles, transports, etc. et posent des problèmes spécifiques liés à leur modélisation, vérification, analyse et commande. Cet ouvrage présente les actes de la 9e édition du colloque MSR (MSR'13), qui s'est tenu à Rennes du 13 au 15 novembre 2013 et développe particulièrement les thèmes suivants : modélisation, vérification formelle, diagnostic et monitoring, supervision et contrôle des systèmes, analyse de performance des systèmes et algèbre (max,+),
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Hervé Marchand and Loïc Hélouët. 47, Lavoisier, pp.260, 2013, Journal européen des systèmes automatisés
Liste complète des métadonnées

https://hal.inria.fr/hal-00906737
Contributeur : Hervé Marchand <>
Soumis le : mercredi 20 novembre 2013 - 11:52:01
Dernière modification le : mercredi 11 avril 2018 - 02:01:00

Identifiants

  • HAL Id : hal-00906737, version 1

Citation

Hervé Marchand, Loïc Hélouët. Modélisation des systèmes réactifs. Hervé Marchand and Loïc Hélouët. 47, Lavoisier, pp.260, 2013, Journal européen des systèmes automatisés. 〈hal-00906737〉

Partager

Métriques

Consultations de la notice

316