Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems

One of the challenges in the design of supervisors with optimal throughput for manufacturing systems is the presence of behavior outside the control of the supervisor. Uncontrollable behavior is typically encountered in the presence of (user) inputs, external disturbances, and exceptional behavior....

Full description

Saved in:
Bibliographic Details
Published in:Discrete event dynamic systems 2021-03, Vol.31 (1), p.103-135
Main Authors: van Putten, Berend Jan Christiaan, van der Sanden, Bram, Reniers, Michel, Voeten, Jeroen, Schiffelers, Ramon
Format: Article
Language:English
Subjects:
Control
Convex and Discrete Geometry
Electrical Engineering
Game theory
Graph theory
Lower bounds
Machines
Manufacturing
Mathematics
Mathematics and Statistics
Operations Research/Decision Theory
Optimization
Processes
Robust control
Stability
Supervisors
Synthesis
Systems Theory
Topical Collection on Smart Manufacturing -A New DES Frontier
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:One of the challenges in the design of supervisors with optimal throughput for manufacturing systems is the presence of behavior outside the control of the supervisor. Uncontrollable behavior is typically encountered in the presence of (user) inputs, external disturbances, and exceptional behavior. This paper introduces an approach for the modeling and synthesis of a throughput-optimal supervisor for manufacturing systems with partially-controllable behavior on two abstraction levels. Extended finite automata are used to model the high abstraction level in terms of system activities, where uncontrollability is modeled by the presence of uncontrollable activities. In the lower abstraction level, activities are modeled as directed acyclic graphs that define the constituent actions and dependencies between them. System feedback from the lower abstraction level, including timing, is captured using variables in the extended finite automata of the higher abstraction level. For throughput optimization, game-theoretic methods are employed on the state space of the synthesized supervisor to determine a guarantee to the lower-bound system performance. This result is also used in a new method to automatically compute a throughput-optimal controller that is robust to the uncontrollable behavior.
ISSN:0924-6703
1573-7594
DOI:10.1007/s10626-020-00325-x