{"id":"W2889910550","doi":"10.1109/tac.2020.2987711","title":"Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications","year":2020,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs","keywords":"Nonlinear system; Set (abstract data type); Scheme (mathematics); Control (management); Feature (linguistics); Benchmarking; Control theory (sociology); Control system; Robust control","routes":{"ca_aff":true,"ca_fund":true,"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.0005110091,0.0002127753,0.0005543878,0.0001417225,0.0001968254,0.00009628468,0.0005160696,0.00007394575,0.00001253346],"category_scores_gemma":[0.00008720298,0.000181203,0.0001228691,0.000357993,0.000125525,0.0002767571,0.000001821397,0.0001177454,0.0000120921],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005832316,"about_ca_system_score_gemma":0.00008621428,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001483292,"about_ca_topic_score_gemma":0.000004954509,"domain_scores_codex":[0.9982076,0.0002283843,0.0005916528,0.0004121827,0.0003223821,0.0002377715],"domain_scores_gemma":[0.9974924,0.001204858,0.0003246273,0.0006108308,0.00020982,0.0001574262],"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.002094856,0.001799659,0.00004952946,0.002951915,0.003399724,0.00001523378,0.007879223,0.476672,0.04876978,0.06461538,0.0005021329,0.3912506],"study_design_scores_gemma":[0.0020564,0.0003320318,0.0001204266,0.00007145006,0.0001886913,0.00001131983,0.0002154474,0.9926782,0.003861043,0.00003012311,0.0002434912,0.0001913443],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002331191,0.00003621405,0.9935579,0.001587535,0.000196821,0.001665683,0.0002021011,0.0002824027,0.0001401099],"genre_scores_gemma":[0.6973082,0.000006145905,0.3019897,0.0001393693,0.00002675619,0.0004917941,0.000001255928,0.00001872483,0.00001804222],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.694977,"threshold_uncertainty_score":0.7389243,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06078054966542726,"score_gpt":0.2603273919768355,"score_spread":0.1995468423114083,"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."}}