{"id":"W4414703422","doi":"10.1007/978-3-032-05792-1_18","title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Control and Stability of Dynamical Systems","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Lyapunov function; Lyapunov optimization; Polynomial; Lyapunov equation; Lyapunov redesign; Modulo; Leverage (statistics); Lyapunov exponent","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":[],"consensus_categories":[],"category_scores_codex":[0.0002595641,0.0002081713,0.0003876611,0.0001414471,0.00008372253,0.00004073729,0.0003411229,0.0001950524,0.000008443138],"category_scores_gemma":[0.00006912059,0.0001957731,0.0001522357,0.0001729056,0.0001936846,0.0001166182,0.00007826362,0.0001640105,0.000002485824],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000303283,"about_ca_system_score_gemma":0.0001033285,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002897559,"about_ca_topic_score_gemma":0.0001581622,"domain_scores_codex":[0.9987893,0.00000603496,0.0003506674,0.0003440366,0.0002259834,0.0002839742],"domain_scores_gemma":[0.9992269,0.0002545597,0.0000562828,0.0003190806,0.00009370583,0.00004943373],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001375361,0.00001066501,0.00003916489,0.00031405,0.00002916951,4.241275e-7,0.00004611575,0.1443412,0.0002155059,0.005027166,0.00002317768,0.8499396],"study_design_scores_gemma":[0.0001908038,0.00006880859,0.0003814311,0.0004370388,0.00004126559,0.00001260618,4.197273e-7,0.9653621,0.00027899,0.03176743,0.001145357,0.0003137868],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000494044,0.0002712014,0.9917879,0.000116166,0.001876835,0.0003875878,0.00008799804,0.00009813772,0.004880135],"genre_scores_gemma":[0.9858044,0.000007190654,0.01366215,0.00001662403,0.0003066602,0.00002862375,0.000005428938,0.00001152635,0.0001574058],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9853103,"threshold_uncertainty_score":0.7983394,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006476536862986377,"score_gpt":0.2066077897150024,"score_spread":0.200131252852016,"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."}}