2 papers
eess.SY2024
Robust Model Predictive Control for nonlinear discrete-time systems using iterative time-varying constraint tightening
Daniel D. Leister, Justin P. Koeln
Robust Model Predictive Control (MPC) for nonlinear systems is a problem that poses significant challenges as highlighted by the diversity of approaches proposed in the last decade…
cs.LG2023
Hybrid Zonotopes Exactly Represent ReLU Neural Networks
Joshua Ortiz, Alyssa Vellucci, Justin Koeln +1
We show that hybrid zonotopes offer an equivalent representation of feed-forward fully connected neural networks with ReLU activation functions. Our approach demonstrates that the…