State observation and diagnosis of discrete-event systems described by stochastic automata

DOI10.1023/A:1011273108731zbMath1055.93056OpenAlexW182227077MaRDI QIDQ5949609

Jan Lunze, Jochen Schröder

Publication date: 4 December 2002

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011273108731

zbMATH Keywords

observabilitydiagnosisdiagnosabilitystate observationstochastic automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65) Observability (93B07) Stochastic systems in control theory (general) (93E03)

Related Items (12)

A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization ⋮ Robust predictability of stochastic discrete-event systems and a polynomial-time verification ⋮ Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures ⋮ A necessary and sufficient condition for diagnosability of stochastic discrete event systems ⋮ On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming ⋮ Active acquisition of information for diagnosis and supervisory control of discrete event systems ⋮ Failure diagnosis for distributed stochastic discrete event systems ⋮ On Fault Predictability in Stochastic Discrete Event Systems ⋮ Active fault tolerant control of discrete event systems using online diagnostics ⋮ Diagnosability analysis of a class of hierarchical state machines ⋮ Model-Based Diagnosis with Probabilistic Models ⋮ Safe diagnosability for fault-tolerant supervision of discrete-event systems

This page was built for publication: State observation and diagnosis of discrete-event systems described by stochastic automata