{"id":"W2156371582","doi":"10.1109/cdc.1999.830290","title":"Fault diagnosis in timed discrete-event systems","year":2003,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":63,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Fault (geology); Event (particle physics); Reduction (mathematics); Discrete event simulation; State (computer science); Reliability engineering; Real-time computing; Distributed computing; Algorithm; Engineering; Simulation; Mathematics","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.001247608,0.0009819701,0.0009335708,0.001146186,0.0004877516,0.001498298,0.001454947,0.001056724,0.00151949],"category_scores_gemma":[0.004048739,0.0004286767,0.0008674366,0.0006879914,0.001260009,0.001557303,0.00103419,0.001212553,0.0003244359],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008036091,"about_ca_system_score_gemma":0.0009912164,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002238393,"about_ca_topic_score_gemma":0.00146206,"domain_scores_codex":[0.9988744,0.0002684801,0.0001056657,0.0002233727,0.0004271959,0.0001008894],"domain_scores_gemma":[0.9983636,0.001067457,0.0001865619,0.0001196263,0.0001991179,0.00006358778],"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.0001588585,0.00008414452,0.0007972979,0.0004215203,0.0000686128,0.0008702196,0.0002933296,0.4047589,0.01160783,0.4705631,0.001439457,0.1089367],"study_design_scores_gemma":[0.00004045952,0.00007287333,0.0001421692,0.00005161174,0.00003464437,0.0002014643,0.00003235832,0.857877,0.004329415,0.1296328,0.007558764,0.00002636721],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001853357,0.0003501647,0.996636,0.00005934284,0.0000446609,0.00003001406,0.00002143724,0.0002662551,0.0007388612],"genre_scores_gemma":[0.3705013,0.001540613,0.6243024,0.0001207261,0.000223782,0.0002260519,0.0002367926,0.00006837721,0.002780004],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002238393,"threshold_uncertainty_score":0.006598115,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02331749719143961,"score_gpt":0.2679147372513652,"score_spread":0.2445972400599256,"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."}}