Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems

DOI10.1007/S10626-020-00325-XMaRDI QIDQ2058495zbMATH OpenOpenAlexFDO

Authors Berend Jan Christiaan van Putten, Bram van der Sanden, Ramon Schiffelers, Michel A. Reniers, J. P. M. Voeten

Publication date 9 December 2021

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

Applications of optimal control and differential games (49N90) Applications of game theory (91A80) Controllability (93B05) Synthesis problems (93B50)

Recommendations

• Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions
• scientific article; zbMATH DE number 1820093
• Maximizing robustness of supervisors for partially observed discrete event systems.
• Supervisory control of (max,+) automata: extensions towards applications
• Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller

Cites work

• A framework for compositional nonblocking verification of extended finite-state machines
• As soon as probable: optimal scheduling under stochastic uncertainty
• Faster algorithms for mean-payoff games
• scientific article; zbMATH DE number 1228291 (Why is no real title available?)
• scientific article; zbMATH DE number 1734138 (Why is no real title available?)
• scientific article; zbMATH DE number 1444727 (Why is no real title available?)
• Introduction to Discrete Event Systems
• On the consistency of hierarchical supervision in discrete-event systems
• Optimal Nonblocking Directed Control of Discrete Event Systems
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Reactive synthesis from signal temporal logic specifications
• Scheduling with timed automata
• Supervisory control and reactive synthesis: a comparative introduction
• Supervisory Control Architecture for Discrete-Event Systems
• Supervisory Control of a Class of Discrete Event Processes
• Synthesizing robust systems
• The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces

Cited in

(5)

• Hierarchical planning in a supervisory control context with compositional abstraction
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
• Modeling and analysis of switching max-plus linear systems with discrete-event feedback
• Offline supervisory control synthesis: taxonomy and recent developments
• Task scheduling using Markov decision process over supervisory control theory

Describes a project that uses

Uses Software

• UPPAAL TIGA
• UMDES

This page was built for publication: Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2058495)