Supervisor localization of discrete-event systems under partial observation

Abstract

Recently we developed supervisor localization, a top-down approach to distributed control of discreteevent systems. Its essence is the allocation of monolithic (global) control action among the local control strategies of individual agents. In this paper, we extend supervisor localization by considering partial observation; namely not all events are observable. Specifically, we employ the recently proposed concept of relative observability to compute a partial-observation monolithic supervisor, and then design a suitable localization procedure to decompose the supervisor into a set of local controllers. In the resulting local controllers, only observable events can cause state change. Further, to deal with large-scale systems, we combine the partial-observation supervisor localization with an efficient architectural synthesis approach: first compute a heterarchical array of partial-observation decentralized supervisors and coordinators, and then localize each of these supervisors/coordinators into local controllers.

Supervisor Localization of Discrete-Event Systems with Infinite Behavior

“…Similar to Lemma 2 in [6], it is easily verified that LOC ω α,n constructed above is a liveness local controller for α, i.e. condition (18) holds for all s ∈ C n .…”

“…SF f * ∧f ω has the same transition structure with SUP ω , as displayed in Fig. 11, and the Büchi acceptance criterion accepting the language S(SF f * ∧f ω ) is B X ω = {1, 2, 3,4,5,6,7,8,9,10,15,16,23, 29, 30}. The Fig.…”

“…In [1][2][3][4][5][6] we developed a top-down approach, called supervisor localization, to the distributed control of multi-agent discrete-event systems (DES). This approach first synthesizes a monolithic supervisor (or a heterarchical array of modular supervisors), and then decomposes the supervisor into a set of local controllers for the component agents.…”

Supervisor localization of timed discrete-event systems under partial observation

“…We solve the Partial-Observation Supervisor Localization Problem of TDES by developing a partialobservation localization procedure for the preemptive and disabling action, respectively. The procedure extends the untimed counterpart in [6]. In particular, localizing the preemption of event tick with respect to each forcible event under partial observation is novel in the current TDES setup, for which we introduce below the concept of "partial-observation preemption cover".…”

Localization of DES Supervisory Control with Respect to Each Controllable Event

“…However, the control authority of a local controller is strictly local; the observation scope of each local controller is systematically determined in order to guarantee the correct local control action.This procedure cannot guarantee event reduction in each local controller comparing to the reduced supervisor. This procedure has been extended in [12], for localizing the supervisory control under partial observation and using relative observability property [13]. Some applications of supervisor localization can be found in [14].…”