Supervisor Localization of Discrete-Event Systems Based on State Tree Structures

DOI10.1109/TAC.2013.2289033MaRDI QIDQ2983179zbMATH OpenFDO

Authors Kai Cai, W. Murray Wonham

Publication date 16 May 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1306.5441

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Abstract: Recently we developed supervisor localization, a top-down approach to distributed control of discrete-event systems in the Ramadge-Wonham supervisory control framework. Its essence is the decomposition of monolithic (global) control action into local control strategies for the individual agents. In this paper, we establish a counterpart supervisor localization theory in the framework of State Tree Structures, known to be efficient for control design of very large systems. In the new framework, we introduce the new concepts of local state tracker, local control function, and state-based local-global control equivalence. As before, we prove that the collective localized control behavior is identical to the monolithic optimal (i.e. maximally permissive) and nonblocking controlled behavior. In addition, we propose a new and more efficient localization algorithm which exploits BDD computation. Finally we demonstrate our localization approach on a model for a complex semiconductor manufacturing system.

Cited in

(2)

• Correctability of fault-tolerant stochastic discrete-event systems
• A new algorithm for supervisor reduction/localisation of discrete-event systems

This page was built for publication: Supervisor Localization of Discrete-Event Systems Based on State Tree Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2983179)