This repository contains supplementary material for the paper "Safe-by-Design Approximate Nonlinear Model Predictive Control with Realtime Feasibility" submitted to IEEE Transactions on Automatic Control. It contains additional information regarding the implementation and the MATLAB source code to generate the numerical results. See the README file for more information on how to use the source code and the provided data.
Important information:
The TAC-Inf-MPC.zip is a copy of the GitHub repository TAC25-Inf-MPC.
The usage of the .zip version is similar to the github version, with the difference that the CaSoS submodule is already available as a copy. This version was used to generate the results in the paper, together with the data provided in this dataverse.
For the latest version, e.g., from CaSoS or to get updates, we recommended to use the GitHub version.