Skip to Main content Skip to Navigation
Directions of work or proceedings

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,+),
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-00906737
Contributor : Hervé Marchand <>
Submitted on : Wednesday, November 20, 2013 - 11:52:01 AM
Last modification on : Thursday, January 7, 2021 - 4:22:18 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

478