Pages that link to "Item:Q4852346"

The following pages link to Diagnosability of discrete-event systems (Q4852346):

Displaying 50 items.

• Selective monitoring (Q2221805) (← links)
• Centralized modular diagnosis and the phenomenon of coupling (Q2256880) (← links)
• Diagnosability analysis of hybrid systems cast in a discrete-event framework (Q2256889) (← links)
• A representation for coordination fault detection in large-scale multi-agent systems (Q2268916) (← links)
• A tale of two diagnoses in probabilistic systems (Q2280320) (← links)
• State estimation of max-plus automata with unobservable events (Q2280664) (← links)
• Discrete event system identification with the aim of fault detection (Q2286331) (← links)
• Observable liveness of Petri nets (Q2340254) (← links)
• Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371) (← links)
• Verification of opacity and diagnosability for pushdown systems (Q2375627) (← links)
• A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization (Q2377373) (← links)
• Verification of robust diagnosability for partially observed discrete event systems (Q2391506) (← links)
• Fault prognosis of timed stochastic discrete event systems with bounded estimation error (Q2409123) (← links)
• Observability and diagnosability of finite state systems: a unifying framework (Q2409221) (← links)
• Online minimization of sensor activation for supervisory control (Q2409274) (← links)
• Diagnosability of intermittent sensor faults in discrete event systems (Q2409363) (← links)
• Correctability of fault-tolerant stochastic discrete-event systems (Q2410475) (← links)
• Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques (Q2457639) (← links)
• A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks (Q2457674) (← links)
• Some contributions with Petri nets for the modelling, analysis and control of HDS (Q2460399) (← links)
• Active acquisition of information for diagnosis and supervisory control of discrete event systems (Q2465426) (← 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)
• Diagnosability of fuzzy discrete event systems (Q2466085) (← links)
• State observability and condition observability for a class of interacting discrete event systems (Q2489596) (← links)
• Study of the diagnosability of automated production systems based on functional graphs (Q2489617) (← links)
• Safe diagnosability for fault-tolerant supervision of discrete-event systems (Q2576131) (← links)
• Optimal sensor selection for ensuring diagnosability in labeled Petri nets (Q2628671) (← links)
• Minimal diagnosis and diagnosability of discrete-event systems modeled by automata (Q2658452) (← links)
• Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
• A general framework for diagnosis of discrete event systems subject to sensor failures (Q2665161) (← links)
• Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
• Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
• Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach (Q2665691) (← links)
• Decentralized diagnosis of discrete event systems subject to permanent sensor failures (Q2673757) (← links)
• Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
• Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability (Q2682315) (← links)
• Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems (Q2799260) (← links)
• Diagnosability of discrete event systems subject to permanent sensor failures (Q2799301) (← links)
• Abstraction-based verification and synthesis for prognosis of discrete event systems (Q2821258) (← links)
• FDI(R) for satellites: how to deal with high availability and robustness in the space domain? (Q2861922) (← links)
• Fault-tolerant continuous flow systems modelling (Q2974250) (← links)
• Diagnosability Analysis of Discrete Event Systems with Autonomous Components (Q2999115) (← 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)
• Fault-tolerant cooperative tasking for multi-agent systems (Q3119159) (← links)
• Manufacturing system design with optimal diagnosability (Q3159652) (← links)
• Diagnosability of delay-deadline failures in fair real time discrete event models (Q3161644) (← links)
• (Q3462742) (← links)