Pages that link to "Item:Q1975198"
From MaRDI portal
The following pages link to Coordinated decentralized protocols for failure diagnosis of discrete event systems (Q1975198):
Displayed 50 items.
- Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
- Decentralized fault free model approach for fault detection and isolation of discrete event systems (Q386093) (← links)
- A new algorithm for testing diagnosability of fuzzy discrete event systems (Q425552) (← links)
- An event-based distributed diagnosis framework using structural model decomposition (Q490646) (← 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)
- Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems (Q692384) (← links)
- Periodic and non-concurrent error detection and identification in one-hot encoded FSMs (Q705464) (← links)
- Fairness of transitions in diagnosability of discrete event systems (Q708892) (← links)
- Abstraction-based verification of codiagnosability for discrete event systems (Q710695) (← links)
- Fault detection for discrete event systems using Petri nets with unobservable transitions (Q710706) (← links)
- Diagnosability analysis of a class of hierarchical state machines (Q732254) (← links)
- On the minimization of communication in networked systems with a central station (Q732255) (← links)
- Modular fault diagnosis based on discrete event systems (Q816695) (← links)
- Diagnosability of discrete event systems with modular structure (Q853677) (← links)
- Hierarchical fault diagnosis for discrete-event systems under global consistency (Q853679) (← links)
- Fault diagnosis in discrete time hybrid systems -- a case study (Q865902) (← links)
- Diagnosis of discrete event systems using decentralized architectures (Q884759) (← links)
- Polynomial-time verification of diagnosability of fuzzy discrete event systems (Q893753) (← links)
- Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
- Diagnosis of discrete-event systems from uncertain temporal observations (Q1605280) (← links)
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications (Q1737742) (← links)
- Distributed monitoring of concurrent and asynchronous systems (Q1773098) (← links)
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation (Q1788691) (← links)
- Implementation of inference-based diagnosis: computing delay bound and ambiguity levels (Q1788696) (← links)
- Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model (Q1792413) (← links)
- Decentralized diagnosis of fuzzy discrete-event systems (Q1937327) (← links)
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming (Q1937479) (← links)
- Robust diagnosis of discrete event systems against intermittent loss of observations (Q1937482) (← links)
- Failure diagnosis for distributed stochastic discrete event systems (Q1993130) (← links)
- Diagnosability verification using LTL model checking (Q2081084) (← links)
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818) (← links)
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems (Q2109177) (← links)
- Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks (Q2123407) (← links)
- \(K\)-loss robust codiagnosability of discrete-event systems (Q2125509) (← links)
- Arborescent architecture for decentralized diagnosis of discrete event systems (Q2197584) (← links)
- Discrete event system identification with the aim of fault detection (Q2286331) (← links)
- Undecidable problems of decentralized observation and control on regular languages (Q2390212) (← links)
- Online minimization of sensor activation for supervisory control (Q2409274) (← links)
- A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks (Q2457674) (← links)
- Trellis processes: a compact representation for runs of concurrent systems (Q2465670) (← links)
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures (Q2673757) (← links)
- Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems (Q2799260) (← links)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
- Modelling and hierarchical diagnosis of timed discrete-event systems (Q3424287) (← links)
- Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems (Q3541194) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- Diagnosis of Petri Nets (Q5496932) (← links)
- Detection and diagnosis of deviations in distributed systems of autonomous agents (Q5889310) (← links)