A State Class Based Controller Synthesis Approach for Time Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

A State Class Based Controller Synthesis Approach for Time Petri Nets

Loriane Leclercq
  • Fonction : Auteur
  • PersonId : 1317657
STR
Didier Lime
STR
Olivier H Roux
STR

Résumé

We propose a new algorithm for reachability controller synthesis with time Petri nets (TPN). We consider an unusual semantics of time Petri nets in which the firing date of a transition is chosen in its static firing interval when it becomes enabled. This semantics is motivated i) by a practical concern: it aims at approaching the implementation of the controller on a real-time target ; ii) by a theoretical concern: it ensures that in the classical state class graph [6], every state in each state class is an actual reachable state from the TPN, which is not the case with the usual interval-based semantics. We define a new kind of two-player timed game over the state class graph and we show how to efficiently and symbolically compute the winning states using state classes. The approach is implemented in the tool Roméo [24]. We illustrate it on various examples including a case-study from [2].
Fichier principal
Vignette du fichier
leclercq-ICATPN-23.pdf (567.21 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04312254 , version 1 (28-11-2023)

Identifiants

Citer

Loriane Leclercq, Didier Lime, Olivier H Roux. A State Class Based Controller Synthesis Approach for Time Petri Nets. 44th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2023), Jun 2023, Caparica, Lisbon, Portugal. pp.393-414, ⟨10.1007/978-3-031-33620-1_21⟩. ⟨hal-04312254⟩
9 Consultations
11 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More