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 11 Results

Source code and Numerical Examples for Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty Aug 31, 2026 Loureiro, Renato; Cunis, Torbjørn, 2026, "Source code and Numerical Examples for Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty", https://doi.org/10.18419/DARUS-6410, DaRUS, V1 This repository contains the official code implementation for the paper "Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty". It provides all necessary scripts and detailed instructions to reproduce the numerical results, figures, and experiments presented in the paper. Required Tools: CasADi v3.6.7: Download from http...
Implementation Details and Source Code for CaΣoS: A Nonlinear Sum-of-Squares Optimization Suite Aug 14, 2026 Cunis, Torbjørn; Olucak, Jan, 2024, "Implementation Details and Source Code for CaΣoS: A Nonlinear Sum-of-Squares Optimization Suite", https://doi.org/10.18419/DARUS-4499, DaRUS, V2 This dataset contains detailed information, source code, and benchmark tests for the paper "CaΣoS: A nonlinear sum-of-squares optimization suite," published in the proceedings of the 2025 American Control Conference. Please refer to the "supplementary.pdf" for more information.
Supplementary Material for Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility Aug 6, 2026 Olucak, Jan; Cunis, Torbjørn, 2026, "Supplementary Material for Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility", https://doi.org/10.18419/DARUS-5769, DaRUS, V1 This data repository supplements the paper "Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility". It contains additional documentation, derivations and MATLAB source code to reproduce the numerical examples. Requirements and Setup: 1. Download CasADi v3.6.7 and add it to your Matlab path. 2. Download and i...
RAPID Test Dataset May 18, 2026 Ahmad, Aamir; Zábó, András; Nagy, Mate, 2026, "RAPID Test Dataset", https://doi.org/10.18419/DARUS-5958, DaRUS, V1 This dataset contains the database-query splits that were used for analysing the performance of RAPID (RAPID: Real-time Animal Pattern re-Identification on edge Devices, an open-source tool for field deployment). Tests were run on 4 public reID datasets and 2 new datasets published alongside with the RAPID paper. PUBLIC DATASETS (test_benchmarks.zi...
ZebraStereoID May 18, 2026 Ahmad, Aamir; Rubenstein, Daniel I.; Zábó, András, 2026, "ZebraStereoID", https://doi.org/10.18419/DARUS-5957, DaRUS, V1, UNF:6:b20FxJfugNke9s56lwPB6g== [fileUNF] ZebraStereoID dataset contains video recordings of 2 groups of zebras. Both groups were recorded by 2 drones simultaneously (from opposing viewpoints), resulting in 4 videos in total. The groups consisted of 2 and 7 zebras, and were observed on different days. The dataset consists of: 1) 4 videos, 30 FPS (1_videos.zip) 2) extracted frames for all v...
JaguarID May 18, 2026 Chaquinga, Robinson; Palacios-Pérez, Jaime; Schaefer, Martin; Zábó, András, 2026, "JaguarID", https://doi.org/10.18419/DARUS-5954, DaRUS, V1, UNF:6:YeaI3LXzO6JYXqVeI3WjXQ== [fileUNF] JaguarID dataset is a processed camera trap video dataset that shows the right side of 5 individual jaguars recorded on 19 day and night videos in dense forests. The dataset consists of: - 19 videos, 20-30 FPS (1_videos.zip) - extracted frames for all videos (2_frames.zip) - detection JSON files for all frames, for all videos (3_annotations.zip) -...
Supplementary Material for Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control Apr 21, 2026 Geyer, Fabian; Tuttas, Friedrich; Fichter, Walter; Cunis, Torbjørn, 2026, "Supplementary Material for Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control", https://doi.org/10.18419/DARUS-5526, DaRUS, V1 This repository contains the supplementary MATLAB code for the paper "Sum-of-squares stability verification on manifolds with applications in spacecraft attitude control" published in the European Journal of Control (also presented at the European Control Conference (ECC) 2026). Requirements and Setup Clean dependency management is seamlessly handl...
Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems Apr 14, 2026 Olucak, Jan; Cunis, Torbjørn, 2026, "Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems", https://doi.org/10.18419/DARUS-5677, DaRUS, V2 This repository contains supplementary material for the paper "On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems" submitted to Mathematical Programming Computation. It contains the MATLAB source code to reproduce the results from the paper. Requirements and Setup: The implementatio...
Supplementary Material for: Safe-by-Design Approximate Nonlinear Model Predictive Control with Realtime Feasibility Sep 29, 2025 Olucak, Jan; Castello Branco de Oliveira, Arthur; Cunis, Torbjørn, 2025, "Supplementary Material for: Safe-by-Design Approximate Nonlinear Model Predictive Control with Realtime Feasibility", https://doi.org/10.18419/DARUS-5297, DaRUS, V2 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...
DAZZLE: Drone-Acquired Zebra data for Large-scale Ecology research Jul 22, 2025 Ahmad, Aamir, 2025, "DAZZLE: Drone-Acquired Zebra data for Large-scale Ecology research", https://doi.org/10.18419/DARUS-5162, DaRUS, V1 DAZZLE Dataset consists of semi-automatically labeled behaviors of plains and Grévy's zebras holistically for all individuals in complete scenes, in addition to bounding boxes on individual animals. DAZZLE has >30K frames and >160K annotations. Dataset Contents: Extracted image frames from the video and corresponding annotations. Generated dataset...

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

Aug 31, 2026

