Institute of Flight Mechanics and Controls

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.

1 to 10 of 60 Results

casos-dev.zip Aug 31, 2026 - Source code and Numerical Examples for Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty ZIP Archive - 237.5 KB - MD5: 16854611f3d81999cdb5f732716025a5 Contains a copy of the CaΣoS suite adapted to the paper.
LICENSE Aug 31, 2026 - Source code and Numerical Examples for Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty Plain Text - 35.0 KB - MD5: e62637ea8a114355b985fd86c9ffbd6e GNU General Public License v3.0
readme.md Aug 31, 2026 - Source code and Numerical Examples for Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty Markdown Text - 1.0 KB - MD5: 2b0c1ca18ffb9366e40cf8bcd2fc1ca4
worst-case-probability-bounds-code.zip Aug 31, 2026 - Source code and Numerical Examples for Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty ZIP Archive - 417.0 KB - MD5: 20e1ff66821d15542f70c601649be4f8 Contains source code for the paper.
casos-benchmark_ACC25_after_review.zip Aug 14, 2026 - Implementation Details and Source Code for CaΣoS: A Nonlinear Sum-of-Squares Optimization Suite ZIP Archive - 11.1 MB - MD5: 5354eca9b5d3dcc4d9a03108f115f0ba Contains source code for all benchmarks. Reviewer comments are included as best as possible
Supplementary Material.pdf Aug 14, 2026 - Implementation Details and Source Code for CaΣoS: A Nonlinear Sum-of-Squares Optimization Suite Adobe PDF - 320.2 KB - MD5: 05288016b5c670714fe9058295003023 Document that provides additional information regarding on how to use the provided source code and more detailed explanations.
comparison_rateControl.zip Aug 6, 2026 - Supplementary Material for Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility ZIP Archive - 23.2 MB - MD5: d37a86238432831c4b2be0595ef68f27 All files for the comparison.
ISS_AttControl.zip Aug 6, 2026 - Supplementary Material for Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility ZIP Archive - 1.2 MB - MD5: 2af4cb19a7738efde63cd59e18d38a85 All files for the Monte-Carlo analysis.
LICENSE Aug 6, 2026 - Supplementary Material for Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility Plain Text - 35.0 KB - MD5: e62637ea8a114355b985fd86c9ffbd6e
README.md Aug 6, 2026 - Supplementary Material for Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility Markdown Text - 4.8 KB - MD5: 5309aa0bc056fb6886b9c3a731d2a951

casos-dev.zip

Aug 31, 2026 - Source code and Numerical Examples for Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty

ZIP Archive - 237.5 KB -

Contains a copy of the CaΣoS suite adapted to the paper.

LICENSE

Aug 31, 2026 - Source code and Numerical Examples for Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty

Plain Text - 35.0 KB -

GNU General Public License v3.0

readme.md

Aug 31, 2026 - Source code and Numerical Examples for Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty

Markdown Text - 1.0 KB -

worst-case-probability-bounds-code.zip