The following pages link to (Q4840936):
Displaying 31 items.
- Synthesis of insertion functions for enforcement of opacity security properties (Q458746) (← links)
- Privacy preserving minimal observability for composite transactional services (Q481362) (← links)
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions (Q513180) (← links)
- Extremal solutions of inequations over lattices with applications to supervisory control (Q672379) (← links)
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- On the supervisory control of multi-agent product systems: controllability properties (Q864582) (← links)
- Modal specifications for the control theory of discrete event systems (Q884763) (← links)
- The relationship of controllability between classical and fuzzy discrete-event systems (Q955723) (← links)
- Formulae relating controllability, observability, and co-observability (Q1129683) (← links)
- Elements of a theory of computer simulation. I (Q1294327) (← links)
- Games for synthesis of controllers with partial observation. (Q1401346) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- A language measure for performance evaluation of discrete-event supervisory control systems (Q1776697) (← links)
- Implementation of inference-based diagnosis: computing delay bound and ambiguity levels (Q1788696) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Hybrid life-extending control of mechanical systems: Experimental validation of the concept (Q1961187) (← links)
- Incremental model evolution and reusability of supervisors for discrete event systems (Q1962005) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Dynamic control with indistinguishable events (Q2256883) (← links)
- Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata (Q2298809) (← links)
- Parallel dynamical systems over graphs and related topics: a survey (Q2336941) (← links)
- Robust nonblocking supervisory control of discrete-event systems under partial observation (Q2433426) (← links)
- Parallel dynamical systems over directed dependency graphs (Q2449223) (← links)
- Controller synthesis for bisimulation equivalence (Q2519735) (← links)
- Supervisor synthesis of POMDP via automata learning (Q2665148) (← links)
- A discrete event systems approach to network fault management: detection and diagnosis of faults (Q3020152) (← links)
- Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks (Q5254886) (← links)
- A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants (Q5257774) (← links)
- A modified normality condition for decentralized supervisory control of discrete event systems (Q5953553) (← links)
- Branching time controllers for discrete event systems (Q5958466) (← links)
