{"id":"W4224862013","doi":"10.48550/arxiv.2204.10792","title":"Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems","year":2022,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Undecidable problem; Equivalence (formal languages); Turing; Mathematics; Computer science; Turing machine; Event (particle physics); Theoretical computer science; Discrete mathematics; Algorithm; Decidability; Programming language","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.004409682,0.0005664112,0.001007517,0.0005941933,0.001242443,0.003162219,0.001525194,0.001865652,0.003021092],"category_scores_gemma":[0.01874351,0.0003845178,0.00126443,0.0006273373,0.004879009,0.006995224,0.003129408,0.004641112,0.0001707905],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00263038,"about_ca_system_score_gemma":0.002852826,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003782039,"about_ca_topic_score_gemma":0.001925422,"domain_scores_codex":[0.9921098,0.002755209,0.0005587309,0.001417491,0.002410369,0.0007484157],"domain_scores_gemma":[0.9763389,0.01908627,0.0008204438,0.002095618,0.001172953,0.0004858049],"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.0001525721,0.0002649717,0.0009601585,0.0001681542,0.00004914289,0.0002054153,0.0006474649,0.09272269,0.001994352,0.8650301,0.00129448,0.03651043],"study_design_scores_gemma":[0.00008718683,0.0000557333,0.0003772595,0.0000212609,0.00002119929,0.00006295902,0.000166601,0.2121871,0.002847577,0.7817182,0.002435456,0.00001940402],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06879584,0.0003634284,0.916391,0.002861595,0.0001174451,0.0002791319,0.0001668074,0.0003595384,0.0106653],"genre_scores_gemma":[0.890187,0.0003300488,0.1040889,0.0003769211,0.000216378,0.0003879197,0.0003731058,0.00006483756,0.003974895],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004409682,"threshold_uncertainty_score":0.02332091,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06720155860207279,"score_gpt":0.2077805670337816,"score_spread":0.1405790084317088,"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."}}