scientific article; zbMATH DE number 781092
From MaRDI portal
Publication:4840936
zbMath0875.68980MaRDI QIDQ4840936
Publication date: 1 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (31)
\(k\)-memory-embedded insertion mechanism for opacity enforcement ⋮ Control of parameterized discrete event systems ⋮ On the supervisory control of multi-agent product systems: controllability properties ⋮ Supervisory control of discrete event systems ⋮ Supervisor synthesis of POMDP via automata learning ⋮ Formulae relating controllability, observability, and co-observability ⋮ Modal specifications for the control theory of discrete event systems ⋮ Games for synthesis of controllers with partial observation. ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Robust nonblocking supervisory control of discrete-event systems under partial observation ⋮ Hybrid life-extending control of mechanical systems: Experimental validation of the concept ⋮ Synthesis of insertion functions for enforcement of opacity security properties ⋮ Incremental model evolution and reusability of supervisors for discrete event systems ⋮ Parallel dynamical systems over directed dependency graphs ⋮ Privacy preserving minimal observability for composite transactional services ⋮ Extremal solutions of inequations over lattices with applications to supervisory control ⋮ Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions ⋮ The relationship of controllability between classical and fuzzy discrete-event systems ⋮ A discrete event systems approach to network fault management: detection and diagnosis of faults ⋮ Dynamic control with indistinguishable events ⋮ A language measure for performance evaluation of discrete-event supervisory control systems ⋮ A modified normality condition for decentralized supervisory control of discrete event systems ⋮ Branching time controllers for discrete event systems ⋮ Implementation of inference-based diagnosis: computing delay bound and ambiguity levels ⋮ Controller synthesis for bisimulation equivalence ⋮ Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface ⋮ Elements of a theory of computer simulation. I ⋮ Parallel dynamical systems over graphs and related topics: a survey ⋮ Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks ⋮ A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants
This page was built for publication:
