{"id":"W4226299421","doi":"10.1109/tac.2022.3140260","title":"Safe Coverage of Moving Domains for Vehicles With Second-Order Dynamics","year":2022,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Distributed Control Multi-Agent Systems","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Double integrator; Collision avoidance; Reachability; Bounded function; Control theory (sociology); Controller (irrigation); Collision; Computer science; Pairwise comparison; Integrator; Domain (mathematical analysis); Regular polygon; Vehicle dynamics; Controllability; Mathematical optimization; Topology (electrical circuits); Mathematics; Applied mathematics; Multi-agent system; Engineering; Control (management); Algorithm; Mathematical analysis; Geometry; Aerospace engineering; Artificial intelligence","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000213189,0.0004612672,0.0003221099,0.0004396976,0.0004700663,0.0005652334,0.0004497939,0.000501148,0.0008737568],"category_scores_gemma":[0.0009372275,0.0002014036,0.0004201673,0.0001992255,0.0009686481,0.0005048119,0.001020337,0.0004327053,0.00009521105],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006438439,"about_ca_system_score_gemma":0.0006637489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004719818,"about_ca_topic_score_gemma":0.003355986,"domain_scores_codex":[0.99988,0.00001863582,0.000003615367,0.0000218472,0.00004653812,0.00002944866],"domain_scores_gemma":[0.9996902,0.0001353427,0.00007310275,0.00002682433,0.00004005922,0.00003463056],"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.00002649624,0.00001912412,0.0007124209,0.00003573135,0.00001083929,0.000172412,0.0001201599,0.964467,0.009794532,0.01794211,0.0001933218,0.006505934],"study_design_scores_gemma":[0.00000366102,0.00001880454,0.0001244851,0.000002097805,0.000001475393,0.00001846194,0.00002143652,0.996649,0.0006779901,0.002250392,0.0002296181,0.000002493522],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.180622,0.0002133165,0.8137408,0.0002176078,0.00003030831,0.00002727552,0.0000288605,0.0001267733,0.004993021],"genre_scores_gemma":[0.9841121,0.00008269542,0.01409958,0.00002323243,0.000006656519,0.00003084558,0.00002599974,0.00001221469,0.001606611],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004719818,"threshold_uncertainty_score":0.009384692,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007464937813505351,"score_gpt":0.2162557099486979,"score_spread":0.2087907721351925,"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."}}