Author of the publication

Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach.

, and . IEEE Trans Autom. Sci. Eng., 19 (2): 1151-1162 (2022)

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

Applying Active Diagnosis to Space Systems by On-Board Control Procedures., , , , and . CoRR, (2019)Failure detection and localization for timed event graphs in $(, +)$-algebra., , , and . Discret. Event Dyn. Syst., 31 (4): 513-552 (2021)Diagnosis and Supervision: Model-Based Approaches., , , and . A Guided Tour of Artificial Intelligence Research (1) (I), Springer, (2020)Detection of time shift failures in (max, +)-linear systems with time intervals applied to the supervision of assembly lines., , and . SMC, page 1801-1806. IEEE, (2019)Observer-based detection and localization of time shift failures in (max, +)-linear systems., , , and . CASE, page 545-550. IEEE, (2021)A Decentralised Symbolic Diagnosis Approach., , and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 99-104. IOS Press, (2010)Incremental decentralized diagnosis approach for the supervision of a telecommunication network., , and . CDC, page 435-440. IEEE, (2002)A New Product Construction for the Diagnosability of Patterns in Time Petri Net., , , , and . CDC, page 104-109. IEEE, (2020)9 WS-DIAMOND: Web Services—DIAgnosability, MONitoring, and Diagnosis, , , , , , , , , and 19 other author(s). (2008)Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach., and . IEEE Trans Autom. Sci. Eng., 19 (2): 1151-1162 (2022)