Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
From MaRDI portal
Publication:2407177
DOI10.1016/j.automatica.2017.02.032zbMath1370.93173OpenAlexW2598332701MaRDI 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
Estimation and detection in stochastic control theory (93E10) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)
Related Items (10)
An improved approach for verifying delayed detectability of discrete-event systems ⋮ Initial-state detectability and initial-state opacity of unambiguous weighted automata ⋮ On detectability of labeled Petri nets and finite automata ⋮ Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems ⋮ Trajectory detectability of discrete-event systems ⋮ Deciding detectability for labeled Petri nets ⋮ State estimation of max-plus automata with unobservable events ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ Stabilization of probabilistic finite automata based on semi-tensor product of matrices ⋮ Detectability of labeled weighted automata over monoids
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
This page was built for publication: Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
