Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
arxiv(2024)
摘要
This paper concerns the risk-aware control of stochastic systems with
temporal logic specifications dynamically assigned during runtime. Conventional
risk-aware control typically assumes that all specifications are predefined and
remain unchanged during runtime. In this paper, we propose a novel, provably
correct model predictive control scheme for linear systems with additive
unbounded stochastic disturbances that dynamically evaluates the feasibility of
runtime signal temporal logic specifications and automatically reschedules the
control inputs accordingly. The control method guarantees the probabilistic
satisfaction of newly accepted specifications without sacrificing the
satisfaction of the previously accepted ones. The proposed control method is
validated by a robotic motion planning case study.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要