{"id":"W2126365971","doi":"10.1109/syscon.2011.5929129","title":"Control of swarms of autonomous robots using Model Driven Development - A state-based approach","year":2011,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Royal Military College of Canada","funders":"","keywords":"Robot; Computer science; Emulation; IBM; MATLAB; Control engineering; Controller (irrigation); Finite-state machine; Ant robotics; Mobile robot; Artificial intelligence; Simulation; Robot control; Engineering; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00105683,0.0005083757,0.0005133388,0.0003652967,0.000346648,0.001294361,0.001211961,0.0006290223,0.001030656],"category_scores_gemma":[0.001728788,0.0003593223,0.0008528222,0.0002486183,0.001406094,0.0007364184,0.001063645,0.0006791092,0.0001300358],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008599533,"about_ca_system_score_gemma":0.001451678,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003671592,"about_ca_topic_score_gemma":0.003402768,"domain_scores_codex":[0.9994611,0.0001806098,0.00004034145,0.00008434882,0.0001789918,0.00005457589],"domain_scores_gemma":[0.9992193,0.0004634813,0.0001117936,0.0000862214,0.00008606219,0.00003301939],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004263891,0.00004591866,0.0004562243,0.0001176855,0.00003951574,0.0001637434,0.0002305867,0.89043,0.007074312,0.07672165,0.0003240494,0.02435376],"study_design_scores_gemma":[0.00002378607,0.00003557107,0.00005831871,0.00001270135,0.00001569396,0.00002233148,0.00001382931,0.9831665,0.002266993,0.0126253,0.001751361,0.000007685976],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01176347,0.0001139307,0.9847783,0.0001258734,0.0000155135,0.00006333526,0.00002036389,0.0004005676,0.002718717],"genre_scores_gemma":[0.6521317,0.0004198531,0.344086,0.00006188252,0.0000171957,0.0003855281,0.00009153532,0.00008144356,0.00272482],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003671592,"threshold_uncertainty_score":0.007300436,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1127707267056618,"score_gpt":0.2779821088961522,"score_spread":0.1652113821904904,"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."}}