Featured Dataverses

In order to use this feature you must have at least one published or linked dataverse.

Publish Dataverse

Are you sure you want to publish your dataverse? Once you do so it must remain published.

Publish Dataverse

This dataverse cannot be published because the dataverse it is in has not been published.

Delete Dataverse

Are you sure you want to delete your dataverse? You cannot undelete this dataverse.

Advanced Search

31 to 40 of 60 Results
SOS-Verify-Manifold-Spacecraft.zip
Apr 21, 2026 - Supplementary Material for Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control
ZIP Archive - 337.8 KB - MD5: 343f0c3d6667473a8b9393176597708e
Source Code to run example 1 and 2. Repository: github.com/iFR-OFC/SOS-Verify-Manifold-Spacecraft
00_ROA.zip
Apr 14, 2026 - Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems
ZIP Archive - 8.6 MB - MD5: b4a11a56db952b92f9921b8f4064b0b9
Contains the F18/A and robot arm ROA benchmark.
01_Control_design.zip
Apr 14, 2026 - Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems
ZIP Archive - 771.9 KB - MD5: 11b5168aababeca1f53d9b8c75d6dfdd
Contains the benchmarks for control design.
02_Reachability.zip
Apr 14, 2026 - Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems
ZIP Archive - 1.0 MB - MD5: 19e2d392cfb69261afbe3ec88e449e41
Contains the benchmarks for reachability analysis.
03_CBF_CLF.zip
Apr 14, 2026 - Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems
ZIP Archive - 193.5 KB - MD5: 5f61f352f3c4cf86e275a027c590d263
Contains the timing analysis of the proposed sequential SOS algorithm using a compatible CBF/CLF pair synthesis.
casos.zip
Apr 14, 2026 - Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems
ZIP Archive - 231.8 KB - MD5: d266763db93359b6c64d31806c16e342
Copy of the CaSoS toolbox v1.0.
constraintViolationCheck_comparison.m
Apr 14, 2026 - Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems
MATLAB Source Code - 4.8 KB - MD5: ad5b395a8c7bd004871a1cfa5e292f63
Script to reprocude the different constraint violation check methods from Section 4.2 in the paper
Implementation_Details_Sequential_SOS.pdf
Apr 14, 2026 - Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems
Adobe PDF - 208.2 KB - MD5: 3c061201f52280188e61a976466fd567
Provides more details on the implementation in Matlab and the CaSoS toolbox.
LICENSE
Apr 14, 2026 - Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems
Plain Text - 35.0 KB - MD5: e62637ea8a114355b985fd86c9ffbd6e
README.md
Apr 14, 2026 - Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems
Markdown Text - 4.2 KB - MD5: d74b2d05c067f601b0c21b30231e7dc3
Add Data

Log in to create a dataverse or add a dataset.

Log In
Share Dataverse

Share this dataverse on your favorite social media networks.

Link Dataverse
Reset Modifications

Are you sure you want to reset the selected metadata fields? If you do this, any customizations (hidden, required, optional) you have done will no longer appear.