Symbolic Scheduling of Robotic Cellular Manufacturing Systems With Timed Petri Nets

Document Type

Article

Publication Date

9-1-2022

Abstract

To reduce the computational burden in the scheduling of robotic cellular manufacturing (RCM) systems based on Petri nets' (PNs) reachability graphs, existing methods mainly focus on the relaxation of a graph search algorithm at the cost of schedule optimality. Different from that, this article presents a method that accelerates the search process by using symbolic representations and manipulations. The proposed method uses binary decision diagrams (BDDs) to functionally represent and evolve discrete and place-timed PNs of RCM systems and then schedule them with a symbolic A∗ search to find an optimal solution with minimal makespan. It uses compact BDD structures to represent sets of states, instead of individual states, and then performs efficient Boolean manipulations to evolve the net and search for a system schedule. A heuristic function and its Boolean implementations for the symbolic A∗ search are developed. The admissibility of the proposed heuristic function is proven, which guarantees the optimality of the obtained schedule. The computational time is thus reduced without sacrificing the schedule optimality. Finally, experiments are carried out to show the effectiveness and efficiency of the presented method.

Identifier

85122562057 (Scopus)

Publication Title

IEEE Transactions on Control Systems Technology

External Full Text Location

https://doi.org/10.1109/TCST.2021.3123963

e-ISSN

15580865

ISSN

10636536

First Page

1876

Last Page

1887

Issue

5

Volume

30

Grant

61773206

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS