{"id":"W2566418289","doi":"10.1109/cdc.1998.761808","title":"Fault diagnosis in discrete-event systems: framework and model reduction","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Reduction (mathematics); Automaton; Computer science; Fault (geology); Finite-state machine; State (computer science); Computational complexity theory; Time complexity; Polynomial; Exponential function; Fault detection and isolation; Event (particle physics); Algorithm; Theoretical computer science; Mathematics; Artificial intelligence","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.000304691,0.0001274429,0.0001817788,0.0001599463,0.00006672717,0.000193498,0.0003881817,0.0001097372,0.000007640614],"category_scores_gemma":[0.00005873743,0.0001122443,0.00002961309,0.0004087137,0.00002139075,0.0005457862,0.0001843767,0.0001596473,0.00002438911],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009840504,"about_ca_system_score_gemma":0.000008592197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001094793,"about_ca_topic_score_gemma":0.00000560788,"domain_scores_codex":[0.9986318,0.00007193798,0.0003297714,0.0004374981,0.0002782174,0.00025082],"domain_scores_gemma":[0.9992357,0.00008806722,0.00006862729,0.0004914538,0.00003414071,0.00008198835],"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.000002259273,0.0001103241,0.001963841,0.0000831903,0.00001443035,0.00001484788,0.003383891,0.8131162,0.00006852642,0.1605865,0.003109442,0.01754653],"study_design_scores_gemma":[0.0001067638,0.00001699497,0.00004178311,0.0001793421,0.000001954209,0.00002913678,0.0001062802,0.9961832,0.00005208158,0.002976328,0.0001600117,0.0001461585],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05382177,0.001577923,0.9413263,0.0008294151,0.0004523503,0.0002010821,0.000001037367,0.0001438791,0.001646299],"genre_scores_gemma":[0.9382424,0.0002685745,0.06060358,0.0000500965,0.00006290529,0.00009578321,2.339737e-7,0.000008215804,0.0006681568],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8844207,"threshold_uncertainty_score":0.4577188,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03444884065285833,"score_gpt":0.2711006902015917,"score_spread":0.2366518495487334,"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."}}