Pages that link to "Item:Q5267079"
From MaRDI portal
The following pages link to Polynomial-time verification of diagnosability of partially observed discrete-event systems (Q5267079):
Displayed 46 items.
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound (Q286345) (← links)
- Optimal constructions for active diagnosis (Q314815) (← links)
- Computation of minimal diagnosis bases of discrete-event systems using verifiers (Q510094) (← links)
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions (Q513180) (← links)
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets (Q513189) (← links)
- Generalized detectability for discrete event systems (Q539906) (← links)
- Computation of minimal event bases that ensure diagnosability (Q692381) (← links)
- Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems (Q692384) (← links)
- Fairness of transitions in diagnosability of discrete event systems (Q708892) (← links)
- On the minimization of communication in networked systems with a central station (Q732255) (← links)
- Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays (Q839008) (← links)
- Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective (Q843994) (← links)
- Diagnosis of discrete event systems using decentralized architectures (Q884759) (← links)
- Polynomial-time verification of diagnosability of fuzzy discrete event systems (Q893753) (← links)
- Detectability in stochastic discrete event systems (Q897674) (← links)
- Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
- Diagnosis of behaviors of interest in partially-observed discrete-event systems (Q953472) (← links)
- Abstraction-based failure diagnosis for discrete event systems (Q962191) (← links)
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions (Q998679) (← links)
- Predictability of event occurrences in partially-observed discrete-event systems (Q1012718) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Predictability of fuzzy discrete event systems (Q1686853) (← links)
- Empirical studies in the size of diagnosers and verifiers for diagnosability analysis (Q1686857) (← links)
- Detection and mitigation of classes of attacks in supervisory control systems (Q1716512) (← links)
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications (Q1737742) (← links)
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets (Q1784050) (← links)
- Detectability of networked discrete event systems (Q1790664) (← 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)
- Diagnosability analysis of hybrid systems cast in a discrete-event framework (Q2256889) (← links)
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371) (← links)
- Verification of robust diagnosability for partially observed discrete event systems (Q2391506) (← links)
- Online minimization of sensor activation for supervisory control (Q2409274) (← links)
- Diagnosability of intermittent sensor faults in discrete event systems (Q2409363) (← links)
- Active acquisition of information for diagnosis and supervisory control of discrete event systems (Q2465426) (← 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)
- An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
- Diagnosability of discrete event systems subject to permanent sensor failures (Q2799301) (← links)
- Diagnosability of delay-deadline failures in fair real time discrete event models (Q3161644) (← links)
- Secure Diagnosability of Hybrid Dynamical Systems (Q5117251) (← links)
- Diagnosability of Discrete Faults with Uncertain Observations (Q5117253) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- Discrete-Event Systems Fault Diagnosis (Q5237329) (← links)
- Diagnosis and Automata (Q5496923) (← links)