{"id":"W3028344048","doi":"10.1007/978-3-030-48077-6_29","title":"Modeling of a Speed Control System Using Event-B","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Event (particle physics); Set (abstract data type); Controller (irrigation); Point (geometry); Key (lock); State (computer science); Speed limit; Position (finance); Limit (mathematics); Control (management); Electronic speed control; Real-time computing; Algorithm; Artificial intelligence; Programming language; Computer security; Mathematics","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.001371023,0.0004168587,0.0007069652,0.0005825625,0.0001452704,0.0002128731,0.003149182,0.0002697143,0.000002533589],"category_scores_gemma":[0.0001503955,0.0004010232,0.0001644085,0.0006545304,0.0003231921,0.0006025177,0.0007526068,0.0005921742,0.00001208632],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004295095,"about_ca_system_score_gemma":0.0005764352,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003179159,"about_ca_topic_score_gemma":0.00000348514,"domain_scores_codex":[0.9963886,0.00008447482,0.0008501594,0.001192743,0.001045235,0.0004388553],"domain_scores_gemma":[0.9975718,0.0001789305,0.0004747697,0.001262047,0.0003590004,0.000153454],"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.000008849481,0.000008372765,0.00000782366,0.0001353677,0.00001133059,0.00002080183,0.000333596,0.8773803,0.001055399,0.07517406,3.33519e-7,0.04586382],"study_design_scores_gemma":[0.0002562897,0.0000826893,0.000003493581,0.000623921,0.00001422457,0.00005724578,3.762854e-7,0.9835215,0.001517703,0.01355053,0.00001324756,0.000358769],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000129207,0.0002535679,0.9964481,0.0001073747,0.001558798,0.000469788,0.000006022753,0.000151937,0.0008751962],"genre_scores_gemma":[0.4284636,0.000002582475,0.5711719,0.0001667398,0.0001706807,0.000001311602,6.725006e-7,0.00001747443,0.000005073059],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4283344,"threshold_uncertainty_score":0.9998442,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04390678375216246,"score_gpt":0.2851555032470641,"score_spread":0.2412487194949016,"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."}}