Pages that link to "Item:Q4852346"
From MaRDI portal
The following pages link to Diagnosability of discrete-event systems (Q4852346):
Displayed 50 items.
- Optimal constructions for active diagnosis (Q314815) (← links)
- What topology tells us about diagnosability in partial order semantics (Q351726) (← links)
- Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
- A new algorithm for testing diagnosability of fuzzy discrete event systems (Q425552) (← links)
- From classic observability to a simple fuzzy observability for fuzzy discrete-event systems (Q454904) (← links)
- Privacy preserving minimal observability for composite transactional services (Q481362) (← links)
- An event-based distributed diagnosis framework using structural model decomposition (Q490646) (← links)
- Minimal sensor activation and minimal communication in discrete-event systems (Q503031) (← links)
- A framework for state attraction of discrete event systems under partial observation (Q507660) (← 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)
- Decentralized supervisory control of fuzzy discrete event systems (Q522738) (← links)
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← links)
- Nonblocking check in fuzzy discrete event systems based on observation equivalence (Q529370) (← links)
- Active fault tolerant control of discrete event systems using online diagnostics (Q534270) (← links)
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← 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)
- 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)
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence (Q714871) (← 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)
- Modular fault diagnosis based on discrete event systems (Q816695) (← links)
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Accurate approximate diagnosis of (controllable) stochastic systems (Q832093) (← links)
- Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays (Q839008) (← links)
- Fault diagnosis in discrete event systems modeled by partially observed Petri nets (Q843985) (← links)
- Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective (Q843994) (← links)
- Diagnosability of discrete event systems with modular structure (Q853677) (← links)
- Safe supervisory control under observability failure (Q858154) (← 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)
- Detectability in stochastic discrete event systems (Q897674) (← links)
- Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
- Output feedback control of asynchronous sequential machines with disturbance inputs (Q903569) (← links)
- Fault diagnosis of discretely controlled continuous systems by means of discrete-event models (Q939010) (← links)
- Diagnosis of behaviors of interest in partially-observed discrete-event systems (Q953472) (← links)
- Abstraction-based failure diagnosis for discrete event systems (Q962191) (← links)
- Optimal sensor activation for diagnosing discrete event systems (Q987648) (← links)
- Predictability of event occurrences in partially-observed discrete-event systems (Q1012718) (← links)
- On-line fault detection in discrete event systems by Petri nets and integer linear programming (Q1049168) (← links)
- Games for synthesis of controllers with partial observation. (Q1401346) (← links)
- System theory for system identification. (Q1421324) (← links)
- Diagnosis of discrete-event systems from uncertain temporal observations (Q1605280) (← links)