• Aucun résultat trouvé

Diagnosis and Diagnosability of Complex Discrete Event Systems Modeled by Labeled Petri Nets

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Diagnosis and Diagnosability of Complex Discrete Event Systems Modeled by Labeled Petri Nets"

Copied!
233
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Figure

Figure 3.2 – The ε − reduced automaton G 0 of the automaton G in Figure 3.1 { 1N } start { 3F, 7N } { 4F, 9F, 11N } { 5F, 10F, 12N } { 6F }abgdh h Figure 3.3 – The diagnoser G d of the automaton G in Figure 3.1 A state in the diagnoser q ∈ Q d is said to b
Figure 3.5 – The ε − reduced automaton G 0 of the automaton G in Figure 3.1 { 1N } start { 3F, 7N } { 4F, 9F, 11N } { 5F, 10F, 12N } { 6F }abgdh h Figure 3.6 – The diagnoser G d of the automaton G in Figure 3.4
Figure 3.11 – The twin-plant of G in Figure 3.9 3.1.1.3 Verifier approach
Figure 3.18 – MBRG of the LPN in Figure 3.17
+7

Références

Télécharger maintenant ( PDF - 233 Page - 2.36 MB )

Documents relatifs