DAES Benchmarks:
Benchmark Id |
Stability |
Minimum-Phase |
Overflow |
Limit-Cycle |
Quantization Error |
controller-1 |
Successful |
Failed |
Successful |
Failed |
Failed |
controller-2 |
Successful |
Failed |
Failed |
Failed |
Failed |
controller-3 |
Successful |
Failed |
Successful |
Failed |
Failed |
controller-4 |
Successful |
Failed |
Timed out |
Timed Out |
Failed |
controller-5 |
Failed |
Failed |
Timed out |
Failed |
Failed |
controller-6 |
Failed |
Failed |
Timed out |
Failed |
Failed |
controller-7 |
Failed |
Failed |
Timed out |
Timed out |
Failed |
controller-8 |
Successful |
Failed |
Timed out |
Timed Out |
Failed |
controller-9 |
Successful |
Failed |
Timed out |
Timed Out |
Failed |
controller-10 |
Successful |
Failed |
Successful |
Failed |
Timed out |
UAVs Benchmarks:
Benchmark Id |
Stability |
Minimum-Phase |
Overflow |
Limit-Cycle |
Quantization Error |
controller-1 |
Successful |
Failed |
Failed |
Successful |
Successful |
controller-2 |
Successful |
Successful |
Failed |
Successful |
Failed |
controller-3 |
Successful |
Successful |
Failed |
Successful |
Failed |
controller-4 |
Failed |
Failed |
Failed |
Successful |
Failed |
controller-5 |
Failed |
Failed |
Failed |
Failed |
Failed |
controller-6 |
Failed |
Successful |
Failed |
Failed |
Failed |
controller-7 |
Failed |
Failed |
Successful |
Successful |
Timed Out |
controller-8 |
Successful |
Successful |
Successful |
Successful |
Timed Out |
controller-9 |
Failed |
Failed |
Successful |
Successful |
Timed Out |