{"id":"W4401285974","doi":"10.23952/jnva.8.2024.5.03","title":"Nonsmooth analysis of the minimal time function for semilinear control systems","year":2024,"lang":"en","type":"article","venue":"Journal of Nonlinear and Variational Analysis","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Northwest Fisheries Science Center; Sichuan Normal University; National Natural Science Foundation of China","keywords":"Function (biology); Control (management); Applied mathematics; Mathematics; Control theory (sociology); Computer science; Calculus (dental); Medicine; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005111263,0.0001074045,0.0005013664,0.0006753697,0.00004822641,0.00005330233,0.00008713528,0.00006792682,0.00002698927],"category_scores_gemma":[0.00007899625,0.00007297924,0.0005880512,0.00164514,0.00001580118,0.0001712782,0.000006732821,0.00009625699,0.00000103349],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005388568,"about_ca_system_score_gemma":0.00004388945,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008229414,"about_ca_topic_score_gemma":0.000007084723,"domain_scores_codex":[0.9988201,0.00004992574,0.0006580693,0.0001023922,0.000276409,0.00009310576],"domain_scores_gemma":[0.9988704,0.0003793247,0.0002281835,0.000105138,0.0003734004,0.00004353752],"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.00004992699,0.00001422889,0.0008791815,0.00004816617,0.01643253,7.782764e-7,0.00003914924,0.9806209,0.001167444,0.0004402433,0.00008011146,0.0002273119],"study_design_scores_gemma":[0.0003664808,0.00004269891,0.005132003,0.00002384549,0.01841761,0.000005723588,0.0000180795,0.9748651,0.00001327706,0.00004224414,0.001004078,0.00006880706],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01383694,0.002019328,0.9831411,0.0001376906,0.0003249068,0.0001420047,0.0003231051,0.00002128833,0.00005359279],"genre_scores_gemma":[0.9954788,0.00003325194,0.0038101,0.00001560558,0.0004244331,0.000006467795,0.00004732217,0.000014336,0.0001697017],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9816418,"threshold_uncertainty_score":0.2976007,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004462926122711938,"score_gpt":0.2119515470989179,"score_spread":0.2074886209762059,"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."}}