{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0117078,0.001328516,0.001263644,0.001648276,0.001164208,0.005535062,0.002684794,0.002349549,0.002363269],"category_scores_gemma":[0.0189006,0.0008374111,0.002662648,0.0009371391,0.004919566,0.006034944,0.003669253,0.004077741,0.0006608838],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001949765,"about_ca_system_score_gemma":0.003131032,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001874213,"about_ca_topic_score_gemma":0.001141366,"domain_scores_codex":[0.9871677,0.004980448,0.001993151,0.001058324,0.004189109,0.0006112737],"domain_scores_gemma":[0.9875712,0.006409875,0.0007770426,0.002750573,0.002189862,0.0003014222],"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.0001150989,0.00007387058,0.0003251087,0.0002961713,0.00006960842,0.000277481,0.0008735287,0.04283601,0.004377222,0.9322121,0.0009850839,0.01755878],"study_design_scores_gemma":[0.0001113687,0.0001367968,0.0001697343,0.0002793357,0.0001060825,0.0002686575,0.0002540724,0.1964945,0.01365693,0.759936,0.0285143,0.00007209325],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003697379,0.0001732391,0.9930221,0.0002576319,0.00006674188,0.0001110356,0.000102897,0.0005205862,0.002048428],"genre_scores_gemma":[0.3466417,0.0007829783,0.6471269,0.0005339733,0.0002239594,0.0009667098,0.0009559928,0.0006634291,0.00210446],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0117078,"threshold_uncertainty_score":0.06191748,"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."}}