photos_toulouse

Modélisation des Systèmes Réactifs (MSR'23) LAAS-CNRS, Toulouse (France)
Du 22 au 24 novembre 2023
Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'états
Loriane Leclercq  1, *@  , Didier Lime  1, *@  , Roux Olivier H.  1, *@  
1 : École Centrale de Nantes
Nantes Université
* : Auteur correspondant

Nous proposons un nouvel algorithme pour la synthèse de contrôleur garantissant l'accessibilité dans les réseaux de Petri temporels (TPN) ainsi que dans leur extension paramétrée (PTPN). Nous considérons une sémantique atypique pour les réseaux de Petri, dans laquelle la date de tir d'une transition est choisie dans son intervalle statique au moment où elle devient sensibilisée. Cette sémantique est motivée i) par une considération pratique : elle tend à approcher l'implémentation d'un contrôleur temps-réel; ii) par une préoccupation théorique : elle garantit que dans le graphe de classes d'états, tout état d'une classe d'états est un état atteignable dans le TPN, ce qui n'est pas le cas dans la sémantique habituelle basée sur les intervalles. Nous dénissons un nouveau type de jeu temporisé à deux joueurs sur le graphe de classes d'états et nous montrons comment calculer ecacement et symboliquement les états gagnants et les paramètres à l'aide des classes d'états. Cette approche est implémentée dans le logiciel Roméo. Nous l'illustrons par un petit cas d'étude.


Personnes connectées : 1 Flux RSS | Vie privée
Chargement...