{"id":"W4396932180","doi":"10.1007/s10009-024-00749-y","title":"Modeling of a speed control system using Event-B","year":2024,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche","keywords":"Computer science; Theory of computation; Event (particle physics); Control (management); Algorithm; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006710252,0.0001451423,0.0002219881,0.0007528303,0.00007734986,0.0002396582,0.001229243,0.0001844038,0.000005103269],"category_scores_gemma":[0.0002518346,0.0001281108,0.0002169723,0.0003025914,0.0000517767,0.0008326285,0.00003037576,0.0003614849,0.000008156529],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002621936,"about_ca_system_score_gemma":0.0001321741,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002012554,"about_ca_topic_score_gemma":3.134799e-7,"domain_scores_codex":[0.9984811,0.000044718,0.0005767611,0.0002663129,0.0004243045,0.0002068068],"domain_scores_gemma":[0.9989984,0.0001531603,0.0000540057,0.0002360911,0.000515888,0.00004244753],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001392586,0.00006841029,0.00006318835,0.0000848621,0.0003776311,0.00007565081,0.0001363791,0.09482665,0.007620593,0.7853711,0.00001488343,0.1112214],"study_design_scores_gemma":[0.0006541005,0.0001610266,0.000007404958,0.0004969245,0.00003082937,0.000722228,0.00004328264,0.9807619,0.009312202,0.007158063,0.000523283,0.0001287185],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05673664,0.0002527202,0.9392583,0.0006381521,0.002386025,0.000221741,0.00004138395,0.0004379932,0.00002701749],"genre_scores_gemma":[0.7006544,0.00001146506,0.2991458,0.00005602146,0.00009891232,0.00001066743,0.000001451321,0.00001445994,0.00000678288],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8859353,"threshold_uncertainty_score":0.5224206,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04491269442905126,"score_gpt":0.331886861746553,"score_spread":0.2869741673175017,"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."}}