Generalized detectability for discrete event systems
From MaRDI portal
Recommendations
- Detectability of Discrete Event Systems
- Detectability in stochastic discrete event systems
- Detectability of discrete event systems with dynamic event observation
- Detectability of networked discrete event systems
- Complexity of deciding detectability in discrete event systems
- Enforcing Detectability in Controlled Discrete Event Systems
- Delayed Detectability of Discrete Event Systems
- On verification of D-detectability for discrete event systems
- Matrix approach to detectability of discrete event systems
- Detectability Measure for State Estimation of Discrete Event Systems
Cites work
- A polynomial algorithm for testing diagnosability of discrete-event systems
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
- Control of Infinite Behavior of Finite Automata
- Decentralized supervisory control of discrete-event systems
- Detectability of Discrete Event Systems
- Diagnosability of discrete event systems and its applications
- Discrete-event control of nondeterministic systems
- Fault diagnosis in discrete-event systems: Framework and model reduction
- scientific article; zbMATH DE number 3959244 (Why is no real title available?)
- scientific article; zbMATH DE number 1383199 (Why is no real title available?)
- Observability of discrete event dynamic systems
- On observability of discrete-event systems
- Output stabilizability of discrete-event dynamic systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Stabilization of discrete-event processes
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of discrete-event processes with partial observations
Cited in
(30)- Trajectory detectability of discrete-event systems
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Deciding detectability for labeled Petri nets
- Detectability of networked discrete event systems
- Complexity of deciding detectability in discrete event systems
- Verification of C-detectability using Petri nets
- Detectability verification of probabilistic Boolean networks
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets
- On verification of D-detectability for discrete event systems
- Detectability of labeled weighted automata over monoids
- Information control in networked discrete event systems and its application to battery management systems
- On detectability of labeled Petri nets and finite automata
- Matrix approach to detectability of discrete event systems
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
- State estimation and detectability of probabilistic discrete event systems
- An improved approach for verifying delayed detectability of discrete-event systems
- Initial-state detectability and initial-state opacity of unambiguous weighted automata
- Partially ordered automata and piecewise testability
- Minimal sensor activation and minimal communication in discrete-event systems
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
- Online prognosis of stochastic discrete event systems with guaranteed performance bound
- Matrix approach to I-detectability of partially observed discrete event systems
- Timed initial-state detectability of discrete-event systems by algebraic method
- State estimation for discrete-event systems with reliable states under sequential attacks
- Detectability of discrete event systems under sensor attacks
- Detectability notions for a class of finite labeled Markovian systems
- Always guarding you: strong initial-and-final-state opacity of discrete-event systems
- Detectability in stochastic discrete event systems
- Detectability of discrete event systems with dynamic event observation
This page was built for publication: Generalized detectability for discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q539906)
