Author of the publication

A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets.

, , , and . IEEE Trans. Automat. Contr., 57 (12): 3104-3117 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Optimal sensor selection for ensuring diagnosability in labeled Petri nets., , and . Automatica, 49 (8): 2373-2383 (2013)Fault detection for discrete event systems using Petri nets with unobservable transitions., , and . Automatica, 46 (9): 1531-1539 (2010)State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*., , and . Discrete Event Dynamic Systems, 15 (1): 85-108 (2005)Fault model identification and synthesis in Petri nets., , , and . Discrete Event Dynamic Systems, 25 (3): 419-440 (2015)Fault diagnosis of an ABS system using Petri nets., , , , and . CASE, page 594-599. IEEE, (2011)State Estimation of Petri Nets by Transformation., , , , , and . CASE, page 194-199. IEEE, (2007)Initial marking estimation in labeled Petri nets in a probabilistic setting., , and . CDC, page 6725-6730. IEEE, (2014)Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking., , and . SMC, page 2348-2353. IEEE, (2013)Diagnosability of bounded Petri nets., , and . CDC, page 1254-1260. IEEE, (2009)New results for fault detection of untimed continuous Petri nets., , , and . CDC, page 6952-6957. IEEE, (2009)