{"id":"W2169919916","doi":"10.1109/coase.2007.4341765","title":"Diagnosability Analysis and Sensor Selection in Discrete-Event Systems with Permanent Failures","year":2007,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Heuristics; Selection (genetic algorithm); Computation; Event (particle physics); Set (abstract data type); Fault detection and isolation; Computer science; Polynomial; Isolation (microbiology); Algorithm; Time complexity; Mathematics; Mathematical optimization; 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.001214768,0.0001272019,0.0002422739,0.0003738236,0.00006631901,0.0001523749,0.0002115969,0.00005139699,0.000004296314],"category_scores_gemma":[0.000027277,0.0000922493,0.00004092325,0.001491921,0.00002887418,0.0002899619,0.00009009711,0.0001009706,0.000004448252],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001563801,"about_ca_system_score_gemma":0.00002192546,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002475544,"about_ca_topic_score_gemma":0.00516285,"domain_scores_codex":[0.9984707,0.0001085797,0.0003382632,0.0004714181,0.0003357558,0.0002752927],"domain_scores_gemma":[0.9992779,0.0001940409,0.00007993342,0.0002906756,0.00006663984,0.00009083454],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002424365,0.0001004729,0.8873727,0.0000799545,0.0001731454,0.00004044753,0.001119219,0.1029985,0.0002990491,0.00513398,0.0000346131,0.002623747],"study_design_scores_gemma":[0.0002628246,0.00007473798,0.2255091,0.00003465567,0.00004093892,0.00004909358,0.0003628877,0.7727704,0.0004281386,0.00003537111,0.0002138515,0.0002180256],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.406125,0.00005917729,0.5930905,0.0001045356,0.00002970783,0.0001437681,4.524593e-7,0.00006416655,0.0003826832],"genre_scores_gemma":[0.9858075,0.00000415799,0.01394184,0.0000157818,0.00002968316,0.00001457094,9.350986e-7,0.000004532519,0.0001809328],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6697719,"threshold_uncertainty_score":0.3761817,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009821589849662402,"score_gpt":0.2567084423682749,"score_spread":0.2468868525186125,"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."}}