Modélisation des systèmes réactifs

National audienceMSR 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,+)