Loureiro, Renato; Cunis, Torbjørn, 2026, "Source code and Numerical Examples for Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty", https://doi.org/10.18419/DARUS-6410, DaRUS, V1

This repository contains the official code implementation for the paper "Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty". It provides all necessary scripts and detailed instructions to reproduce the numerical results, figures, and experiments presented in the paper. Required Tools: CasADi v3.6.7: Download from http...

Implementation Details and Source Code for CaΣoS: A Nonlinear Sum-of-Squares Optimization Suite

Aug 14, 2026

Cunis, Torbjørn; Olucak, Jan, 2024, "Implementation Details and Source Code for CaΣoS: A Nonlinear Sum-of-Squares Optimization Suite", https://doi.org/10.18419/DARUS-4499, DaRUS, V2

This dataset contains detailed information, source code, and benchmark tests for the paper "CaΣoS: A nonlinear sum-of-squares optimization suite," published in the proceedings of the 2025 American Control Conference. Please refer to the "supplementary.pdf" for more information.

Supplementary Material for Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility

Aug 6, 2026

Olucak, Jan; Cunis, Torbjørn, 2026, "Supplementary Material for Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility", https://doi.org/10.18419/DARUS-5769, DaRUS, V1

This data repository supplements the paper "Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility". It contains additional documentation, derivations and MATLAB source code to reproduce the numerical examples. Requirements and Setup: 1. Download CasADi v3.6.7 and add it to your Matlab path. 2. Download and i...

RAPID Test Dataset

May 18, 2026

Ahmad, Aamir; Zábó, András; Nagy, Mate, 2026, "RAPID Test Dataset", https://doi.org/10.18419/DARUS-5958, DaRUS, V1

This dataset contains the database-query splits that were used for analysing the performance of RAPID (RAPID: Real-time Animal Pattern re-Identification on edge Devices, an open-source tool for field deployment). Tests were run on 4 public reID datasets and 2 new datasets published alongside with the RAPID paper. PUBLIC DATASETS (test_benchmarks.zi...

ZebraStereoID

May 18, 2026

Ahmad, Aamir; Rubenstein, Daniel I.; Zábó, András, 2026, "ZebraStereoID", https://doi.org/10.18419/DARUS-5957, DaRUS, V1, UNF:6:b20FxJfugNke9s56lwPB6g== [fileUNF]

ZebraStereoID dataset contains video recordings of 2 groups of zebras. Both groups were recorded by 2 drones simultaneously (from opposing viewpoints), resulting in 4 videos in total. The groups consisted of 2 and 7 zebras, and were observed on different days. The dataset consists of: 1) 4 videos, 30 FPS (1_videos.zip) 2) extracted frames for all v...

JaguarID

May 18, 2026

Chaquinga, Robinson; Palacios-Pérez, Jaime; Schaefer, Martin; Zábó, András, 2026, "JaguarID", https://doi.org/10.18419/DARUS-5954, DaRUS, V1, UNF:6:YeaI3LXzO6JYXqVeI3WjXQ== [fileUNF]

JaguarID dataset is a processed camera trap video dataset that shows the right side of 5 individual jaguars recorded on 19 day and night videos in dense forests. The dataset consists of: - 19 videos, 20-30 FPS (1_videos.zip) - extracted frames for all videos (2_frames.zip) - detection JSON files for all frames, for all videos (3_annotations.zip) -...

Supplementary Material for Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control

Apr 21, 2026

Geyer, Fabian; Tuttas, Friedrich; Fichter, Walter; Cunis, Torbjørn, 2026, "Supplementary Material for Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control", https://doi.org/10.18419/DARUS-5526, DaRUS, V1

This repository contains the supplementary MATLAB code for the paper "Sum-of-squares stability verification on manifolds with applications in spacecraft attitude control" published in the European Journal of Control (also presented at the European Control Conference (ECC) 2026). Requirements and Setup Clean dependency management is seamlessly handl...

Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems

Apr 14, 2026

Olucak, Jan; Cunis, Torbjørn, 2026, "Supplementary Material for On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems", https://doi.org/10.18419/DARUS-5677, DaRUS, V2

This repository contains supplementary material for the paper "On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems" submitted to Mathematical Programming Computation. It contains the MATLAB source code to reproduce the results from the paper. Requirements and Setup: The implementatio...

Supplementary Material for: Safe-by-Design Approximate Nonlinear Model Predictive Control with Realtime Feasibility

Sep 29, 2025

Olucak, Jan; Castello Branco de Oliveira, Arthur; Cunis, Torbjørn, 2025, "Supplementary Material for: Safe-by-Design Approximate Nonlinear Model Predictive Control with Realtime Feasibility", https://doi.org/10.18419/DARUS-5297, DaRUS, V2

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...

DAZZLE: Drone-Acquired Zebra data for Large-scale Ecology research

Jul 22, 2025

Ahmad, Aamir, 2025, "DAZZLE: Drone-Acquired Zebra data for Large-scale Ecology research", https://doi.org/10.18419/DARUS-5162, DaRUS, V1

DAZZLE Dataset consists of semi-automatically labeled behaviors of plains and Grévy's zebras holistically for all individuals in complete scenes, in addition to bounding boxes on individual animals. DAZZLE has >30K frames and >160K annotations. Dataset Contents: Extracted image frames from the video and corresponding annotations. Generated dataset...

Add Data

Share Dataverse

Link Dataverse

Reset Modifications