Coordinating Autonomy © ISTOCKPHOTO.COM/THARRISON Sequential Resource Allocation Systems for Automation By Spyros Reveliotis T he integrating role that is sought by automation in many contemporary applications frequently can be abstracted to the need for pertinent supervision of a function that allocates a finite set of reusable resources to a set of concurrently executing processes. This article formalizes the corresponding supervisory control problem, surveys the major results that are currently available for it, and highlights the remaining open challenges for the corresponding research community. In the process, it also reveals the analytical and computational advantages that can be Digital Object Identifier 10.1109/MRA.2015.2401295 Date of publication: 15 May 2015 1070-9932/15©2015IEEE attained from the reference of the considered problem to some appropriate control-theoretic frameworks and the additional potential that is defined for such an analytic approach by the identification and exploitation of some essential problem features and the special structure that is defined by them. Automation as a Resource-Allocation Function: A Set of Motivating Applications When it comes to automation and its contemporary applications, one of the major challenges facing the modern engineering community is the effective integration of a set of autonomous devices, which are frequently characterized by distinct, heterogeneous behaviors, into a well-behaved and JUNE 2015 * IEEE ROBOTICS & AUTOMATION MAGAZINE * 77http://www.ISTOCKPHOTO.COM/THARRISON