{"id":"W4402262107","doi":"10.23919/acc60939.2024.10644616","title":"Time Robust Model Predictive Control for Heterogeneous Multi-Agent Systems Under Global Temporal Logic Tasks","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 Alberta","funders":"Research Promotion Foundation","keywords":"Computer science; Model predictive control; Multi-agent system; Temporal logic; Control (management); Distributed computing; Artificial intelligence; Theoretical computer science","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001179127,0.0002785205,0.0003341226,0.00005566689,0.00005439492,0.0001147096,0.0001288654,0.0001647708,0.00001177227],"category_scores_gemma":[0.00001347093,0.0002458284,0.0001298255,0.0001209306,0.00002651131,0.0002140269,0.00001677899,0.0000845795,0.00008166506],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005561925,"about_ca_system_score_gemma":0.00003507518,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000179282,"about_ca_topic_score_gemma":0.00001824906,"domain_scores_codex":[0.9986972,0.00002827712,0.0003892289,0.000346972,0.0001672801,0.000371105],"domain_scores_gemma":[0.9994829,0.00006035902,0.00003437715,0.0002198822,0.00009047247,0.0001119609],"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.00002551795,0.00001754436,0.000006500296,0.0001454384,0.0002430971,0.000007414669,0.00002319292,0.9971313,0.0003014781,0.001424086,0.000607895,0.00006648806],"study_design_scores_gemma":[0.001104586,0.00005812398,0.000002269543,0.00005975202,0.00007538216,0.00002768715,0.0000354523,0.997892,0.00001882275,0.0002860341,0.0001865377,0.0002533713],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000211615,0.002715608,0.9917116,0.0000528792,0.0008028448,0.001671079,0.0005172698,0.001697085,0.0006200593],"genre_scores_gemma":[0.985464,0.000009318808,0.01233056,0.00005077686,0.0001770251,0.0004977371,0.00007237455,0.00007522514,0.001323031],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9852523,"threshold_uncertainty_score":0.9999994,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02066651982217298,"score_gpt":0.2414614997354491,"score_spread":0.2207949799132761,"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."}}