On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations

Abstract

In this paper, an approach is developed for diagnosability analysis of discrete event systems (DESs) modeled by labeled Petri nets (LPNs). Our approach, which extends from the on-the-fly and incremental diagnosis technique, aims at improving the efficiency of diagnosability analysis by generating as less state space as possible. Thanks to the minimal explanation notion, our improved approach holds the existing advantages of on-the-fly technique, while generating less fault markings (FMs).

Dates and versions

hal-01374104 , version 1 (29-09-2016)

Identifiers

Cite

Ben Li, Baisi Liu, Armand Toguyeni. 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), Sep 2015, Paris, France. p326-331, ⟨10.1016/j.ifacol.2015.09.548⟩. ⟨hal-01374104⟩
139 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More