{"id":"W4402261527","doi":"10.23919/acc60939.2024.10644801","title":"Construction of Robust NCR for Input-Constrained Discrete Nonlinear Systems Using Backward Reachability","year":2024,"lang":"en","type":"article","venue":"","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Reachability; Nonlinear system; Computer science; Control theory (sociology); Algorithm; Physics; Artificial intelligence; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002221987,0.000154367,0.0002884301,0.0001056556,0.00003164461,0.00004617432,0.00006391896,0.000105084,0.00001064359],"category_scores_gemma":[0.00005576734,0.0001444423,0.00009189903,0.0002004221,0.00006290716,0.0002716156,0.00001104478,0.00008139692,0.00000243782],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001431045,"about_ca_system_score_gemma":0.00003516985,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005898262,"about_ca_topic_score_gemma":0.00001062005,"domain_scores_codex":[0.9989873,0.00002463365,0.0004789735,0.0002138004,0.0001111214,0.0001841438],"domain_scores_gemma":[0.9994701,0.0001218333,0.00004684445,0.0002077893,0.000106455,0.00004694045],"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.00001141766,0.000003372633,0.00007338876,0.001011661,0.00007298991,6.124685e-7,0.00005920141,0.9810983,0.01087994,0.004752578,0.0000172107,0.002019331],"study_design_scores_gemma":[0.0002851752,0.00002335615,0.000005204833,0.0001898488,0.00004061456,0.00002388285,0.0002044222,0.9972217,0.001194701,0.0001182742,0.000547988,0.0001448094],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01754666,0.0004597676,0.9779864,0.00001752608,0.001328217,0.0007533937,0.0001135649,0.0005320906,0.001262352],"genre_scores_gemma":[0.7840291,0.000009900158,0.215534,0.00000165057,0.000227173,0.00004202642,0.00003399282,0.00004701424,0.00007516566],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7664824,"threshold_uncertainty_score":0.5890184,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01623587213300812,"score_gpt":0.2424388888676085,"score_spread":0.2262030167346004,"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."}}