文章基本信息

标题：Local Refinement of l-complete Approximations for Supervisory Control of Hybrid Systems ⁎
本地全文：下载
作者：Jung–Min Yang ; Thomas Moor ; Jörg Raisch 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：7
页码：472-479
DOI：10.1016/j.ifacol.2018.06.342
语种：English
出版社：Elsevier
摘要：Abstractl-complete approximation is a discrete abstraction method for a specific class of hybrid control problems involving purely discrete specifications. It allows for global refinement if the subsequent synthesis of supervisory control should fail for the currently selected abstraction level. In this paper, we present a methodology of local refinement forl-complete approximations. If the strongestl-complete approximation of a given hybrid system does not guarantee the existence of a suitable supervisor for a given specification, the proposed scheme refines the abstract model only in a local set of states that violate a controllability condition. Compared to the standard unfocused and global refinement procedure, this may significantly reduce the computational burden both in the abstraction step and the subsequent controller synthesis step.
关键词：KeywordsHybrid systemsl-complete approximationslocal refinementdiscrete event systemssupervisory control