A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems

DOI10.3233/FI-2021-2062MaRDI QIDQ5158671

Kuize Zhang

Publication date: 25 October 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2001.04729

zbMATH Keywords

complexityfinite-state automatondiscrete-event systemconcurrent compositionco-diagnosabilityco-detectabilityco-predictability

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (2)

Strong current-state and initial-state opacity of discrete-event systems ⋮ Detectability of labeled weighted automata over monoids

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• What topology tells us about diagnosability in partial order semantics
• Control of discrete-event systems. Automata and Petri net perspectives
• Generalized detectability for discrete event systems
• Algebraic methods for nonlinear control systems. Theory and applications.
• Diagnosis of discrete event systems using decentralized architectures
• Detecting patterns in finite regular and context-free languages
• Predictability of event occurrences in partially-observed discrete-event systems
• Diagnosability of discrete event systems and its applications
• Nonlinear control systems.
• Synchronizing finite automata on Eulerian digraphs.
• Decentralized observability of discrete event systems with synchronizations
• Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
• Deciding detectability for labeled Petri nets
• Supervisory control of discrete-event systems
• Complexity of deciding detectability in discrete event systems
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Strong structural input and state observability of linear time-invariant systems: graphical conditions and algorithms
• On detectability of labeled Petri nets and finite automata
• Undecidable problems of decentralized observation and control on regular languages
• The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
• Relationships between nondeterministic and deterministic tape complexities
• Model-based testing of reactive systems. Advanced lectures.
• A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks
• Classical and Logic-Based Dynamic Observers for Finite Automata
• Introduction to Discrete Event Systems
• Reset Sequences for Monotonic Automata
• Observability of discrete event dynamic systems
• Supervisory Control of a Class of Discrete Event Processes
• On the Observability of Polynomial Systems, I: Finite-Time Problems
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements
• On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
• The Complexity of Diagnosability and Opacity Verification for Petri Nets
• Diagnosability of discrete-event systems
• Decentralized Prognosis of Failures in Discrete Event Systems
• Observability of complex systems
• Discrete-Time and Discrete-Space Dynamical Systems
• Estimation and Inference in Discrete Event Systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Detectability of Discrete Event Systems
• Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
• The Complexity of Codiagnosability for Discrete Event and Timed Systems
• A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
• Observability for Switched Linear Systems: Characterization and Observer Design
• Observability, Reconstructibility and State Observers of Boolean Control Networks
• Mathematical Description of Linear Dynamical Systems

This page was built for publication: A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems