Diagnosability of stochastic discrete-event systems

DOI10.1109/TAC.2005.844722zbMath1365.93478OpenAlexW2101961364MaRDI QIDQ5274032

David Thorsley, Demosthenis Teneketzis

Publication date: 12 July 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2005.844722

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Identification in stochastic control theory (93E12) Stochastic systems in control theory (general) (93E03)

Related Items

Accurate approximate diagnosis of (controllable) stochastic systems ⋮ A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization ⋮ Fault diagnosis in discrete event systems modeled by partially observed Petri nets ⋮ Optimal constructions for active diagnosis ⋮ Fault diagnosis in discrete time hybrid systems -- a case study ⋮ Robust predictability of stochastic discrete-event systems and a polynomial-time verification ⋮ Minimal diagnosis and diagnosability of discrete-event systems modeled by automata ⋮ Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures ⋮ A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ Correctability of fault-tolerant stochastic discrete-event systems ⋮ A necessary and sufficient condition for diagnosability of stochastic discrete event systems ⋮ Verification of detectability in probabilistic finite automata ⋮ Predictability of fuzzy discrete event systems ⋮ Polynomial-time verification of diagnosability of fuzzy discrete event systems ⋮ Decentralized diagnosis of fuzzy discrete-event systems ⋮ Robust diagnosis of discrete event systems against intermittent loss of observations ⋮ Detectability in stochastic discrete event systems ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ A new algorithm for testing diagnosability of fuzzy discrete event systems ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Unnamed Item ⋮ From classic observability to a simple fuzzy observability for fuzzy discrete-event systems ⋮ Reachability and controllability analysis of probabilistic finite automata via a novel matrix method ⋮ Diagnosis and degradation control for probabilistic systems ⋮ Selective monitoring ⋮ Complexity of detectability, opacity and A-diagnosability for modular discrete event systems ⋮ Active acquisition of information for diagnosis and supervisory control of discrete event systems ⋮ Diagnosability of fuzzy discrete event systems ⋮ Failure diagnosis for distributed stochastic discrete event systems ⋮ Computation of minimal event bases that ensure diagnosability ⋮ On Fault Predictability in Stochastic Discrete Event Systems ⋮ Diagnosability analysis of hybrid systems cast in a discrete-event framework ⋮ Fairness of transitions in diagnosability of discrete event systems ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ A tale of two diagnoses in probabilistic systems ⋮ Diagnosability of repairable faults ⋮ Supervisory control of discrete-event systems under attacks ⋮ Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches ⋮ Stabilization of probabilistic finite automata based on semi-tensor product of matrices ⋮ Diagnosis and Automata ⋮ Verification of safe diagnosability of stochastic discrete-event systems