Pages that link to "Item:Q4852346"
From MaRDI portal
The following pages link to Diagnosability of discrete-event systems (Q4852346):
Displaying 50 items.
- System theory for system identification. (Q1421324) (← links)
- Diagnosis of discrete-event systems from uncertain temporal observations (Q1605280) (← links)
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata (Q1622234) (← links)
- Stochastic DES fault diagnosis with coloured interpreted Petri nets (Q1665297) (← links)
- A necessary and sufficient condition for diagnosability of stochastic discrete event systems (Q1677190) (← links)
- Design of decentralized critical observers for networks of finite state machines: a formal method approach (Q1678627) (← links)
- Verification of detectability in probabilistic finite automata (Q1678629) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- \(N\)-diagnosability for active on-line diagnosis in discrete event systems (Q1679101) (← links)
- Decentralized observability of discrete event systems with synchronizations (Q1679893) (← 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)
- Fault tolerant control for a class of interconnected asynchronous sequential machines (Q1716566) (← links)
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems (Q1729092) (← links)
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← 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)
- Model-based detection of routing events in discrete flow networks (Q1776408) (← links)
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets (Q1784050) (← links)
- Diagnosability of repairable faults (Q1788687) (← links)
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation (Q1788691) (← links)
- Faults prognosis using partially observed stochastic Petri nets: an incremental approach (Q1788693) (← links)
- Implementation of inference-based diagnosis: computing delay bound and ambiguity levels (Q1788696) (← links)
- Detectability of networked discrete event systems (Q1790664) (← links)
- Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach (Q1797058) (← links)
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083) (← links)
- Process algebras for systems diagnosis. (Q1852861) (← 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)
- Model identification of unobservable behavior of discrete event systems using Petri nets (Q1999265) (← links)
- State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches (Q2058490) (← links)
- A semantic model for interacting cyber-physical systems (Q2079682) (← links)
- Diagnosability verification using LTL model checking (Q2081084) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization (Q2103666) (← links)
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems (Q2109177) (← links)
- Fault diagnosis for a class of nonlinear uncertain hybrid systems (Q2123387) (← links)
- \(K\)-loss robust codiagnosability of discrete-event systems (Q2125509) (← links)
- On controlled mode discernibility for nonlinear hybrid systems with unknown exogenous input (Q2151843) (← links)
- Diagnosability of fair transition systems (Q2152493) (← links)
- Robust predictability of stochastic discrete-event systems and a polynomial-time verification (Q2165974) (← links)
- Approximate predictability of pseudo-metric systems (Q2178224) (← links)
- Arborescent architecture for decentralized diagnosis of discrete event systems (Q2197584) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- Modeling for supervisor synthesis -- a lock-bridge combination case study (Q2197591) (← links)
