{"id":"W4409473647","doi":"10.1109/tac.2025.3560653","title":"Learning Regions of Attraction in Unknown Dynamical Systems via Zubov–Koopman Lifting: Regularities and Convergence","year":2025,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Model Reduction and Neural Networks","field":"Physics and Astronomy","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Alliance de recherche numérique du Canada; Canada Research Chairs","keywords":"Attraction; Convergence (economics); Dynamical systems theory; Control theory (sociology); Computer science; Mathematics; Statistical physics; Applied mathematics; Artificial intelligence; Physics; Control (management); Economics","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.0001460104,0.0001410373,0.0002980648,0.0001906008,0.0001480049,0.00002925414,0.00006509326,0.0000683574,0.00008241076],"category_scores_gemma":[0.000002695505,0.000141184,0.00008726006,0.0002345974,0.00008433282,0.0001107195,0.000001008037,0.0002790328,0.00000359586],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003532473,"about_ca_system_score_gemma":0.00004018317,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004833616,"about_ca_topic_score_gemma":0.00003083926,"domain_scores_codex":[0.9989499,0.0001449251,0.0004075202,0.0002078413,0.0001159908,0.0001738018],"domain_scores_gemma":[0.9994178,0.0002155913,0.0001189732,0.0001494783,0.00004724147,0.00005089049],"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.0003070908,0.00130001,0.005034798,0.000740565,0.0007361579,0.000006046593,0.00148614,0.6142347,0.01571156,0.04504857,0.0001735096,0.3152208],"study_design_scores_gemma":[0.001032582,0.00006002309,0.0008834313,0.0002456132,0.00006990605,0.000003432163,0.0004759023,0.9958153,0.0005696833,0.0005648195,0.0001590625,0.0001202372],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2586062,0.00004461507,0.7395228,0.0004152528,0.0004866444,0.000316315,0.00000554332,0.00006549933,0.0005371596],"genre_scores_gemma":[0.9977918,0.00001125603,0.00006128924,0.00002318444,0.00002973537,0.00008348461,0.000002203959,0.00001004523,0.00198699],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7394615,"threshold_uncertainty_score":0.5757318,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008472819031357055,"score_gpt":0.2375559686141351,"score_spread":0.2290831495827781,"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."}}