{"id":"W3043476194","doi":"10.5220/0009883401740180","title":"Efficient Construction of Neural Networks Lyapunov Functions with Domain of Attraction Maximization","year":2020,"lang":"en","type":"article","venue":"","topic":"Neural Networks and Applications","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Safran Electronics (Canada)","funders":"","keywords":"Lyapunov function; Attraction; Domain (mathematical analysis); Lyapunov optimization; Artificial neural network; Computer science; Nonlinear system; Maximization; Lyapunov redesign; Mathematical optimization; Control theory (sociology); Mathematics; Artificial intelligence; Mathematical analysis; Physics; Control (management)","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000982701,0.0008162778,0.0007892227,0.0006883502,0.0003715393,0.0006785027,0.0006667868,0.0007541502,0.002581845],"category_scores_gemma":[0.003492104,0.0004867335,0.0005163461,0.0003825969,0.0004900355,0.00068087,0.001502636,0.001157139,0.0006216508],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007003123,"about_ca_system_score_gemma":0.0009679202,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001059788,"about_ca_topic_score_gemma":0.001359627,"domain_scores_codex":[0.9997473,0.0001084742,0.00001491728,0.00003464837,0.00006978848,0.00002485854],"domain_scores_gemma":[0.9992129,0.0004742889,0.00005111262,0.00004330131,0.0001840822,0.00003442907],"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.00008828301,0.00005731916,0.000409471,0.0001963265,0.00003300072,0.0001026612,0.0001143858,0.7731381,0.007670625,0.09053012,0.002785556,0.1248742],"study_design_scores_gemma":[0.000004501827,0.00001763675,0.00004223889,0.000007479436,0.00000206411,0.00001234636,0.000007426817,0.9858534,0.0008674784,0.01264667,0.000535393,0.000003452981],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009075422,0.0001103587,0.9881738,0.00008754591,0.00002594005,0.0000363187,0.00002497117,0.0001149532,0.002350694],"genre_scores_gemma":[0.5414085,0.0003578826,0.4490835,0.00009713674,0.00007207075,0.0004568738,0.0002364926,0.0002302978,0.008057152],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002581845,"threshold_uncertainty_score":0.008637071,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01196095467852004,"score_gpt":0.1996063739329411,"score_spread":0.187645419254421,"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."}}