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