Polynomial-time verification of diagnosability of partially observed discrete-event systems

No abstract is available for this paper.

• Publication year

  2002

• Venue

  IEEE Transactions on Automatic Control

• Publication date

  2002-11-07

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1109/TAC.2002.802763
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems

  2002cited by this paper
• A polynomial algorithm for testing diagnosability of discrete-event systems

  2001cited by this paper
• Diagnosability of discrete-event systems

  1995influential reference
• The Computational Complexity of Decentralized Discrete-Event Control Problems

  1993cited by this paper
• On the control of discrete-event dynamical systems

  1987cited by this paper

• Robust Fault Diagnosis Against Permanent Loss of Observations Using Labeled Petri Nets

  2026cites this paper
• Recent Advances in Fault Diagnosis and Opacity Analysis in Discrete Event Systems.

  2026cites this paper
• Asynchronous Fault Diagnosis in Discrete Event Systems Subject to Intermittent Sensor Failures

  2026cites this paper
• State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming

  2025cites this paper
• Diagnosability Based on Partially Ordered Observation Sequences

  2025cites this paper
• Active Diagnosis of Time-Interval Automata: Time Perspectives

  2025cites this paper
• Repeated fault diagnosability of discrete event systems with decentralized structure*

  2025cites this paper
• A joint diagnoser approach for diagnosability of discrete event systems under attack

  2025cites this paper
• Feature recognition: A unified framework for fault diagnosis and prognosis of discrete event systems.

  2025cites this paper
• K-Corruption Intermittent Attacks for Violating the Codiagnosability

  2025cites this paper
• Active prognosis and diagnosis of modular discrete-event systems

  2025cites this paper
• Decentralized State Estimation and Opacity Verification Based on Partially Ordered Observation Sequences

  2025cites this paper
• Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata

  2025cites this paper
• Diagnosability Enforcement in Discrete Event Systems Using Labeled Petri Nets

  2025cites this paper
• [Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata

  2024cites this paper
• A Digital Twin Approach for Enforcing Diagnosability in Petri Nets

  2024influential citation
• Diagnosability of labeled Dp-automata

  2024cites this paper
• Predictability of Fault Events for Decentralized Stochastic Discrete-Event Systems Based on Dynamic Observations and Polynomial-Time Verification

  2024cites this paper
• Maximum fault-free enforcement in Petri nets using supervisory control

  2024cites this paper
• Detecting probability footprints of sensor deception attacks in supervisory control

  2024cites this paper
• On the verification of detectability for timed discrete event systems

  2024cites this paper
• Intermittent fault manifestability of discrete event systems

  2023influential citation
• Study and Analysis of Discrete Event-Driven Autonomous System with a Case Study for a Robotics Task

  2023cites this paper
• Quick Subset Construction

  2023cites this paper
• Distributed diagnosis of discrete-event systems under dynamic event observations

  2023cites this paper
• Diagnosis of timed patterns for discrete event systems by means of state isolation

  2023cites this paper
• Polynomial-Time Verification of Decentralized Fault Pattern Diagnosability for Discrete-Event Systems

  2023cites this paper
• Online prognosis of stochastic discrete event systems with guaranteed performance bound

  2023cites this paper
• Active Fault Isolation for Discrete Event Systems

  2023influential citation
• A Probabilistic Test for A-Diagnosability of Stochastic Discrete-Event Systems With Guaranteed Error Bound

  2023cites this paper
• Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability

  2023cites this paper
• A language-based diagnosis framework for permanent and intermittent faults

  2023cites this paper
• Niffler: Real-time Device-level Anomalies Detection in Smart Home

  2023cites this paper
• Probabilistic verification of diagnosability for a certain class of timed stochastic systems

  2023cites this paper
• A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems

  2023cites this paper
• Supervisory control to maximize mean time to failure in discrete event systems

  2023cites this paper
• Detection of Actuator Enablement Attacks by Petri Nets in Supervisory Control Systems

  2023cites this paper
• Performance evaluation of SCADA systems by means of Discrete Event Systems

  2023cites this paper
• Critical Observability of Labeled Time Petri Net Systems

  2023cites this paper
• Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation

  2022cites this paper
• Diagnosability verification using LTL model checking

  2022cites this paper
• On Detectabilities of Fuzzy Discrete Event Systems

  2022cites this paper
• Diagnosability of Unambiguous Max-Plus Automata

  2022cites this paper
• An Efficient Algorithm for the Verification of Codiagnosability of Discrete Event Systems With Dynamic Observations

  2022cites this paper
• Diagnosability Enforcement in Labeled Petri Nets Based on Digital Twins

  2022cites this paper
• Diagnosability of fault patterns with labeled stochastic Petri nets

  2022cites this paper
• K-loss robust codiagnosability of Discrete-Event Systems

  2022cites this paper
• Robustly distributed diagnosis of discrete-event systems and its application to Alipay transaction systems

  2022cites this paper
• Combining Online Diagnosis and Prognosis for Safe Controllability

  2022cites this paper
• Component level diagnosability of discrete event systems based on observations

  2022cites this paper
• Diagnosis of Health Monitoring Systems in Smart Homes Using Discrete Event System Theory

  2022cites this paper
• On the Verification of Detectability for Timed Systems

  2022cites this paper
• A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems

  2022cites this paper
• Robust predictability of stochastic discrete-event systems and a polynomial-time verification

  2022cites this paper
• Verifiers for the detection of timed patterns in discrete event systems

  2022cites this paper
• Fault Pattern Diagnosis of Discrete-Event Systems by Means of Logical Verifiers

  2022cites this paper
• Decentralized diagnosis of discrete event systems subject to permanent sensor failures

  2021cites this paper
• Reduction of Diagnosers for Discrete-Event Systems

  2021cites this paper
• A unified concurrent-composition method to state/event inference and concealment in discrete-event systems

  2021cites this paper
• Tuning the Diagnoser-based Approach for Diagnosability Analysis of Finite Automata

  2021cites this paper
• Marking diagnosability verification in labeled Petri nets

  2021influential citation
• Fault diagnosis of discrete-event systems under a general architecture

  2021cites this paper
• A general framework for diagnosis of discrete event systems subject to sensor failures

  2021cites this paper
• Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach

  2021cites this paper
• Reliable Co-Prognosability of Decentralized Stochastic Discrete-Event Systems and a Polynomial-Time Verification

  2021influential citation
• Marking Predictability and Prediction in Labeled Petri Nets

  2021cites this paper
• Matrix approach to I‐detectability of partially observed discrete event systems

  2021cites this paper
• Analysis of strong and strong periodic detectability of bounded labeled Petri nets

  2021cites this paper
• Diagnosis of Deep Discrete-Event Systems

  2020cites this paper
• Active Prediction for Discrete Event Systems

  2020influential citation
• Verification of safe diagnosability of stochastic discrete-event systems

  2020cites this paper
• A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems

  2020influential citation
• Error- and Tamper-Tolerant State Estimation for Discrete Event Systems Under Cost Constraints

  2020cites this paper
• An improved approach for verifying delayed detectability of discrete-event systems

  2020cites this paper
• Diagnosis and Supervision: Model-Based Approaches

  2020cites this paper
• Fault prognosis of decentralized fuzzy discrete-event systems

  2020cites this paper
• Redução de Diagnosticadores de Sistemas a Eventos Discretos

  2020cites this paper
• Supervisor Reduction by Hiding Events

  2020cites this paper
• Reduction Rules for Diagnosability Analysis of Complex Systems Modeled by Labeled Petri Nets

  2020cites this paper
• Predictability of Discrete-Event Systems with Cycles of States Connected with Unobservable Events

  2020cites this paper
• State-based fault diagnosis of discrete-event systems with partially observable outputs

  2020cites this paper
• Weak Diagnosability of Discrete Event Systems

  2020cites this paper
• overview on diagnosability and prognosability for system monitoring

  2020cites this paper
• K-Loss Robust Diagnosability of Discrete-Event Systems

  2020cites this paper
• Critical Observability of Partially Observed Petri Nets

  2020cites this paper
• A semi‐symbolic diagnoser for fault diagnosis of bounded labeled petri nets

  2020cites this paper
• On Reductions Among Observation Properties of Discrete Event Systems

  2020cites this paper
• Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata

  2020cites this paper
• Design of Supervisors for Active Diagnosis in Discrete Event Systems

  2020influential citation
• A Generalized Diagnosability Condition for Diagnosis of Discrete Event Systems Subject to Sensor Failures

  2020cites this paper
• Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches

  2020cites this paper
• Introduction to Estimation and Inference in Discrete Event Systems

  2019cites this paper
• Twin‐engined diagnosis of discrete‐event systems

  2019cites this paper
• Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs

  2019cites this paper
• Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata

  2019cites this paper
• Revisiting delayed strong detectability of discrete-event systems

  2019cites this paper
• K-Codiagnosability Verification of Labeled Petri Nets

  2019cites this paper
• Active Diagnosis of Petri Nets Using Q-Diagnoser

  2019cites this paper
• Supervisory Control in Partially Observable Petri Nets with Sensor Reduction

  2019cites this paper
• Checking Diagnosability on Centralized Model of the System

  2019cites this paper