{"id":"W3189482330","doi":"10.1109/lcsys.2021.3130887","title":"Decentralized Observation of Discrete-Event Systems: At Least One Can Tell","year":2021,"lang":"en","type":"preprint","venue":"IEEE Control Systems Letters","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Observability; Undecidable problem; Decidability; State (computer science); Computer science; Event (particle physics); Joint (building); Automaton; Theoretical computer science; Algorithm; Mathematics; Applied mathematics; Engineering; Physics","routes":{"ca_aff":true,"ca_fund":true,"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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001756228,0.0008606956,0.002492418,0.0003957596,0.0001872049,0.0009269922,0.002798281,0.0005827303,0.00000455933],"category_scores_gemma":[0.0001109678,0.0008931064,0.0006274743,0.0005153239,0.0001010215,0.0003864426,0.0008493541,0.0007058861,0.00002364509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001859291,"about_ca_system_score_gemma":0.0004329424,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003525302,"about_ca_topic_score_gemma":0.0001291331,"domain_scores_codex":[0.9911957,0.001411106,0.00266598,0.001763596,0.001942166,0.001021456],"domain_scores_gemma":[0.9929134,0.0003786877,0.002563569,0.003159513,0.0006499544,0.0003349301],"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.00006054101,0.0000865768,0.002593545,0.0030881,0.0008087082,0.000118341,0.001059701,0.9175351,0.07237519,0.0004365055,0.001717074,0.0001206714],"study_design_scores_gemma":[0.002891774,0.00004905511,0.0005431183,0.006848856,0.0002437014,0.000118693,0.0001534782,0.9855971,0.001204621,0.000008442133,0.001144622,0.001196584],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2676157,0.006147199,0.7070985,0.001692412,0.01464745,0.002320458,0.0001583503,0.0002586819,0.00006118542],"genre_scores_gemma":[0.996141,0.00009117788,0.001450254,0.0005287929,0.0008017201,0.000566107,0.00009039267,0.00008580708,0.0002447961],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7285252,"threshold_uncertainty_score":0.999352,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0342117814387245,"score_gpt":0.2447501653515067,"score_spread":0.2105383839127822,"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."}}