Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics (2402.03165v3)
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.
- Stochastic optimal control: the discrete-time case, volume 5. Athena Scientific.
- Boole, G. (1847). The mathematical analysis of logic. Philosophical Library.
- Dynamic task classification and assignment for the management of human-robot collaborative teams in workcells. The International Journal of Advanced Manufacturing Technology, 98, 2415–2427.
- Multivariate unimodality. The Annals of Statistics, 607–613.
- Robust satisfaction of temporal logic over real-valued signals. In International Conference on Formal Modeling and Analysis of Timed Systems, 92–106. Springer.
- Stochastic model predictive control with dynamic chance constraints. In 27th ICSTCC, 356–361.
- Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances. IEEE TAC, 64(8), 3324–3331.
- Robust model predictive control for signal temporal logic synthesis. IFAC-PapersOnLine, 48(27), 323–328.
- Stochastic linear model predictive control with chance constraints. Journal of Process Control, 44, 53–67.
- Stochastic model predictive control for linear systems using probabilistic reachable sets. In 2018 IEEE CDC, 5182–5188.
- Mixed-integer programming for signal temporal logic with fewer binary variables. IEEE Control Systems Letters, 6, 2635–2640.
- Monitoring temporal properties of continuous signals. In International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 152–166.
- Stochastic predictive freeway ramp metering from signal temporal logic specifications. In 2017 American Control Conference, 4884–4889. IEEE.
- Probabilistic risk assessment for chance-constrained collision avoidance in uncertain dynamic environments. arXiv preprint arXiv:2302.10846.
- Model predictive control with signal temporal logic specifications. In 53rd IEEE CDC, 81–87. IEEE.
- Reactive synthesis from signal temporal logic specifications. In Proceedings of the 18th international conference HSCC, 239–248.
- Safe control under uncertainty with probabilistic signal temporal logic. In Proceedings of Robotics: Science and Systems XII.
- Robust temporal logic model predictive control. In 2015 53rd Annual Allerton Conference on Communication, Control, and Computing, 772–779. IEEE.
- Formal synthesis of control strategies for positive monotone systems. IEEE Transactions on Automatic Control, 64(2), 480–495.
- A neural network approach to dynamic task assignment of multirobots. IEEE transactions on neural networks, 17(5), 1278–1287.