{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004361459,0.0007200784,0.001235861,0.0005725881,0.001117237,0.003647607,0.001832054,0.002462236,0.003995065],"category_scores_gemma":[0.02187517,0.000759406,0.001138377,0.0005217827,0.00421887,0.01084352,0.002818909,0.004411543,0.0008615165],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001380507,"about_ca_system_score_gemma":0.00248912,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001584554,"about_ca_topic_score_gemma":0.001546277,"domain_scores_codex":[0.9954153,0.00105906,0.0003708503,0.00125212,0.001527322,0.0003753782],"domain_scores_gemma":[0.9791212,0.01436946,0.001777039,0.002818885,0.001192032,0.000721303],"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.0005754266,0.0001330152,0.002914281,0.0005007662,0.0001379917,0.0008187044,0.0007753781,0.08735098,0.007472328,0.829312,0.005221055,0.06478814],"study_design_scores_gemma":[0.00009616876,0.0001029836,0.0006173883,0.0001073415,0.00007042718,0.0001979267,0.0001791261,0.298557,0.01111566,0.6779897,0.01089343,0.00007288557],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01710931,0.0006246216,0.9667907,0.002835714,0.0001555589,0.000104613,0.000200844,0.0006072915,0.01157122],"genre_scores_gemma":[0.7690288,0.001512962,0.2209516,0.0008843282,0.0004733845,0.0003722248,0.0006750007,0.0001630047,0.005938602],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004361459,"threshold_uncertainty_score":0.02306592,"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."}}