The diagnosability of petri net models using minimal explanations

IEEE Transactions on Automatic Control

Volumn 55, Issue 7, 2010, Pages 1663-1668

  Jiroveanu, George ^a   Boel, René K ^b  

^a Transelectrica SA   (Romania)

^b GHENT UNIVERSITY   (Belgium)

Author keywords

Discrete event systems (DES); Petri nets (PNs)

Indexed keywords

CARDINALITIES; DIAGNOSABILITY; DISCRETE EVENT SYSTEMS; DISCRETE EVENT SYSTEMS (DES); PETRI NET MODELS; REACHABILITY GRAPHS; REGULAR LANGUAGES; STATE SPACE; UNOBSERVABLE;

COMPUTATIONAL COMPLEXITY; GRAPH THEORY; LINGUISTICS;

PETRI NETS;

EID: 77954545448     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2010.2046106     Document Type: Article

References (11)

1. M. Sampath, R. Sengupta, S. Lafortune, S. Sinnamohideen, and D. Teneketzis, "Diagnosability of Discrete Event Systems," IEEE Trans. Autom. Control, vol.40, no.9, pp. 1555-1575, Sep. 1995.
2. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A polynomial algorithm for testing diagnosability of Discrete Event Systems," IEEE Trans. Autom. Control, vol.46, no.8, pp. 1318-1321, Aug. 2001.
3. T.-S. Yoo and S. Lafortune, "Polynomial-time verification of diagnosability of partially observed Discrete Event Systems," IEEE Trans. Autom. Control, vol.47, no.9, pp. 1491-1495, Sep. 2002.
4. C. Ozveren and A.Willsky, "Observability of Discrete Event Systems," IEEE Trans. Autom. Control, vol.35, no.7, pp. 797-806, Jul. 1990.
5. A. Giua and C. Seatzu, "Fault detection for Discrete Event Systems using Petri Nets with unobservable transitions," in Proc. Conf. Decision Control (CDC-ECC'05), Sevilla, Spain, Dec. 2005, pp. 6323-6328.
6. G. Jiroveanu, R. Boel, and B. Bordbar, "On-line monitoring of large Petri Net models under partial observation," J. Discrete Event Dyn. Syst., vol.18, pp. 323-354, 2008.
7. S. Lai, D. Nessi, M. Cabasino, A. Giua, and C. Seatzu, "A comparison between two diagnostic tools based on automata and Petri Nets," in Proc. WODES'08, Goteborg, Sweden, 2008, pp. 144-149.
8. F. Basile, P. Chiacchio, and G. D. Tommasi, "Sufficient conditions for diagnosability of Petri Nets," in Proc. WODES'08, Goteborg, Sweden, 2008, pp. 370-375.
9. S. Genc and S. Lafortune, "Distributed diagnosis of placed-bordered Petri Nets," IEEE Trans. Autom. Sci. Eng., vol.4, no.2, pp. 206-219, Apr. 2007.
10. S. Haar, A. Benveniste, E. Fabre, and C. Jard, "Partial order diagnosability of Discrete Event Systems using Petri Nets unfoldings," in Proc. 42nd IEEE Conf. Decision Control (CDC), 2003, pp. 3748-3753.
11. G. Ciardo and A. Miner, "Storage alternatives for large structured state spaces," Comp. Perform. Eval., pp. 44-57, 1997.