Pages that link to "Item:Q853677"
From MaRDI portal
The following pages link to Diagnosability of discrete event systems with modular structure (Q853677):
Displaying 23 items.
- Diagnosis from scenarios (Q481349) (← links)
- Computation of minimal diagnosis bases of discrete-event systems using verifiers (Q510094) (← links)
- Computation of minimal event bases that ensure diagnosability (Q692381) (← links)
- Diagnosability analysis of a class of hierarchical state machines (Q732254) (← links)
- Fault diagnosis for discrete event systems using partially observed Petri nets (Q779501) (← links)
- Modular fault diagnosis based on discrete event systems (Q816695) (← links)
- Hierarchical fault diagnosis for discrete-event systems under global consistency (Q853679) (← links)
- Abstraction-based failure diagnosis for discrete event systems (Q962191) (← links)
- Diagnosis of large active systems (Q1606300) (← links)
- Design of decentralized critical observers for networks of finite state machines: a formal method approach (Q1678627) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← links)
- Robust diagnosis of discrete event systems against intermittent loss of observations (Q1937482) (← links)
- Centralized modular diagnosis and the phenomenon of coupling (Q2256880) (← links)
- Diagnosability analysis of hybrid systems cast in a discrete-event framework (Q2256889) (← links)
- Diagnosability Analysis of Discrete Event Systems with Autonomous Components (Q2999115) (← links)
- (Q3462742) (← links)
- Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system (Q5027572) (← links)
- Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
- Diagnosability of Discrete Faults with Uncertain Observations (Q5117253) (← links)
- Diagnosability of a class of discrete event systems based on observations (Q5209343) (← links)
- An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures (Q5282423) (← links)
- A language-based diagnosis framework for permanent and intermittent faults (Q6175604) (← links)
