Multi-objective low-thrust spacecraft trajectory design using reachability analysis

no code implementations • 14 Dec 2022 • Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos

One of the fundamental problems in spacecraft trajectory design is finding the optimal transfer trajectory that minimizes the propellant consumption and transfer time simultaneously.

Verification of safety critical control policies using kernel methods

no code implementations • 23 Mar 2022 • Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos

Hamilton-Jacobi reachability methods for safety-critical control have been well studied, but the safety guarantees derived rely on the accuracy of the numerical computation.