Supervisor Localization for Large-Scale Discrete-Event Systems under Partial Observation

TL;DR

This paper extends partial-observation supervisor localization to large-scale discrete-event systems by employing a heterarchical synthesis approach, enabling systematic distributed control under partial observation, demonstrated on an AGV system.

Contribution

It introduces a systematic method for localizing supervisors in large-scale DES under partial observation using heterarchical synthesis.

Findings

Efficient heterarchical supervisor synthesis for large-scale DES.

Successful localization of supervisors into local controllers.

Application to an automatic guided vehicle system.

Abstract

Recently we developed partial-observation supervisor localization, a top-down approach to distributed control of discrete-event systems (DES) under partial observation. Its essence is the decomposition of the partial-observation monolithic supervisor into partial-observation local controllers for individual controllable events. In this paper we extend the partial-observation supervisor localization to large-scale DES, for which the monolithic supervisor may be incomputable. Specifically, we first employ an efficient heterarchical supervisor synthesis procedure to compute a heterarchical array of partial-observation decentralized supervisors and partial-observation coordinators. Then we localize each of these supervisors/coordinators into partial-observation local controllers. This procedure suggests a systematic approach to the distributed control of large-scale DES under partial observation. The results are illustrated by a system of automatic guided vehicles (AGV) serving a manufacturing workcell.