{"id":"W2318407799","doi":"10.3166/jesa.43.821-835","title":"Synthèse de contrôleurs discrets Mise en oeuvre matérielle de superviseurs","year":2009,"lang":"fr","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Medicine","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00471356,0.0006602812,0.0007846637,0.0003745524,0.0009035764,0.001980215,0.002382258,0.0004185722,0.0002687347],"category_scores_gemma":[0.002165909,0.0006537411,0.0004540503,0.0009032993,0.0003946139,0.00274935,0.0002594582,0.001309408,0.0004007963],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001359605,"about_ca_system_score_gemma":0.0008819404,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001397993,"about_ca_topic_score_gemma":0.00001346056,"domain_scores_codex":[0.9914169,0.003798455,0.001436712,0.000660916,0.0009484646,0.001738541],"domain_scores_gemma":[0.996001,0.0005525521,0.0008428567,0.001078685,0.0004468304,0.001078049],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005998088,0.0003692693,0.0008618885,0.0002940924,0.0001213926,0.001474772,0.0156863,0.001790034,0.003566241,0.1249046,0.007147485,0.8437239],"study_design_scores_gemma":[0.001165754,0.0009441501,0.3983875,0.00216793,0.0002093573,0.02378188,0.0007103686,0.5033718,0.002469548,0.04641321,0.0194004,0.0009780619],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1605804,0.02098557,0.7951722,0.01069041,0.003736557,0.0005348782,0.00003532946,0.000547301,0.007717392],"genre_scores_gemma":[0.3375829,0.002687316,0.6486142,0.001359791,0.001130415,0.000008784175,0.000003175983,0.00009406762,0.008519407],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8427458,"threshold_uncertainty_score":0.9995914,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03725183192654378,"score_gpt":0.2979985180817157,"score_spread":0.2607466861551719,"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."}}