The following pages link to (Q3602752):
Displaying 28 items.
- Optimal constructions for active diagnosis (Q314815) (← links)
- What topology tells us about diagnosability in partial order semantics (Q351726) (← links)
- Synthesis of opaque systems with static and dynamic masks (Q453510) (← links)
- Privacy preserving minimal observability for composite transactional services (Q481362) (← links)
- Minimal sensor activation and minimal communication in discrete-event systems (Q503031) (← links)
- Computation of minimal diagnosis bases of discrete-event systems using verifiers (Q510094) (← links)
- Computation of minimal event bases that ensure diagnosability (Q692381) (← links)
- Accurate approximate diagnosis of (controllable) stochastic systems (Q832093) (← links)
- Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
- Optimal sensor activation for diagnosing discrete event systems (Q987648) (← links)
- Computing observers from observation policies in discrete-event systems (Q1628789) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Diagnosability of repairable faults (Q1788687) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- Deterministic supervisory control with flexible upper-bounds on observation delay and control delay (Q2165979) (← links)
- A tale of two diagnoses in probabilistic systems (Q2280320) (← links)
- A general approach for optimizing dynamic sensor activation for discrete event systems (Q2280709) (← links)
- Online minimization of sensor activation for supervisory control (Q2409274) (← links)
- A general framework for diagnosis of discrete event systems subject to sensor failures (Q2665161) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
- Dynamic Observers for the Synthesis of Opaque Systems (Q3648711) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- Discrete-Event Systems Fault Diagnosis (Q5237329) (← links)
- Diagnosis of timed patterns for discrete event systems by means of state isolation (Q6110300) (← links)
- Critical observations in model-based diagnosis (Q6566643) (← links)
- An inferencing structure for MPO-based decentralized dynamic fault diagnosis (Q6595157) (← links)
- Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata (Q6614006) (← links)
