{"id":"W2151652373","doi":"10.1109/cdc.2009.5400802","title":"Hardware realization of discrete event system diagnosers","year":2009,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Realization (probability); Glitch; Simple (philosophy); Property (philosophy); Computer science; Event (particle physics); State (computer science); Finite-state machine; Electronic circuit; Discrete event simulation; Algorithm; Computer engineering; Theoretical computer science; Control engineering; Engineering; Mathematics; Simulation; Electrical engineering; Telecommunications","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.0002986885,0.0003763533,0.0002894364,0.0002579666,0.0002318849,0.0007642745,0.0008126663,0.0005227657,0.003147028],"category_scores_gemma":[0.001255724,0.0002332977,0.0003068855,0.000141195,0.0004030694,0.0006047774,0.0004075704,0.0006261921,0.0004299843],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00040669,"about_ca_system_score_gemma":0.0006166374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005876791,"about_ca_topic_score_gemma":0.0009044631,"domain_scores_codex":[0.999588,0.00008611973,0.00002994913,0.00007295001,0.000169077,0.00005399323],"domain_scores_gemma":[0.9993752,0.000271521,0.00007087224,0.0001572293,0.0000972964,0.00002784405],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0007132,0.0002324683,0.001697109,0.0006408419,0.00009661007,0.001176587,0.0004324279,0.262324,0.2047228,0.3377181,0.00377045,0.1864754],"study_design_scores_gemma":[0.0001411871,0.0004734599,0.0009546201,0.00005390187,0.00004814121,0.0004361434,0.00006692183,0.7871585,0.1429605,0.04752917,0.02013904,0.00003832281],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05079042,0.0001466614,0.9382185,0.000152602,0.0001018965,0.0001027633,0.0001139748,0.002658209,0.007714906],"genre_scores_gemma":[0.8108916,0.0001160912,0.1858663,0.00007206202,0.00002711702,0.0001037605,0.000174518,0.00003608626,0.002712408],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003147028,"threshold_uncertainty_score":0.01052791,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01471223609037526,"score_gpt":0.2594815632173409,"score_spread":0.2447693271269657,"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."}}