5 citations · 12 across the 9 of their papers we have counts for
5 papers · 1 filter
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification
Zhipeng Cao, Peiyang Song, Nikolaus Vertovec +6
Lyapunov functions and barrier certificates give state-space guarantees of stability and safety, but synthesizing and verifying them---especially for nonlinear, high-dimensional sy…
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
Prashant Solanki, Nikolaus Vertovec, Yannik Schnitzer +3
Recent approaches to leveraging deep learning for computing reachable sets of continuous-time dynamical systems have gained popularity over traditional level-set methods, as they o…
Multi-objective low-thrust spacecraft trajectory design using reachability analysis
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 simultaneousl…
Safety-Aware Hybrid Control of Airborne Wind Energy Systems
Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos
A fundamental concern in progressing Airborne Wind Energy (AWE) operations towards commercial success, is guaranteeing that safety requirements placed on the systems are met. Due t…
Verification of safety critical control policies using kernel methods
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. Thus,…