文章基本信息

标题：Robust Model Predictive Control for Signal Temporal Logic Synthesis
本地全文：下载
作者：Samira S. Farahani ; Vasumathi Raman ; Richard M. Murray 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2015
卷号：48
期号：27
页码：323-328
DOI：10.1016/j.ifacol.2015.11.195
语种：English
出版社：Elsevier
摘要：AbstractMost automated systems operate in uncertain or adversarial conditions, and have to be capable of reliably reacting to changes in the environment. The focus of this paper is on automatically synthesizing reactive controllers for cyber-physical systems subject to signal temporal logic (STL) specifications. We build on recent work that encodes STL specifications as mixed integer linear constraints on the variables of a discrete-time model of the system and environment dynamics. To obtain a reactive controller, we present solutions to the worst-case model predictive control (MPC) problem using a suite of mixed integer linear programming techniques. We demonstrate the comparative effectiveness of several existing worst-case MPC techniques, when applied to the problem of control subject to temporal logic specifications; our empirical results emphasize the need to develop specialized solutions for this domain.
关键词：KeywordsHybrid systemsmodel predictive controluncertain systemsrobust optimizationsignal temporal logic