{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005533083,0.0002656874,0.0005729076,0.0001694172,0.00009036856,0.0001023659,0.001347269,0.000152849,0.00001426547],"category_scores_gemma":[0.00004331495,0.0002970556,0.0001207224,0.0006486489,0.00008462412,0.0003534733,0.001044155,0.00036676,0.000001967605],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002222489,"about_ca_system_score_gemma":0.0001553491,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001465515,"about_ca_topic_score_gemma":0.00007919021,"domain_scores_codex":[0.9977387,0.0003385933,0.0004915338,0.0009124652,0.0001760888,0.0003425838],"domain_scores_gemma":[0.9981774,0.0001555644,0.0005513173,0.0008527846,0.0001396242,0.0001232775],"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.00001915859,0.0001403613,0.2450428,0.000598007,0.00006383293,0.00008278855,0.0002950811,0.6353415,0.00002320788,0.1181628,0.0001124581,0.0001179552],"study_design_scores_gemma":[0.002378258,0.0001096252,0.06357312,0.001014986,0.0000587269,0.000005252402,0.0002244791,0.9228421,0.0000185567,0.005463287,0.003683161,0.0006284157],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4027858,0.002017876,0.5928515,0.0001227437,0.0006831966,0.001136095,0.0002139439,0.00007966045,0.0001091994],"genre_scores_gemma":[0.9983378,0.001216568,0.0001218605,0.00002459261,0.0000147463,0.00003116059,0.00003052718,0.00001072256,0.0002119997],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.595552,"threshold_uncertainty_score":0.9999481,"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."}}