{"id":"W4405440118","doi":"10.1109/lcsys.2024.3519034","title":"Model Predictive Control for Systems With Partially Unknown Dynamics Under Signal Temporal Logic Specifications","year":2024,"lang":"en","type":"article","venue":"IEEE Control Systems Letters","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Model predictive control; Dynamics (music); SIGNAL (programming language); Computer science; Control (management); Temporal logic; Control theory (sociology); Control engineering; Artificial intelligence; Engineering; Psychology; Theoretical computer science; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004635978,0.0005908521,0.0008658199,0.0002807382,0.0001835702,0.0004912068,0.0003242624,0.0002414815,0.000002196624],"category_scores_gemma":[0.0000158906,0.0005145051,0.0002034606,0.0003166007,0.00010064,0.0005833593,0.000006418046,0.0003267402,0.00003062136],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00101736,"about_ca_system_score_gemma":0.0001152286,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004925687,"about_ca_topic_score_gemma":0.00007530519,"domain_scores_codex":[0.9969313,0.0001578554,0.0009759657,0.0006847539,0.0004838504,0.000766316],"domain_scores_gemma":[0.9983132,0.0004826034,0.0001962549,0.0005251394,0.0002694539,0.000213282],"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.0001758781,0.00002007624,0.00005292187,0.0004784999,0.0007862609,0.00002021245,0.00007962192,0.9707711,0.009766156,0.01603117,0.001768351,0.00004980745],"study_design_scores_gemma":[0.003315904,0.0001299187,0.00001163991,0.0004041575,0.0003279923,0.00004781293,0.0001379032,0.9940467,0.00001157222,0.0001011785,0.0008910703,0.0005741862],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0008033626,0.002287241,0.9854538,0.0009961145,0.002863166,0.004707231,0.0009201968,0.001623852,0.0003450593],"genre_scores_gemma":[0.9937803,0.00001068032,0.0006748018,0.0002180017,0.001248899,0.003401215,0.0001188766,0.0002319233,0.0003153553],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9929769,"threshold_uncertainty_score":0.9997306,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0186519659695141,"score_gpt":0.2132464725878446,"score_spread":0.1945945066183305,"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."}}