{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00255038,0.0007843568,0.0008931286,0.0009102534,0.0004759022,0.0008091069,0.001224433,0.000985802,0.001084141],"category_scores_gemma":[0.008193062,0.0005194895,0.0007825158,0.0003892553,0.001759766,0.001887387,0.002079451,0.001556523,0.0001910777],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007351825,"about_ca_system_score_gemma":0.0009354352,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002674957,"about_ca_topic_score_gemma":0.00170103,"domain_scores_codex":[0.9996679,0.0001367725,0.00001999976,0.00005731101,0.00008080823,0.00003717513],"domain_scores_gemma":[0.9975521,0.001708497,0.0003048942,0.000142539,0.0001790066,0.0001129904],"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.000109165,0.00005579423,0.001395192,0.0001534194,0.00004634119,0.0001162527,0.0002540863,0.8295696,0.008532725,0.1153109,0.0005397357,0.04391678],"study_design_scores_gemma":[0.0000023575,0.00001527429,0.00007658727,0.000006498448,0.000001685064,0.000006018938,0.000006995567,0.9892566,0.0003896426,0.01013584,0.00009715593,0.000005250707],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04166785,0.0002082866,0.9569847,0.0001558967,0.00001490839,0.00003930499,0.00001804745,0.00008792954,0.0008231102],"genre_scores_gemma":[0.7508438,0.0005255687,0.2458738,0.0001080776,0.00005088269,0.0002787409,0.0001082389,0.00009480878,0.002116114],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002674957,"threshold_uncertainty_score":0.01348788,"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."}}