Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
From MaRDI portal
Publication:2058495
DOI10.1007/s10626-020-00325-xzbMath1478.93190OpenAlexW3096681988MaRDI QIDQ2058495
Berend Jan Christiaan van Putten, Ramon Schiffelers, Bram van der Sanden, Michel Reniers, J. P. M. Voeten
Publication date: 9 December 2021
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-020-00325-x
Controllability (93B05) Applications of optimal control and differential games (49N90) Applications of game theory (91A80) Synthesis problems (93B50)
Related Items (2)
Hierarchical planning in a supervisory control context with compositional abstraction ⋮ Modeling and analysis of switching max-plus linear systems with discrete-event feedback
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A framework for compositional nonblocking verification of extended finite-state machines
- Faster algorithms for mean-payoff games
- Supervisory control and reactive synthesis: a comparative introduction
- Synthesizing robust systems
- Scheduling with timed automata
- Reactive synthesis from signal temporal logic specifications
- Introduction to Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Supervisory Control Architecture for Discrete-Event Systems
- Optimal Nonblocking Directed Control of Discrete Event Systems
- On the consistency of hierarchical supervision in discrete-event systems
- As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty
- The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
This page was built for publication: Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
