Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supervisory Control and Scheduling of Resource Allocation Systems : Reachability Graph Perspective, Hardback Book

Supervisory Control and Scheduling of Resource Allocation Systems : Reachability Graph Perspective Hardback

Part of the IEEE Press Series on Systems Science and Engineering series

Hardback

Description

Presents strategies with reachability graph analysis for optimizing resource allocation systems Supervisory Control and Scheduling of Resource Allocation Systems offers an important guide to Petri net (PN) models and methods for supervisory control and system scheduling of resource allocation systems (RASs).

Resource allocation systems are common in automated manufacturing systems, project management systems, cloud data centers, and software engineering systems.

The authors-two experts on the topic-present a definition, techniques, models, and state-of-the art applications of supervisory control and scheduling problems. The book introduces the basic concepts and research background on resource allocation systems and Petri nets.

The authors then focus on the deadlock-free supervisor synthesis for RASs using Petri nets.

The book also investigates the heuristic scheduling of RASs based on timed Petri nets.

Conclusions and open problems are provided in the last section of the book. This important book: Includes multiple methods for supervisory control and scheduling with reachability graphs, and provides illustrative examplesReveals how to accelerate the supervisory controller design and system scheduling of RASs based on PN reachability graphs, with optimal or near-optimal resultsHighlights both solution quality and computational speed in RAS deadlock handling and system scheduling Written for researchers, engineers, scientists, and professionals in system planning and control, engineering, operation, and management, Supervisory Control and Scheduling of Resource Allocation Systems provides an essential guide to the supervisory control and scheduling of resource allocation systems (RASs) using Petri net reachability graphs, which allow for multiple resource acquisitions and flexible routings.

Information

Other Formats

Information