Connecting UnCertaGator with Zonotope-Based Uncertainty Propagation
| Typ | Bachelorarbeit oder Masterarbeit | |
|---|---|---|
| Aushang | BA MA Connecting UnCertaGator with Zonotope-Based Uncertainty Propagation.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Nathan Hagel (E-Mail: nathan.hagel@kit.edu), Johannes Mäkelburg |
Engineering projects use many models that contain uncertain values or assumptions. If this uncertainty is not handled consistently, small deviations can lead to flawed design decisions. Vitruvius with its UnCertaGator extension makes uncertainty explicit and propagates it across development artifacts, but it does not perform quantitative set-based propagation. The zonotope-based framework in CORA(MATLAB) provides precise mathematical propagation, but it is not integrated with model-based tools.
This thesis explores a connector that exports uncertainty from Vitruvius, performs numerical propagation using CORA, and returns refined bounds to the models.