Session Outils AFSEC et SED (GDR MACS) lors de MSR 2017
1st December 2017
Jeudi 17 novembre 2017
Session “Outils” Lors du 11e Colloque sur la Modélisation des Systèmes Réactifs MSR 2017.
Le programme est disponible : ici
Organisée par le GT SED et le GT AFSEC
- TABS : Outil logiciel d’ordonnancement de la production basée sur les automates temporisés
Rémi Pannequin, Pascale Marangé, Alexis Aubry et Jean-François Petin - SEDMA – un outil pour la Modélisation, l’Analyse et la génération automatique de programme pour les SEDs
Romain Pichard, Michel Combacau, Alexandre Philippot, Ramla Saddem et Bernard Riera - MinMaxGDJS – Calcul dans le semi-anneau MinMax[[gamma,delta]]
Mehdi Lhommeau, Laurent Hardouin et Bertrand Cottenceau - Identification de systèmes réactifs (logiques)
Jérémie Saives, Gregory Faraut et Jean-Jacques Lesage - IMITATOR: vérification de systèmes temps-réel concurrents en présence d’incertitude
Étienne André - Modeling and Simulation of Air France Baggage-Handling System with Colored Petri Nets
Dina H. Hafilah, Andi Cakravastia, Younsse Lafdail et Naly Rakoto-Ravalontsalama - MaxplusPy : librairie Python de calcul dans l’algèbre max-plus et de manipulation d’automates à multiplicités
Sébastien Lahaye - Evaluation de performances des automates temporisés avec gardes en utilisant l’algèbre (Max,+) – Application aux systèmes de commande en réseau
Ferhat Tamssaouet et Saïd Amari - Démonstrateur ASSecIN: ligne industrielle virtuelle permettant l’évaluation de passerelle intelligente
Thomas Toublanc, Sébastien Guillet, Florent Frizon De Lamotte et Pascal Berruet - DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems
Abderraouf Boussif et Mohamed Ghazel