{"id":"W3143632367","doi":"10.1109/date.2008.4484730","title":"Semantics for Model-Based Validation of Continuous/Discrete Systems","year":2008,"lang":"en","type":"article","venue":"2008 Design, Automation and Test in Europe","topic":"Real-time simulation and control systems","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Semantics (computer science); Representation (politics); Discrete modelling; Theoretical computer science; Programming language; Discrete system","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":[],"consensus_categories":[],"category_scores_codex":[0.0002559698,0.0001210368,0.0002313698,0.0001432977,0.00004738581,0.00003073896,0.00005586446,0.0000604788,0.000003882441],"category_scores_gemma":[0.0001610803,0.0001192385,0.0000269634,0.0002114715,0.00002456425,0.0001467086,0.000003718996,0.00004202065,0.000008479415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001944165,"about_ca_system_score_gemma":0.00003220784,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008671314,"about_ca_topic_score_gemma":6.172556e-7,"domain_scores_codex":[0.9991313,0.00006360377,0.0004251261,0.0001201666,0.0001293342,0.0001304725],"domain_scores_gemma":[0.9992796,0.0002860942,0.00009855555,0.0001303774,0.0001638885,0.00004149543],"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.000009767514,0.00002207371,0.001692916,0.0001445701,0.000006572738,0.000001742655,0.000187902,0.9900336,0.00692957,0.0002647153,0.0004012482,0.0003052665],"study_design_scores_gemma":[0.00101488,0.0000512807,0.002736352,0.00006770978,0.000009797992,0.000006567625,0.00001074807,0.9931781,0.002306892,0.00001352939,0.0004796296,0.0001244806],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1360698,0.0002272276,0.8610949,0.00002495534,0.0001357626,0.0008854983,0.00001941496,0.0002870927,0.001255349],"genre_scores_gemma":[0.9967664,0.00004018751,0.002836554,0.00001339687,0.000027489,0.00004103061,0.000030626,0.00003051911,0.0002137417],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8606966,"threshold_uncertainty_score":0.4862406,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02200322319615253,"score_gpt":0.2251357254883002,"score_spread":0.2031325022921477,"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."}}