文章基本信息

标题：Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration ⁎
本地全文：下载
作者：Elena Ivanova ; Antoine Girard
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2021
卷号：54
期号：5
页码：109-114
DOI：10.1016/j.ifacol.2021.08.483
语种：English
出版社：Elsevier
摘要：AbstractIn this paper, we present an abstraction-based approach to robust safety controller synthesis for continuous-time nonlinear systems. To reduce the computational complexity associated with symbolic control approaches, we develop a lazy controller synthesis algorithm, which iteratively explores states on the boundary of controllable domain while avoiding exploration of internal states, supposing that they are safely controllable a priory. A closed-loop safety controller for the original problem is then defined as follows: we use the abstract controller to push the system from a boundary state back towards the interior, while for inner states, any admissible input is valid. We then compare the proposed approach with the classical safety synthesis algorithm and illustrate the advantages, in terms of run-time and memory efficiency, on an adaptive cruise control problem.
关键词：KeywordsSafety specificationsLazy controller synthesisSymbolic control