Distributed synchronous diagnosis of discrete event systems modeled as automata

[1]  Ratnesh Kumar,et al.  Distributed diagnosis under bounded-delay communication of immediately forwarded local observations , 2005, Proceedings of the 2005, American Control Conference, 2005..

[2]  Albert Benveniste,et al.  Distributed Monitoring of Concurrent and Asynchronous Systems* , 2003, Discret. Event Dyn. Syst..

[3]  João Carlos Basilio,et al.  Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems , 2011, IEEE Trans. Autom. Control..

[4]  Jean H. A. Tomola,et al.  Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations , 2017, IEEE Transactions on Automatic Control.

[5]  João Carlos Basilio,et al.  A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata , 2015, IEEE Transactions on Automatic Control.

[6]  W. Qiu,et al.  Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[7]  Jean-Jacques Lesage,et al.  Fault diagnosis based on identified discrete-event models , 2019, Control Engineering Practice.

[8]  Alessandro Giua,et al.  Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems , 2011 .

[9]  Felipe G. Cabral,et al.  Synchronous Diagnosis of Discrete-Event Systems , 2020, IEEE Transactions on Automation Science and Engineering.

[10]  Stéphane Lafortune,et al.  Diagnosability of Discrete Event Systems with Modular Structure , 2006, Discret. Event Dyn. Syst..

[11]  Walter Ukovich,et al.  Fault Detection by Labeled Petri Nets in Centralized and Distributed Approaches , 2013, IEEE Transactions on Automation Science and Engineering.

[12]  Jean-Jacques Lesage,et al.  Fault detection of Discrete-Event Systems based on an identified timed model , 2020, Control Engineering Practice.

[13]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[14]  Marcos Vicente Moreira,et al.  Online fault diagnosis of modular discrete-event systems , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[15]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[16]  R. Malik,et al.  A modular architecture for diagnosis of discrete event systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[17]  Lilian K. Carvalho,et al.  Diagnosability of intermittent sensor faults in discrete event systems , 2013, 2013 American Control Conference.

[18]  Jean-Jacques Lesage,et al.  The concept of residuals for fault localization in discrete event systems , 2011 .

[19]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

[20]  João Carlos Basilio,et al.  Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems , 2011, IEEE Transactions on Automatic Control.

[21]  Christoforos Keroglou,et al.  Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements , 2018, IEEE Transactions on Automatic Control.

[22]  Stéphane Lafortune,et al.  Diagnosis of Discrete Event Systems Using Decentralized Architectures , 2007, Discret. Event Dyn. Syst..

[23]  João Carlos Basilio,et al.  Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers , 2017, Autom..

[24]  Felipe G. Cabral,et al.  Synchronous Codiagnosability of Modular Discrete-Event Systems , 2017 .

[25]  Stéphane Lafortune,et al.  Distributed Diagnosis of Place-Bordered Petri Nets , 2007, IEEE Transactions on Automation Science and Engineering.

[26]  Maria Z. M. Veras,et al.  Distributed Synchronous Diagnosability of Discrete-Event Systems , 2018 .

[27]  Rong Su,et al.  Global and local consistencies in distributed fault diagnosis for discrete-event systems , 2005, IEEE Transactions on Automatic Control.