文章基本信息

标题：Supervisor Localization of Discrete-Event Systems with Infinite Behavior ⁎
本地全文：下载
作者：Renyuan Zhang ; Kai Cai
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：7
页码：361-366
DOI：10.1016/j.ifacol.2018.06.326
语种：English
出版社：Elsevier
摘要：AbstractRecently we developedsupervisor localization,a top-down approach to distributed control of discrete-event systems (DES) withfinitebehavior. Its essence is the allocation of monolithic (global) control action among individual (local) control strategies of component agents. In this paper, we extend supervisor localization to study distributed control of DES withinfinitebehavior, in order to address specifications of the ‘eventuality’ or ‘liveness’ type. Specifically, we first employ Thistle and Wonham’s supervisory control theory for DES with infinite behavior to compute asafetysupervisor (enforcing desired finite behavior) and alivenesssupervisor (enforcing desired infinite behavior), and then design a suitable localization procedure to decompose the obtained supervisors respectively into local safety and liveness controllers. We prove that the derived local safety/liveness controllers collectively achieve the same controlled behavior as the monolithic supervisors do.