CFP

MSR 2019: Modélisation des Systèmes Réactifs 2019

LARIS Université d'Angers

Angers, France, November 13-15, 2019

Conference website	http://msr2019.laris.univ-angers.fr/
Submission link	https://easychair.org/conferences/?conf=msr19
Abstract registration deadline	May 17, 2019
Submission deadline	May 31, 2019

Topics: systèmes réactifs et temps réel systèmes à événements discrets modèles et méthodologies analyse et commande

Modélisation des Systèmes Réactifs (MSR) est un colloque en langue française qui traite de la modélisation, de l'analyse et de la commande des systèmes réactifs et temps réel. Il concerne plus particulièrement 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 afin 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.

MSR'19 se déroulera à Angers du 13 au 15 novembre 2019.

Soumissions

Les soumissions doivent être préparées en respectant le format Easychair.

Papiers réguliers : La soumission sur le site de Easychair se fera en deux étapes : un résumé d'au plus 500 mots (date limite ~~30 avril 2019~~ 17 mai 2019) puis la soumission d'un papier complet d'au plus 14 pages (date limite ~~14 mai 2019~~ 31 mai 2019).
Posters/demonstrations : L'objectif est de permettre la présentation de travaux qui ne seraient pas encore suffisamment matures pour faire l'objet d'une communication sous la forme d'un papier régulier du colloque. Elle s'adresse principalement aux jeunes doctorants. Les posters/démonstrations acceptés seront présentés brièvement lors de cette session plénière, et pourront être discutés tout au long du colloque. Un résumé d'une ou deux pages (date limite 10 septembre 2019) en format Easychair devra être soumis sur le site de Easychair. Ces soumissions seront validées par le comité de programme. En cas d'acceptation, le résumé sera inclus dans les actes du colloque.

Thèmes et domaines d'application

MSR sollicite des contributions théoriques et des expériences pratiques dans les thèmes et domaines d'applications suivants, sans que cette liste ne soit exhaustive:

Thèmes :

Modèles (qualitatifs et/ou quantitatifs) pour la spécification de comportements et/ou propriétés : Automates, Réseaux de Petri, Grafcet, Algèbres de processus, Équations différentielles, Chaînes de Markov, Inférence bayesienne, Files d'attente, Algèbre maxplus, Logique linéaire, Logique temporelle, Logique temporelle probabilisée et/ou temporisée, ...
Aspects méthodologiques : composition, raffinement, orientation objet, approches multi-modèles, apprentissage séquentiel...
Analyse : vérification, évaluation (performances, sûreté de fonctionnement), test...
Commande : synthèse de contrôleur, supervision, surveillance...

Domaines d'application :

Bio-informatique
Circuits, systèmes sur puce
Systèmes embarqués, systèmes cyber-physiques
Systèmes temps-réel, systèmes mobiles
Robotique
Sécurité des systèmes
Systèmes industriels et industrie du commerce
Énergie
Transport

Comités

Comité de pilotage

Béatrice Bérard, Univ. Pierre et Marie Curie & LIP6
Jean-Louis Boimond, Univ. Angers & LARIS
Isabel Demongodin, Univ. Marseille, & LIS
Laurent Fribourg, CNRS & LSV
Hervé Marchand, Inria Rennes
Olivier H. Roux, Ecole Centrale de Nantes & LS2N

Comité de programme

Jean-Philippe Babau, Univ. de Bretagne Occidentale & Lab-STICC
Kamel Barkaoui, CNAM & Cédric
Pascal Berruet, Univ. Bretagne Sud & Lab-STICC
Nathalie Bertrand, INRIA Rennes & IRISA
Bernard Boigelot, Univ. de Liège & Institut Montefiore, Belgique
Silvano Dal Zilio, CNRS & LAAS
Thao Dang, CNRS & VERIMAG
Benoît Delahaye, Univ. Nantes & L2SN (co-président)
Isabel Demongodin, Univ. Aix-Marseille & LIS
Thierry Divoux, Univ. de Lorraine & CRAN
Ylies Falcone, Univ. Grenoble Alpes & LIG & INRIA Grenoble
Stéphane Gaubert, INRIA Saclay & CMAP & Ecole Polytechnique
Gilles Geeraerts, Univ. Libre de Bruxelles
Mohamed Ghazel, IFSTTAR & ESTAS
Alessandro Giua, Univ. & DIEE, Univ. of Cagliari
Stefan Haar, INRIA et LSV, CNRS & ENS Paris-Saclay
Frédéric Herbreteau, Bordeaux INP & LABRI
Claude Jard, Univ. de Nantes & LS2N
Jan Komenda, Czech Academy of Sciences & Institute of Mathematics
Sébastien Lahaye, Univ. d'Angers & LARIS (co-président)
Jean-Jacques Lesage, ENS Paris-Saclay & LURPA
Mehdi Lhommeau, Univ. d'Angers & LARIS (co-président)
Stephan Merz, INRIA Nancy & LORIA
Patrice Moreaux, Univ. de Savoie & LISTIC
Eric Niel, INSA Lyon & Lab. Ampère
Jean-François Petin, Univ. de Lorraine & CRAN
Laure Petrucci, Univ. Paris 13 & LIPN
Laurent Piétrac, INSA Lyon & Lab. Ampère
Marc Pouzet, Univ. Pierre et Marie Curie Paris & INRIA Paris-Rocquencourt
Pierre-Alain Reynier, Univ. Aix-Marseille & LIS
Laurie Ricker, Mount Allison University, Canada
Bernard Riera, Univ. Reims Champagne-Ardenne & CReSTIC
Eric Rutten, INRIA Alpes
Manuel Silva, Univ. of Zaragoza
Audine Subias, INSA Toulouse & LAAS
Armand Toguyeni, Ecole Centrale Lille & CRISTAL
Laurent Truffet, IMT Atlantique
Gregory Zacharewicz, IMT Mines d'Alès & LGI2P
Eric Zamaï, INP Grenoble & G-SCOP

Comité d'organisation

Jean-Louis Boimond, Univ. Angers & LARIS
Bertrand Cottenceau, Univ. Angers & LARIS
Benoît Delahaye, Univ. Nantes & LS2N (co-président)
Jean-Baptiste Fasquel, Univ. Angers & LARIS
Marie Françoise Gérard, Univ. Angers & LARIS
Laurent Hardouin, Univ. Angers & LARIS
Sébastien Lahaye, Univ. Angers & LARIS (co-président)
Mehdi Lhommeau, Univ. Angers & LARIS (co-président)

Orateurs invités

Speaker 1
Speaker 2
Speaker 3

Publication

Les actes du colloque seront publiés dans l'archive ouverte HAL.

Une sélection des meilleures contributions sera invitée à une soumission étendue et en anglais dans le journal Discrete Event Dynamic Systems.

Venue