11 citations · 11 across the 2 of their papers we have counts for
2 papers
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.SY2024★ 11 cited
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…