Diagnosability analysis of a class of hierarchical state machines
From MaRDI portal
Publication:732254
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
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
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
