Jan. 2018: Our paper titled “AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems” is accepted to appear in the Proceedings of Hybrid Systems: Computation and Control (HSCC) 2020.
Jan. 2018: Our paper titled “AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems” is accepted to appear in the Proceedings of Hybrid Systems: Computation and Control (HSCC) 2020.