{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009776196,0.001001982,0.000881486,0.0008670184,0.0004220799,0.0005386423,0.0008825879,0.0006550352,0.004250759],"category_scores_gemma":[0.003166635,0.0004323616,0.001173561,0.0002819233,0.0008217859,0.0008035953,0.001711517,0.001118711,0.0007719726],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007556713,"about_ca_system_score_gemma":0.001139157,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003086418,"about_ca_topic_score_gemma":0.002244195,"domain_scores_codex":[0.9996475,0.00007263294,0.0000180373,0.00007238994,0.0001538646,0.00003558314],"domain_scores_gemma":[0.9990451,0.000555852,0.0001075158,0.0001173904,0.0001459919,0.00002809078],"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.00005167656,0.00002728344,0.0002932421,0.0001363318,0.00001794009,0.0001463579,0.00009329223,0.9129224,0.006588947,0.05068108,0.0006165561,0.02842485],"study_design_scores_gemma":[0.000004020011,0.00001574724,0.00002615246,0.00000770695,0.000002782767,0.00001635181,0.000005707439,0.9907731,0.001391525,0.007209236,0.0005424808,0.000005283575],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005860841,0.00003880563,0.9917799,0.00002938693,0.00000930994,0.00003700049,0.00004798271,0.0003804956,0.001816312],"genre_scores_gemma":[0.4247874,0.0001446239,0.5710813,0.00008050832,0.00001853974,0.0003228268,0.0004673984,0.0002926604,0.002804761],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004250759,"threshold_uncertainty_score":0.01422024,"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."}}