文章基本信息

标题：Abstraction refinement and plan revision for control synthesis under high level specifications
本地全文：下载
作者：Pierre-Jean Meyer ; Dimos V. Dimarogonas
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2017
卷号：50
期号：1
页码：9254-9259
DOI：10.1016/j.ifacol.2017.08.1292
语种：English
出版社：Elsevier
摘要：AbstractThis paper presents a novel framework combining abstraction refinement and plan revision for control synthesis problems under temporal logic specifications. The control problem is first solved on a simpler nominal model in order to obtain a satisfying plan to be followed by the real system. A controller synthesis is then attempted for an abstraction of the real system to follow this plan. Upon failure of this synthesis, cost functions are defined to guide towards either refining the initially coarse partition to obtain a finer abstraction, or looking for an alternative plan using the nominal model as above. This tentative synthesis is then repeated until a plan and an abstraction of the real system able to follow this plan are found. The obtained controller also ensures that the real system satisfies the initial specification.
关键词：KeywordsReachability analysisverificationabstraction of hybrid systemsAbstraction refinementPlan revisionHybrid systems