Pages that link to "Item:Q1329141"
From MaRDI portal
The following pages link to Diagnosability of discrete event systems and its applications (Q1329141):
Displaying 39 items.
- Diagnosis from scenarios (Q481349) (← links)
- Privacy preserving minimal observability for composite transactional services (Q481362) (← links)
- Minimal sensor activation and minimal communication in discrete-event systems (Q503031) (← links)
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets (Q513189) (← links)
- Active fault tolerant control of discrete event systems using online diagnostics (Q534270) (← links)
- Generalized detectability for discrete event systems (Q539906) (← links)
- Computation of minimal event bases that ensure diagnosability (Q692381) (← links)
- Fairness of transitions in diagnosability of discrete event systems (Q708892) (← links)
- Opacity of discrete event systems and its applications (Q716123) (← links)
- On-line monitoring of large Petri net models under partial observation (Q732251) (← links)
- Diagnosability analysis of a class of hierarchical state machines (Q732254) (← links)
- Diagnosability of discrete event systems with modular structure (Q853677) (← links)
- Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
- \(N\)-diagnosability for active on-line diagnosis in discrete event systems (Q1679101) (← links)
- Robust diagnosis of discrete event systems against intermittent loss of observations (Q1937482) (← links)
- State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248) (← links)
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches (Q2058490) (← links)
- Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach (Q2060855) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- Diagnosability verification using LTL model checking (Q2081084) (← links)
- Approximate predictability of pseudo-metric systems (Q2178224) (← links)
- Centralized modular diagnosis and the phenomenon of coupling (Q2256880) (← links)
- Matrix approach to detectability of discrete event systems (Q2316509) (← links)
- Observability and diagnosability of finite state systems: a unifying framework (Q2409221) (← links)
- Online minimization of sensor activation for supervisory control (Q2409274) (← links)
- Safe diagnosability for fault-tolerant supervision of discrete-event systems (Q2576131) (← links)
- Minimal diagnosis and diagnosability of discrete-event systems modeled by automata (Q2658452) (← links)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
- Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems (Q3016279) (← links)
- Diagnosability of delay-deadline failures in fair real time discrete event models (Q3161644) (← links)
- A uniform approach to mixed-signal circuit test (Q4367096) (← links)
- Secure Diagnosability of Hybrid Dynamical Systems (Q5117251) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- Supervisory control to maximize mean time to failure in discrete event systems (Q6080670) (← links)
- Distributed diagnosis of discrete-event systems under dynamic event observations (Q6082773) (← links)
- Diagnosis of timed patterns for discrete event systems by means of state isolation (Q6110300) (← links)
- Information control in networked discrete event systems (Q6546048) (← links)
- Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata (Q6614006) (← links)
- Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints (Q6659262) (← links)
