Partenaires

Ampère

Nos tutelles

CNRS Ecole Centrale de Lyon Université de Lyon Université Lyon 1 INSA de Lyon

Nos partenaires

Ingénierie@Lyon



Rechercher


Accueil > Evénements > Evénements, Conférences, journées organisées par Ampère ... > Archives Conférences et Manifestations > Conférences et Manifestations en 2007

MSR 2007, 6ème Colloque Francophone sur la modélisation des systèmes Réactifs

publié le , mis à jour le

Objectifs

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 où les automaticiens et les informaticiens se rassemblent pour 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’07 se tient à Lyon et fait suite à la série des colloques MSR’96 à Brest, MSR’99 à Cachan, MSR’01 à Toulouse, MSR’03 à Metz et MSR’05 à Autrans près de Grenoble.

Les contributions sont les bienvenues dans les thèmes et domaines d’application suivants, qui ne sont pas pour autant exhaustifs.

Thèmes

# Modèles (qualitatifs et/ou quantitatifs) pour la spécification de comportement et/ou propriétés : automates, réseaux de Petri, Grafcet, algèbres de processus, équations différentielles, chaînes de Markov, files d’attente, algèbre max-plus, logique linéaire, logique temporelle, logique temporelle probabilisée et/ou temporisée, ...

# Aspects méthodologiques : composition, raffinement, orientation objet, approches multi-modèles...

# Analyse : vérification, évaluation (performances, sûreté de fonctionnement), test...

# Commande : synthèse de contrôleur, supervision, surveillance.

# Réalisations matérielles et logicielles, applications.

Domaines d’applications

# Systèmes industriels

# Télécommunications

# Systèmes embarqués, enfouis

# Robotique

# Systèmes mobiles

# Transports, trafic routier et aérien

# Energie

# Circuits, systèmes sur puce

Contact : Eric Niel, Président du Comité de programme, Professeur des Universités au Laboratoire Ampère sur le site de l’INSA de Lyon

Notre domaine de compétence sur ce congrès.