Resource Allocation Systems: Concepts and Problems.- Logical Control of Disjunctive / Conjunctive Resource Allocation Systems.- Sequential RAS Admitting Optimal Nonblocking Supervision of Polynomial Complexity.- Polynomial-Kernel Nonblocking Supervisory Control Policies for Single-Unit RAS.- Logical Control of RAS with Complex Process Flows.- Performance-Oriented Modelling and Control of Logically Controlled RAS.- Epilogue.
Real-Time Management of Resource Allocation Systems focuses on the problem of managing the resource allocation taking place within the operational context of many contemporary technological applications, including flexibly automated production systems, automated railway and/or monorail transportation systems, electronic workflow management systems, and business transaction supporting systems. A distinct trait of all these applications is that they limit the role of the human element to remote high-level supervision, while placing the burden of the real-time monitoring and coordination of the ongoing activity upon a computerized control system. Hence, any applicable control paradigm must address not only the issues of throughput maximization, work-in-process inventory reduction, and delay and cost minimization, that have been the typical concerns for past studies on resource allocation, but it must also guarantee the operational correctness and the behavioral consistency of the underlying automated system. The resulting problem is rather novel for the developers of these systems, since, in the past, many of its facets were left to the jurisdiction of the present human intelligence. It is also complex, due to the high levels of choice - otherwise known as flexibility - inherent in the operation of these environments.
Focuses on the problems of managing resource allocation in modern business settings, including flexibly automated production systems, automated railway and monorail transportation systems, electronic workflow management systems
Emphasizes the operational correctness and behavioral consistency of automated systems supervised remotely by humans and operated by machines
Solutions must not only typical savings criteria, but also the behavior of the underlying management system
Outlines and explains these research developments and their implementation in a complete control framework