A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
From MaRDI portal
Publication:5158671
Recommendations
- Decentralized fault free model approach for fault detection and isolation of discrete event systems
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound
- Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems
- Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems
- Decentralized Diagnosis of Stochastic Discrete Event Systems
- Diagnosis of discrete event systems using decentralized architectures
- Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures
Cites work
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- A polynomial algorithm for testing diagnosability of discrete-event systems
- A weighted pair graph representation for reconstructibility of Boolean control networks
- Algebraic methods for nonlinear control systems. Theory and applications.
- Classical and Logic-Based Dynamic Observers for Finite Automata
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
- Complexity of deciding detectability in discrete event systems
- Control of discrete-event systems. Automata and Petri net perspectives
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Decentralized observability of discrete event systems with synchronizations
- Decentralized Prognosis of Failures in Discrete Event Systems
- Deciding detectability for labeled Petri nets
- Detectability of Discrete Event Systems
- Detecting patterns in finite regular and context-free languages
- Diagnosability of discrete event systems and its applications
- Diagnosability of discrete-event systems
- Diagnosis of discrete event systems using decentralized architectures
- Discrete-Time and Discrete-Space Dynamical Systems
- Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements
- Estimation and inference in discrete event systems. A model-based approach with finite automata
- Fault diagnosis with static and dynamic observers
- Generalized detectability for discrete event systems
- scientific article; zbMATH DE number 5595151 (Why is no real title available?)
- scientific article; zbMATH DE number 3987117 (Why is no real title available?)
- Introduction to Discrete Event Systems
- Mathematical Description of Linear Dynamical Systems
- Model-based testing of reactive systems. Advanced lectures.
- Nonlinear control systems.
- Observability for Switched Linear Systems: Characterization and Observer Design
- Observability of complex systems
- Observability of discrete event dynamic systems
- Observability, Reconstructibility and State Observers of Boolean Control Networks
- On detectability of labeled Petri nets and finite automata
- On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
- On the Observability of Polynomial Systems, I: Finite-Time Problems
- Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Predictability of event occurrences in partially-observed discrete-event systems
- Relationships between nondeterministic and deterministic tape complexities
- Reset Sequences for Monotonic Automata
- Strong structural input and state observability of linear time-invariant systems: graphical conditions and algorithms
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of discrete-event systems
- Synchronizing finite automata on Eulerian digraphs.
- The Complexity of Codiagnosability for Discrete Event and Timed Systems
- The complexity of diagnosability and opacity verification for Petri nets
- The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
- Undecidable problems of decentralized observation and control on regular languages
- What topology tells us about diagnosability in partial order semantics
Cited in
(8)- Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach
- Detectability of labeled weighted automata over monoids
- Strong current-state and initial-state opacity of discrete-event systems
- Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
- A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems
- Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata
- Always guarding you: strong initial-and-final-state opacity of discrete-event systems
- Codiagnosability and coobservability under dynamic observations: transformation and verification
This page was built for publication: A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5158671)
