Data-to-Certificates (D2C): Koopman Supereigenfunctions for Stability, Safety, and Control
The D2C paradigm bypasses explicit model building by learning certificates directly from data using Koopman operator supereigenfunctions. These functions use inequalities instead of exact equalities to define exponential growth envelopes, providing data-driven guarantees for system stability, safety, and control synthesis.