Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
Comparing Parameterizations and Objective Functions for Maximizing the Volume of Zonotopic Invariant Sets
Chenliang Zhou, Heejin Ahn, Ian M. Mitchell
In formal safety verification, many proposed algorithms use parametric set representations and convert the computation of the relevant sets into an optimization problem; consequent…
eess.SY2025
Recursively Feasible Chance-constrained Model Predictive Control under Gaussian Mixture Model Uncertainty
Kai Ren, Colin Chen, Hyeontae Sung +3
We present a chance-constrained model predictive control (MPC) framework under Gaussian mixture model (GMM) uncertainty. Specifically, we consider the uncertainty that arises from…