-
Supplementary Material for Sum-of-Squares Stability Verification on Manifolds...
This repository contains the supplementary MATLAB code for the paper "Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control,"... -
Supplementary Material for: Safe-by-Design Approximate Nonlinear Model Predic...
This repository contains supplementary material for the paper "Safe-by-Design Approximate Nonlinear Model Predictive Control with Realtime Feasibility" submitted to IEEE... -
A Data Set for Research on Differential-Drive Mobile Robots in the Context of...
General This dataset contains real-world measurement data for data-based modeling of a differential-drive robot. The dataset is especially tailored for data-based modeling... -
A Data Set for Research on Differential-Drive Mobile Robots in the Context of...
General This dataset contains real-world measurement data for data-based modeling of a differential-drive robot. The dataset is especially tailored for data-based modeling...
