Data-to-Certificates (D2C): Koopman Supereigenfunctions for Stability, Safety, and Control
Traditional dynamical system models, including Koopman operator representations, are fundamentally equality-based, whereas many analysis and control tools rely on inequalities. This mismatch motivates representations that are intrinsically aligned with certification tasks involved in the analysis and control synthesis problems. In this paper, we propose a \emph{data-to-certificates (D2C)} paradigm that bypasses explicit model construction and directly learns certificates from data. We introduce \emph{supereigenfunctions} of the Koopman operator as an inequality-based generalization of…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.00178
curl -X POST /api/v1/records/arxiv/2610.00178/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.00178/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'