文章基本信息

标题：Decentralized Supervision and Coordination of Concurrent Discrete Event Systems under LTL Constraints ⁎
本地全文：下载
作者：Ami Sakakibara ; Toshimitsu Ushio
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：7
页码：7-12
DOI：10.1016/j.ifacol.2018.06.271
语种：English
出版社：Elsevier
摘要：AbstractIn this paper, we consider a control problem of a concurrent discrete event system modeled by a Mealy automaton, where several subsystems are partially synchronized via shared events. We impose to the system local and global constraints described by linear temporal logic formulas. We propose hierarchical control architecture consisting of local supervisors and a coordinator. By a game-based approach, we synthesize a controller that guarantees the specifications of both levels.
关键词：KeywordsMealy automatahierarchical controlreductionlinear temporal logicRabin games