Pages that link to "Item:Q5266796"

The following pages link to Fault diagnosis in discrete-event systems: Framework and model reduction (Q5266796):

Displaying 32 items.

• State estimation and detection of changes in time interval models (Q457197) (← 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)
• Generalized detectability for discrete event systems (Q539906) (← 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)
• Opacity of discrete event systems and its applications (Q716123) (← links)
• On-line monitoring of large Petri net models under partial observation (Q732251) (← links)
• Fault diagnosis for discrete event systems using partially observed Petri nets (Q779501) (← links)
• Diagnosability of discrete event systems with modular structure (Q853677) (← links)
• Hierarchical fault diagnosis for discrete-event systems under global consistency (Q853679) (← links)
• Safe supervisory control under observability failure (Q858154) (← links)
• Fault diagnosis in discrete time hybrid systems -- a case study (Q865902) (← links)
• Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
• Output feedback control of asynchronous sequential machines with disturbance inputs (Q903569) (← links)
• Abstraction-based failure diagnosis for discrete event systems (Q962191) (← links)
• On-line fault detection in discrete event systems by Petri nets and integer linear programming (Q1049168) (← links)
• Design of decentralized critical observers for networks of finite state machines: a formal method approach (Q1678627) (← 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)
• State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248) (← links)
• Detectability verification of probabilistic Boolean networks (Q2056383) (← 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)
• State estimation of max-plus automata with unobservable events (Q2280664) (← 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)
• A discrete event systems approach to network fault management: detection and diagnosis of faults (Q3020152) (← links)
• Diagnosability of delay-deadline failures in fair real time discrete event models (Q3161644) (← links)
• A language-based diagnosis framework for permanent and intermittent faults (Q6175604) (← links)