Diagnosability analysis of a class of hierarchical state machines

DOI10.1007/s10626-008-0044-5zbMath1171.93357MaRDI 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 diagnosis; discrete event systems; diagnoser; statecharts; hierarchical finite state machines

Mathematics Subject Classification ID

90B25: Reliability, availability, maintenance, inspection in operations research

93C65: Discrete event control/observation systems

93B07: Observability

Related Items

Active fault tolerant control of discrete event systems using online diagnostics, Abstraction-based failure diagnosis for discrete event systems

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