Sites Inria

Version française

Conference

21/04/2011

8th Francophone Conference on Modelling Reactive Systems

Grand Place © Maxime Dufour photographies © Maxime Dufour photographies

MSR is a French language conference within the general sphere of modelling, analysis and control of reactive systems in real time. More specifically, it concerns researchers and industrialists interested in designing applications based on continuous, discrete or hybrid systems. The conference will be held from November 16th to 18th 2011 in Lille.

MSR is a unique event where automation experts and computer scientists can meet to discuss techniques and problems dealt with in both communities. The role of the MSR is to assert the contributions of French speaking researchers in these fields and promote cooperation between universities and industry. MSR’11 will be held in Lille and is the latest edition in a series of conferences after MSR'96 in Brest, MSR'99 in Cachan, MSR'01 in Toulouse, MSR'03 in Metz, MSR'05 in Autrans, MSR'07 in Lyon and MSR'09 in Nantes. Submissions are welcome on the following themes and applications. However, this list is in no way exhaustive.

Themes

  • Models (qualitative and/or quantitative) for specifying the behaviour and/or properties of: automata, Petri networks, Grafcet, process algebra, differential equations, Markov chains, Bayesian probability, queuing, maxplus algebra, linear logic, temporal logic, probabilistic and/or interval temporal logic....
  • Methodological aspects: composition, refinement, object orientation, multi-model approaches, sequential learning…
  • Analysis:  verification, assessment (performance, safety engineering), testing…
  • Command: controller synthesis, supervision, surveillance

Fields of application

  • Bioinformatics
  • Circuits, SoC
  • Energy
  • Retail industries
  • Ambient intelligence (Internet of things)
  • Robotics
  • Systems security
  • Embedded, buried systems
  • Industrial systems
  • Real-time systems
  • Mobile systems
  • Transport

Keywords: Modelling Reactive Systems Robotics Systems security Embedded Buried systems Industrial systems Real-time systems Mobile systems Transport Inria Lille - Nord Europe Research Centre

Top