On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets

Basile, F., Chiacchio, P. and De Tommasi, G. (2012). On K-diagnosability of Petri nets via integer linear programming, Automatica 48(9): 2047-2058.10.1016/j.automatica.2012.06.039Search in Google Scholar

Basile, F., Chiacchio, P. and Tommasi, G. (2009). An efficient approach for online diagnosis of discrete event systems, IEEE Transactions on Automatic Control 54(4): 748-759.10.1109/TAC.2009.2014932Search in Google Scholar

Boussif, A., Ghazel, M. and Klai, K. (2015). Combining enumerative and symbolic techniques for diagnosis of discrete-event systems, 9th International Workshop on Evaluation of Computer and Communication Systems, Bucharest, Romania, pp.1-11.Search in Google Scholar

Cabasino, M., Giua, A., Lafortune, S. and Seatzu, C. (2012). A new approach for diagnosability analysis of Petri nets using verifier nets, IEEE Transactions Automatic Control 57(12): 3104-3117.10.1109/TAC.2012.2200372Search in Google Scholar

Cabasino, M., Giua, A. and Seatzu, C. (2014). Diagnosis of discrete event systems using labeled Petri nets, IEEE Transactions on Automation Science and Engineering 11(1): 144-153.10.1109/TASE.2013.2289360Search in Google Scholar

Cabral, F., Moreira, M., Diene, O. and Basilio, J. (2015). A Petri net diagnoser for discrete event systems modeled by finite state automata, IEEE Transactions on Automatic Control 60(1): 59-71.10.1109/TAC.2014.2332238Search in Google Scholar

Cormen, T., Leiserson, C. and Rivest, R. (1990). Introduction of Algorithms, MIT Press, Cambridge, MA.Search in Google Scholar

Jiang, S., Huang, Z., Chandra, V. and Kumar, R. (2001). A polynomial algorithm for testing diagnosability of discrete event systems, IEEE Transactions on Automatic Control 46(8): 1318-1321.10.1109/9.940942Search in Google Scholar

Karp, R. and Miller, R. (1969). Parallel program schemata: A mathematical model for parallel computation, Journal of Computer and System Sciences 3(2): 147-195.10.1016/S0022-0000(69)80011-5Search in Google Scholar

Lefebvre, D. and Delherm, C. (2007). Diagnosis of DES with Petri net models, IEEE Transactions on Automation Science and Engineering 4(1): 114-118.10.1109/TASE.2006.872122Search in Google Scholar

Li, B., Khlif-Bouassida, M. and Toguy´eni, A. (2015a). On-the-fly Diagnosability analysis of labeled Petri nets using T-invariants, 5th International Workshop on Dependable Control of Discrete Systems, DCDS’2015, Cancun, Mexico, pp. 64-70.10.1016/j.ifacol.2015.06.474Search in Google Scholar

Li, B., Khlif-Bouassida, M. and Toguy´eni, A. (2016). On-the-fly diagnosability analysis of LPN using verifier nets, 3rd International Conference on Control and Fault-Tolerant Systems, SYSTOL’16, Nice, France, pp. 305-312.10.1109/SYSTOL.2016.7739768Search in Google Scholar

Li, B., Liu, B. and Toguy´eni, A. (2015b). On-the-fly diagnosability analysis of labeled Petri nets using minimal explanations, 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS’ 2015, Paris, France, pp. 326-331.10.1016/j.ifacol.2015.09.548Search in Google Scholar

Liu, B., Ghazel,M. and Toguy´eni, A. (2014). Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets, 13th European Control Conference, ECC’2014, Strasbourg, France, pp. 1293-1298.10.1109/ECC.2014.6862505Search in Google Scholar

Moreira, M., Jesus, T. and Basilio, J. (2011). Polynomial time verification of decentralized diagnosability of discrete event systems, IEEE Transactions on Automatic Control 56(7): 1679-1684.10.1109/TAC.2011.2124950Search in Google Scholar

Rushton, A. (2012). STLplus C++ Library Collection, stlplus.sourceforge.net.Search in Google Scholar

Sampath, M., Sengupta, R. and Lafortune, S. (1995). Diagnosability of discrete-event systems, IEEE Transactions an Automatic Control 40(9): 1555-1575.10.1109/9.412626Search in Google Scholar

Schwoon, S. and Esparza, J. (2005). A note on on-the-fly verification algorithms, 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Edinburgh, UK, pp. 174-190.10.1007/978-3-540-31980-1_12Search in Google Scholar

Yoo, T. and Lafortune, S. (2002). Polynomial-time verification of diagnosability of partially observed discrete-event systems, IEEE Transactions on Automatic Control 47(9): 1491-1495.10.1109/TAC.2002.802763Search in Google Scholar