A Model Checking method to solve the event pattern diagnosis problem in safe labeled time Petri nets

Autor: Pencolé, Yannick, Subias, Audine, Coquand, Camille

Publikováno v: 32nd International Workshop on Principles of Diagnosis DX’21
32nd International Workshop on Principles of Diagnosis DX’21, Sep 2021, Hamburg, Germany

Best paper award; International audience; This paper addresses the problem of identifying whether a given pattern of unobservable events has occurred in a partially observable timed discrete event system. The systems that are considered here are mode

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ef4e9a8d133562f2d5613a6232ad227
https://hal.laas.fr/hal-03348338/file/DX-2021_paper_8.pdf

Une approche efficace pour l'étude de la diagnosticabilité et le diagnostic des SED modélisés par Réseaux de Petri labellisés : contextes atemporel et temporel

Autor: LIU, Baisi

Publikováno v: Automatic. Ecole Centrale de Lille, 2014. English

This PhD thesis deals with fault diagnosis of DES in both untimed and timed contexts using Petri net models. Some on-the-fly and incremental techniques are developed to reduce the state explosion problem while analyzing diagnosability. In the untimed

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::b3b9afbb87fc1faf64019d8bcb22fedb
https://tel.archives-ouvertes.fr/tel-01064597

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.