{"id":"W4388877364","doi":"10.5220/0012180300003543","title":"Locally Convex Neural Lyapunov Functions and Region of Attraction Maximization for Stability of Nonlinear Systems","year":2023,"lang":"en","type":"article","venue":"","topic":"Neural Networks Stability and Synchronization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Safran Electronics (Canada); Polytechnique Montréal","funders":"","keywords":"Attraction; Lyapunov function; Nonlinear system; Regular polygon; Stability (learning theory); Maximization; Mathematics; Computer science; Control theory (sociology); Mathematical optimization; Artificial intelligence; Physics; Machine learning","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.0003320363,0.00007716492,0.0001708427,0.00007978497,0.000080775,0.00003040165,0.0001177965,0.00006445892,0.000003222066],"category_scores_gemma":[0.00008567878,0.00006965379,0.00004279569,0.0005693348,0.00007173618,0.0004361249,0.00005495877,0.00004633491,0.000001083007],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002265326,"about_ca_system_score_gemma":0.00003695608,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006065799,"about_ca_topic_score_gemma":0.00003003365,"domain_scores_codex":[0.9990389,0.00007522645,0.000362878,0.0002506136,0.0001483566,0.0001240053],"domain_scores_gemma":[0.9989385,0.0002547057,0.0001631893,0.0002763677,0.0003307449,0.00003649561],"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.0007133207,0.001082839,0.1404363,0.00531942,0.0001631664,0.000006758231,0.002524356,0.5514035,0.02650668,0.1225376,0.004200233,0.1451059],"study_design_scores_gemma":[0.0002579948,0.0001711684,0.004675327,0.00001571965,0.000007576059,0.000005942566,0.0001190553,0.9930369,0.001208449,0.0003061624,0.0001310802,0.00006467683],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2004464,0.00002705496,0.7981988,0.0003486229,0.0003731755,0.0004224889,0.000007198657,0.0001099667,0.00006633003],"genre_scores_gemma":[0.997649,0.00002202547,0.002124269,0.00001278031,0.00003974998,0.00001741083,0.00003364539,0.00000541999,0.00009573606],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7972025,"threshold_uncertainty_score":0.2840399,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04603132336137346,"score_gpt":0.2505442915799717,"score_spread":0.2045129682185982,"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."}}