scientific article; zbMATH DE number 1836359
From MaRDI portal
Publication:4782029
zbMATH Open1051.93066MaRDI QIDQ4782029FDOQ4782029
Authors: Max H. de Queiroz, José E. R. Cury
Publication date: 2000
Title of this publication is not available (Why is that?)
Recommendations
optimalitysynthesislarge-scale systemsdiscrete event systemssupervisory controllocal modelsnon-blockingmodular supervisors
Decentralized systems (93A14) Large-scale systems (93A15) Synthesis problems (93B50) Discrete event control/observation systems (93C65)
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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- On Tractable Instances of Modular Supervisory Control
- Designing communicating transaction processes by supervisory control theory
- 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
- Control of Modular and Distributed Discrete-Event Systems
- Modular supervisory control of 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)