Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics

2024/02/05 by Engelaar, Maico H. W., Zhang, Zengjie, Lazar, Mircea +1
#FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering

paper · doi:10.48550/arxiv.2402.03165

Abstract

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.

Related

• A Framework for Time-Consistent, Risk-Sensitive Model Predictive Control: Theory and Algorithms
• Shrinking Horizon Model Predictive Control with Signal Temporal Logic\n Constraints under Stochastic Disturbances
• A Framework for Time-Consistent, Risk-Averse Model Predictive Control:\n Theory and Algorithms
• Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems
• Stochastic Model Predictive Control using Initial State Optimization