Site menu:
Programme de MSR2017
Liste des articles acceptés
- Vérification formelle des programmes automates de la SNCF par model-checking
Mohamed Niang, Alexandre Philippot, François Gellot, Raphael Coupat, Bernard Riera and Sébastien Lefebvre.
- Diagnostic de motifs de comportements dans les systèmes temporels
Yannick Pencolé and Audine Subias.
- Diagnostic et contrôle de la dégradation des systèmes probabilistes
Nathalie Bertrand, Serge Haddad and Engel Lefaucheux.
- Modélisation et évaluation de performances d'un réseau de bus basées sur les réseaux de Petri colorés et l'algèbre (max, +)
Yassine Idel Mahjoub, Ahmed Nait-Sidi-Moh and El Houcine Chakir El-Alaoui.
- Approche originale utilisant le Raisonnement à Partir de Cas pour le Diagnostic en Ligne des Systèmes Automatisés de Production
Nourhène Ben Rabah, Ramla Saddem, Véronique Carré-Ménétrier, Faten Ben Hmida and Moncef Tagina.
- Détection et localisation de fautes temporelles dans les systèmes (max,+)-linéaires
Euriell Le Corronc, Alexandre Sahuguède and Yannick Pencolé.
- Analyse des Réseaux de Petri Temporels Exécutés de Manière Synchrone
Ibrahim Merzoug, Karen Godary and David Andreu.
- DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser
Abderraouf Boussif, Mohamed Ghazel and Kais Klai.
- Contribution à la déterminisation des automates max-plus
Sébastien Lahaye, Aiwen Lai and Jan Komenda.
- Diagnosticabilité des Systèmes à Evènements Discrets: Une Nouvelle Variante de l'Approche Diagnostiqueur
Abderraouf Boussif and Mohamed Ghazel.
- Démarche de conception sure de la supervision de la fonction conduite autonome
Cuer Romain, Pietrac Laurent, Niel Eric, Diallo Saidou, Minoiu-Enache Nicoleta and Dang-Van-Nhan Christophe.
- Invariance controllée et feedback dynamique pour résoudre des problèmes de commande de systèmes a événements discrets
Carolina Cardenas, Jean Jacques Loiseau and Claude Martinez.
- Un langage graphique pour la modélisation et l’analyse des systèmes réactifs
Mamadou Kaba Traoré, Hamzat Olanrewaju Aliyu and Oumar Maïga.
- Évaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques
Sara Himmiche, Pascale Marangé, Alexis Aubry, Marie Duflot and Jean-François Petin.
- Modèles Génériques en Réseaux de Petri Bien Formés pour le Contrôle Discret des Trains Autonomes
Yuchen Xie, Manel Khlif Bouassida and Armand Toguyeni.
