{"id":"W2616231791","doi":"10.1109/lcsys.2017.2705096","title":"An Extension of Lyapunov’s First Method to Nonlinear Systems With Non-Continuously Differentiable Vector Fields","year":2017,"lang":"en","type":"article","venue":"IEEE Control Systems Letters","topic":"Advanced Differential Equations and Dynamical Systems","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Jacobian matrix and determinant; Differentiable function; Extension (predicate logic); Nonlinear system; Lyapunov function; Vector field; Field (mathematics); Mathematics; Pure mathematics; Stability (learning theory); Applied mathematics; Discrete mathematics; Computer science; Physics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008052347,0.0004343126,0.001329121,0.0001556446,0.0005286043,0.0003861514,0.0007170643,0.0002096177,0.000008363062],"category_scores_gemma":[0.0001738153,0.0003208932,0.0001769782,0.0001011744,0.00007813556,0.0003437243,0.00004811945,0.0002192757,0.00002041349],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009647551,"about_ca_system_score_gemma":0.00003134256,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003244464,"about_ca_topic_score_gemma":0.0004040774,"domain_scores_codex":[0.9968764,0.0002841929,0.0009698237,0.0006473515,0.0006119986,0.0006102039],"domain_scores_gemma":[0.9959732,0.0005273859,0.0009970302,0.001862534,0.0003337709,0.000306135],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002011249,0.001681409,0.009866507,0.00508545,0.001725815,0.0002045819,0.001960423,0.1744381,0.7777408,0.01742411,0.006492505,0.001368999],"study_design_scores_gemma":[0.009870467,0.001401396,0.006287082,0.003488695,0.0006776893,0.00008725903,0.0004833662,0.9727334,0.001538167,0.0003662519,0.001397509,0.001668717],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3139471,0.00002895359,0.6829388,0.0003345527,0.001019285,0.00147527,0.00006519723,0.00007870311,0.0001121763],"genre_scores_gemma":[0.9873471,0.000001052138,0.01110906,0.0001122626,0.0006947774,0.0002858163,0.000009631673,0.0000840135,0.0003563102],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7982953,"threshold_uncertainty_score":0.9999243,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02147812329308137,"score_gpt":0.3047446942306024,"score_spread":0.283266570937521,"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."}}