{"id":"W4402264970","doi":"10.23919/acc60939.2024.10644670","title":"Safe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets","year":2024,"lang":"en","type":"article","venue":"","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Research Promotion Foundation; National Science Foundation","keywords":"Nonlinear system; Control theory (sociology); Computer science; Tracking (education); Control (management); Artificial intelligence; 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":[],"consensus_categories":[],"category_scores_codex":[0.0002220141,0.0001933373,0.0003963083,0.0001331753,0.00003284424,0.00008487053,0.0001040089,0.0001053662,0.00005293754],"category_scores_gemma":[0.00002752485,0.0001767254,0.00008738063,0.0002373106,0.00001823446,0.0004184863,0.00001238689,0.0001229135,0.00006857223],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001341722,"about_ca_system_score_gemma":0.00002350581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006512107,"about_ca_topic_score_gemma":0.000003089598,"domain_scores_codex":[0.9987946,0.00003845839,0.0004928937,0.0002075911,0.0001953571,0.00027112],"domain_scores_gemma":[0.9994626,0.000117784,0.00004659326,0.0002367921,0.00007176487,0.00006448345],"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.000007451105,0.000004106433,0.00002972916,0.0003737532,0.0001074411,0.00000776447,0.00006738951,0.9481632,0.04984527,0.0004326828,0.00006894329,0.0008923397],"study_design_scores_gemma":[0.0003728791,0.00001703567,0.000005110784,0.0003779642,0.00005397465,0.00002193288,0.00004910324,0.9958643,0.001123103,0.00002293491,0.001905743,0.0001859413],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00593558,0.003646207,0.9813434,0.00002037656,0.0007776049,0.00049316,0.00006774432,0.0007427949,0.006973087],"genre_scores_gemma":[0.9865129,0.00001965276,0.0125992,0.000005600265,0.0001939427,0.00001535466,0.00001818109,0.00008770312,0.0005474598],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9805773,"threshold_uncertainty_score":0.7206652,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009080369228909795,"score_gpt":0.2344247067913763,"score_spread":0.2253443375624666,"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."}}