Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets
type: Dataset
description: This paper deals with the diagnosability of discrete event systems (DES) modeled by labeled Petri nets (LPNs). An additional parameter K ∈ N, which is the number of observable events after an unobservable fault to ensure diagnosability, is discussed. With the incremental search of K, we transform the diagnosability problem into a series of K-diagnosability problems. For bounded diagnosable systems, Kmin , the minimum value of K to ensure diagnosability, can be eventually found. The state space is generated on the fly, without investigation of unnecessary states. This is a notable advantage compared with some existing methods, since just a part of the state space can often be sufficient to assess diagnosability.
issued: 2026-05-05T09:49:02.897392
language: en
modified: 2026-05-05T09:49:02.897396
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: diagnostic
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-aucomputer-science-csautomatic-control-engineering
keyword: systeme-discret
landing page: 13th European Control Conference - ECC'2014

Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets
type: Distribution
format: HTML
issued: 2026-05-05T09:49:02.900618
modified: 2026-05-05T09:49:02.889550
access URL: https://hal.science/hal-00999387

test_moissonnage_selune
type: Agent