Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems

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

zbMATH Keywords

supervisory controlthroughput-optimal controlleruncontrollable behaviour

Mathematics Subject Classification ID

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

• UMDES
• UPPAAL TIGA

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