Diagnosability of discrete event systems with modular structure
From MaRDI portal
Publication:853677
Recommendations
- Modular fault diagnosis based on discrete event systems
- Verification complexity of a class of observational properties for modular discrete events systems
- Diagnosability of discrete-event systems
- Diagnosis and automata
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
Cites work
- Active diagnosis of discrete-event systems
- Centralized modular diagnosis and the phenomenon of coupling
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Diagnosability of discrete event systems and its applications
- Diagnosability of discrete-event systems
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Diagnosis of intermittent faults
- Distributed diagnosis of discrete-event systems using Petri nets
- Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
- Fault diagnosis in discrete-event systems: Framework and model reduction
- scientific article; zbMATH DE number 1976855 (Why is no real title available?)
- scientific article; zbMATH DE number 1383199 (Why is no real title available?)
- Process algebras for systems diagnosis.
- Template languages for fault monitoring of timed discrete event processes
Cited in
(27)- Diagnosis of large active systems
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Verification complexity of a class of observational properties for modular discrete events systems
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Centralized modular diagnosis and the phenomenon of coupling
- Diagnosability analysis of hybrid systems cast in a discrete-event framework
- Diagnosability Analysis of Discrete Event Systems with Autonomous Components
- scientific article; zbMATH DE number 6531200 (Why is no real title available?)
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Diagnosis from scenarios
- Diagnosability of discrete-event systems
- Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system
- Current-state opacity and initial-state opacity of modular discrete event systems
- Computation of minimal diagnosis bases of discrete-event systems using verifiers
- Diagnosability of discrete faults with uncertain observations
- Diagnosability of a class of discrete event systems based on observations
- An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures
- Diagnosis and automata
- A language-based diagnosis framework for permanent and intermittent faults
- Computation of minimal event bases that ensure diagnosability
- Computation of synchronous diagnosis bases of discrete-event systems
- Diagnosability analysis of a class of hierarchical state machines
- Fault diagnosis for discrete event systems using partially observed Petri nets
- Modular fault diagnosis based on discrete event systems
- Hierarchical fault diagnosis for discrete-event systems under global consistency
- Abstraction-based failure diagnosis for discrete event systems
This page was built for publication: Diagnosability of discrete event systems with modular structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q853677)
