Diagnosability analysis of a class of hierarchical state machines

DOI10.1007/s10626-008-0044-5zbMath1171.93357OpenAlexW2074727206MaRDI QIDQ732254

Stéphane Lafortune, Andrea Paoli

Publication date: 9 October 2009

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

Full work available at URL: https://doi.org/10.1007/s10626-008-0044-5

zbMATH Keywords

fault diagnosisdiscrete event systemsdiagnoserstatechartshierarchical finite state machines

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65) Observability (93B07)

Related Items

Diagnosis of Deep Discrete-Event Systems, Abstraction-based failure diagnosis for discrete event systems, Active fault tolerant control of discrete event systems using online diagnostics, State-based fault diagnosis of discrete-event systems with partially observable outputs

Uses Software

• UMDES

Cites Work

• Statecharts: a visual formalism for complex systems
• Diagnosability of discrete event systems and its applications
• Model-based detection of routing events in discrete flow networks
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Introduction to Discrete Event Systems
• Control of discrete event systems modeled as hierarchical state machines
• Active diagnosis of discrete-event systems
• Template languages for fault monitoring of timed discrete event processes
• Diagnosability of discrete-event systems
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Probabilistic detection of FSM single state-transition faults based on state occupancy measurements
• State observation and diagnosis of discrete-event systems described by stochastic automata
• Diagnosing discrete-event systems: Extending the ``diagnoser approach to deal with telecommunication networks