scientific article; zbMATH DE number 781092
From MaRDI portal
Publication:4840936
Cited in
(32)- Dynamic control with indistinguishable events
- A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants
- Hybrid life-extending control of mechanical systems: Experimental validation of the concept
- Implementation of inference-based diagnosis: computing delay bound and ambiguity levels
- Supervisor synthesis of POMDP via automata learning
- A discrete event systems approach to network fault management: detection and diagnosis of faults
- A language measure for performance evaluation of discrete-event supervisory control systems
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- Extremal solutions of inequations over lattices with applications to supervisory control
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Control of parameterized discrete event systems
- Games for synthesis of controllers with partial observation.
- Controller synthesis for bisimulation equivalence
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- Branching time controllers for discrete event systems
- Matrix approach to I-detectability of partially observed discrete event systems
- Parallel dynamical systems over directed dependency graphs
- On the supervisory control of multi-agent product systems: controllability properties
- Parallel dynamical systems over graphs and related topics: a survey
- Formulae relating controllability, observability, and co-observability
- Supervisory control of discrete event systems
- Optimal supervisory control of discrete event systems: cyclicity and interleaving of tasks
- A modified normality condition for decentralized supervisory control of discrete event systems
- Incremental model evolution and reusability of supervisors for discrete event systems
- Modal specifications for the control theory of discrete event systems
- Privacy preserving minimal observability for composite transactional services
- Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions
- Supervisory control and reactive synthesis: a comparative introduction
- Elements of a theory of computer simulation. I
- Synthesis of insertion functions for enforcement of opacity security properties
- The relationship of controllability between classical and fuzzy discrete-event systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4840936)
