scientific article; zbMATH DE number 1836359
From MaRDI portal
Recommendations
Cited in
(30)- Multitasking supervisory control of discrete-event systems
- Modular supervisory control and coordination of state tree structures
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- scientific article; zbMATH DE number 2150202 (Why is no real title available?)
- Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
- PSPACE-completeness of modular supervisory control problems
- Design of nonblocking modular supervisors using event priority functions
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
- Compositional verification in supervisory control
- Modular supervisory control of fuzzy discrete event systems
- Designing communicating transaction processes by supervisory control theory
- scientific article; zbMATH DE number 3959244 (Why is no real title available?)
- On Tractable Instances of Modular Supervisory Control
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
- On scalable supervisory control of multi-agent discrete-event systems
- Supervisor direct synthesis method for a structured discrete dynamical system
- Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method
- Compositional coordinator synthesis of extended finite automata
- Control of parameterized discrete event systems
- Control of discrete-event systems with modular or distributed structure
- Supervisory control of product and hierarchical discrete event systems
- Optimal modular control of discrete event systems with distinguishers and approximations
- Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
- Multi-level hierarchical interface-based supervisory control
- Modular supervisory control of discrete-event systems
- Control of Modular and Distributed Discrete-Event Systems
- A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems
- Incremental hierarchical construction of modular supervisors for discrete-event systems
- An efficient modular method for the control of concurrent discrete event systems: A language-based approach
- On-line compositional controller synthesis for AGV
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 Q4782029)
