{"id":"W7123345379","doi":"10.1109/cdc57313.2025.11312515","title":"Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems","year":2025,"lang":"","type":"article","venue":"","topic":"Model Reduction and Neural Networks","field":"Physics and Astronomy","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Satisfiability modulo theories; Lyapunov function; Nonlinear system; Stability (learning theory); Embedding; Control theory (sociology); Solver; Generator (circuit theory); State space","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004426455,0.0003954874,0.000533617,0.0001062659,0.0006281834,0.0003265044,0.0002522912,0.0001686326,0.000814209],"category_scores_gemma":[0.00003013607,0.0003630853,0.0004215129,0.0003951464,0.0001380222,0.0001172582,0.00005653133,0.0004998323,0.00005271156],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008369624,"about_ca_system_score_gemma":0.0003292584,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001592628,"about_ca_topic_score_gemma":0.00000461005,"domain_scores_codex":[0.997438,0.0002090384,0.0007839707,0.0007934682,0.0001672065,0.0006083164],"domain_scores_gemma":[0.9982963,0.0004968665,0.0002147858,0.0004762568,0.0003456566,0.0001701249],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001218043,0.002490009,0.01532704,0.002129604,0.0008321553,8.35243e-7,0.0002968167,0.6950427,0.007269545,0.1154223,0.0205947,0.1393763],"study_design_scores_gemma":[0.0008082904,0.0001199666,0.00003616477,0.0001234826,0.00009667155,6.790398e-8,0.0006515205,0.772132,0.01045734,0.0002193869,0.2150773,0.0002778817],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.152022,0.001105468,0.8057415,0.006634591,0.005811475,0.003713399,0.000125066,0.0002947602,0.02455173],"genre_scores_gemma":[0.9697,0.00001536343,0.0006061528,0.0000941819,0.0007084751,0.0002254543,0.0001697187,0.0000319693,0.0284487],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.817678,"threshold_uncertainty_score":0.9998821,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03520261382570198,"score_gpt":0.2871337039473869,"score_spread":0.2519310901216849,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}