A new algorithm to compute synchronizing sequences for synchronized petri nets
M Pocci, I Demongodin, N Giambiasi… - 2013 IEEE International …, 2013 - ieeexplore.ieee.org
In basic testing problems, a topic of great interest is that of state identification. State
identification has been solved by the way of synchronizing sequences, ie, sequences that …
identification has been solved by the way of synchronizing sequences, ie, sequences that …
Diagnostic et observation d'une classe de systèmes dynamiques hybrides. Application au convertisseur multicellulaire série
J Van Gorp - 2013 - theses.hal.science
Cette thèse s' intéresse au diagnostic et à l'observation de systèmes linéaires à
commutations et à l'application au convertisseur multicellulaire série. L'objectif est de …
commutations et à l'application au convertisseur multicellulaire série. L'objectif est de …
[PDF][PDF] Séquences de test pour les réseaux de Petri
M POCCI - researchgate.net
Dans le domaine des systèmes à événements discrets, une classe importante de problèmes
de test est de déterminer l'état final après l'exécution d'une séquence de test. Ce problème a …
de test est de déterminer l'état final après l'exécution d'une séquence de test. Ce problème a …
Structural method for supervisory control of discrete event within the framework of Petri nets: a one-to-one link between the supervisory control theory and the place …
M Gonza, H Alla, L Bitjoka - International Journal of Systems …, 2020 - Taylor & Francis
Several formal supervisory control methods for discrete event systems (DES) by Petri nets
have been developed. However, they are partially structural because of the need to …
have been developed. However, they are partially structural because of the need to …
[PDF][PDF] Supervisory Control of Systems Modeled by Petri Net from Adequate Admissible Constraints
M Gonza, L Bitjoka - academia.edu
The purpose of Supervisory Control of the system, considered as Discrete Event Systems
(SED), is to synthesize an optimal and non-blocking controller. Indeed, the specifications of …
(SED), is to synthesize an optimal and non-blocking controller. Indeed, the specifications of …
Séquences de synchronisation sur les réseaux de Petri
M Pocci, I Demongodin, N Giambiasi… - JDMACS'11: 4èmes …, 2011 - iris.unica.it
Dans le domaine des systèmes à événements discrets, une classe importante de problèmes
de test est de déterminer l'état final après l'exécution d'une séquence de test. Ce problème a …
de test est de déterminer l'état final après l'exécution d'une séquence de test. Ce problème a …