{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001148668,0.00111331,0.001177894,0.00102251,0.0004472632,0.00180209,0.0019307,0.001083172,0.001544475],"category_scores_gemma":[0.002546769,0.0006130078,0.001603084,0.0008976335,0.001570497,0.002100342,0.00136896,0.002188994,0.0005923468],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001021104,"about_ca_system_score_gemma":0.001066686,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002467501,"about_ca_topic_score_gemma":0.00175268,"domain_scores_codex":[0.9987885,0.0004386909,0.0000697115,0.0001699683,0.0004549487,0.00007817719],"domain_scores_gemma":[0.999007,0.0007089694,0.00005827905,0.0001105562,0.00008650459,0.00002873772],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001061609,0.0001310439,0.0003761432,0.0004475383,0.0001041534,0.0004605498,0.0003181191,0.4172594,0.005979477,0.4896064,0.00194117,0.08326976],"study_design_scores_gemma":[0.00002820655,0.00004077376,0.00006504391,0.00003367814,0.00003570181,0.00009901766,0.00003217053,0.8339167,0.002252636,0.1579973,0.005480288,0.00001857207],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001598516,0.00064529,0.9960247,0.0001379959,0.00003856833,0.00003934418,0.00003390956,0.0002839792,0.001197642],"genre_scores_gemma":[0.2597126,0.002620827,0.7337322,0.0001125984,0.0001992183,0.0004356943,0.0003394074,0.0001143255,0.00273311],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002467501,"threshold_uncertainty_score":0.007408679,"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."}}