2 papers
eess.SY2026
On the Existence of Quadratic Control Lyapunov Functions for Koopman-Operator based Bilinear Systems
Sami Leon Noel Aziz Hanna, Nicolas Hoischen, Sandra Hirche +1
Koopman operator-based methods enable data-driven bilinear representations of unknown nonlinear control systems. Accurate representations often demand significantly higher dimensio…
eess.SY2026
Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference
Robert Lefringhausen, Sami Leon Noel Aziz Hanna, Elias August +1
Certifying safety in dynamical systems is crucial, but barrier certificates - widely used to verify that system trajectories remain within a safe region - typically require explici…