文章基本信息

标题：Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings ⁎
本地全文：下载
作者：Oscar Lindvall Bulancea ; Petter Nilsson ; Necmiye Ozay 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：16
页码：19-24
DOI：10.1016/j.ifacol.2018.08.004
语种：English
出版社：Elsevier
摘要：AbstractThis paper presents a control synthesis algorithm for dynamical systems to satisfy specifications given in a fragment of linear temporal logic. It is based on an abstraction-refinement scheme with nonuniform partitions of the state space. A novel encoding of the resulting transition system is proposed that uses binary decision diagrams for efficiency. We discuss several factors affecting scalability and present some benchmark results demonstrating the effectiveness of the new encodings. These ideas are also being implemented on a publicly available prototype tool, ARCS, that we briefly introduce in the paper.
关键词：KeywordsControl synthesisabstraction-refinement