scientific article; zbMATH DE number 744043
From MaRDI portal
Publication:4763560
Recommendations
- scientific article; zbMATH DE number 1086786
- Discrete-event control of nondeterministic systems
- Supervisory Control with Complete Observations
- scientific article; zbMATH DE number 744041
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
Cited in
(14)- A class of non-deterministic specifications for supervisory control
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
- scientific article; zbMATH DE number 434956 (Why is no real title available?)
- Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
- Supervisory control using failure semantics and partial specifications
- scientific article; zbMATH DE number 1086786 (Why is no real title available?)
- Discrete-event control of nondeterministic systems
- Supervisory acceleration of convergence for homogeneous systems
- scientific article; zbMATH DE number 2163146 (Why is no real title available?)
- Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
- Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Branching time controllers for discrete event systems
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
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 Q4763560)
