Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
From MaRDI portal
Publication:2407177
DOI10.1016/j.automatica.2017.02.032zbMath1370.93173MaRDI QIDQ2407177
Publication date: 28 September 2017
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2017.02.032
93E10: Estimation and detection in stochastic control theory
93C65: Discrete event control/observation systems
93E03: Stochastic systems in control theory (general)
Related Items
Stabilization of probabilistic finite automata based on semi-tensor product of matrices, Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems, Trajectory detectability of discrete-event systems, Deciding detectability for labeled Petri nets, Analysis of strong and strong periodic detectability of bounded labeled Petri nets, On detectability of labeled Petri nets and finite automata, State estimation of max-plus automata with unobservable events, An improved approach for verifying delayed detectability of discrete-event systems, Initial-state detectability and initial-state opacity of unambiguous weighted automata
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Verification of initial-state opacity in security applications of discrete event systems
- Detectability in stochastic discrete event systems
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Robust diagnosis of discrete event systems against intermittent loss of observations
- State estimation and detectability of probabilistic discrete event systems
- Relationships between nondeterministic and deterministic tape complexities
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds
- Stochastic Failure Prognosability of Discrete Event Systems
- Probabilistic Marking Estimation in Labeled Petri Nets
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Introduction to Discrete Event Systems
- Observability of discrete event dynamic systems
- Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations
- Diagnosability of stochastic discrete-event systems
- Detectability of Discrete Event Systems
- Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- Minimum Initial Marking Estimation in Labeled Petri Nets
- Enforcing Detectability in Controlled Discrete Event Systems
- Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses
- State observation and diagnosis of discrete-event systems described by stochastic automata