{"id":"W4402261780","doi":"10.23919/acc60939.2024.10644247","title":"Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems","year":2024,"lang":"en","type":"article","venue":"","topic":"Neural Networks and Applications","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Nonlinear system; Verifiable secret sharing; Control theory (sociology); Lyapunov function; Stability (learning theory); Computer science; Artificial neural network; Mathematics; Artificial intelligence; Physics; Control (management); 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001888818,0.0007306667,0.0004489686,0.0004415523,0.0004746676,0.0007805311,0.0007440446,0.0005350436,0.002678782],"category_scores_gemma":[0.007154143,0.0003213477,0.0005304754,0.0002613458,0.001257655,0.001542652,0.001421742,0.001110987,0.0003411954],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007786642,"about_ca_system_score_gemma":0.001685197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002101468,"about_ca_topic_score_gemma":0.003779131,"domain_scores_codex":[0.9991907,0.0002503078,0.00005832124,0.00009681569,0.0003385055,0.00006524393],"domain_scores_gemma":[0.9977221,0.001185305,0.0003081111,0.0003144297,0.0004310263,0.00003901624],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001342802,0.00006506638,0.001180799,0.0002232328,0.00005721933,0.0001947162,0.0001805193,0.7961137,0.02442342,0.1278735,0.0004383329,0.04911529],"study_design_scores_gemma":[0.000006290419,0.00002554142,0.00006495768,0.00001183537,0.000004371906,0.00001104816,0.0000155884,0.9735405,0.003982849,0.0221298,0.0002023174,0.000004874535],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03789311,0.000067913,0.9595354,0.00009881642,0.00001589248,0.00005769361,0.00005464014,0.0004791462,0.001797328],"genre_scores_gemma":[0.8707829,0.00008402939,0.1281171,0.00004580461,0.00000929588,0.00009901138,0.0001157949,0.00005348614,0.0006925873],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002678782,"threshold_uncertainty_score":0.009989083,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0244489365027849,"score_gpt":0.2657287602124139,"score_spread":0.241279823709629,"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."}}