{"id":"W2091559615","doi":"10.1023/b:disc.0000005010.55515.27","title":"On the Computation of Observers in Discrete-Event Systems","year":2003,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":85,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Observer (physics); Automaton; Supervisor; Equivalence (formal languages); Computation; Event (particle physics); Mathematics; Supervisory control; Computer science; Hierarchy; Supervisory control theory; Theoretical computer science; Blocking (statistics); Algorithm; Property (philosophy); Control (management); Artificial intelligence; Discrete mathematics","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.002640563,0.0003615943,0.000607948,0.000298654,0.0001401053,0.000211038,0.001234288,0.0001400134,0.000002252022],"category_scores_gemma":[0.0002033451,0.0002623814,0.00020365,0.000962051,0.00006518791,0.0003391818,0.0001417438,0.0002623704,0.00003437873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005305891,"about_ca_system_score_gemma":0.0001338006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005954793,"about_ca_topic_score_gemma":0.0000456489,"domain_scores_codex":[0.9950177,0.001353115,0.001313784,0.0006933152,0.001076922,0.0005451345],"domain_scores_gemma":[0.9973823,0.0005360492,0.0006977774,0.001145943,0.0001276839,0.0001102897],"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.000009184751,0.00005441051,0.0009052824,0.0002270022,0.00004973745,0.00001617193,0.0007442637,0.7256803,0.0001788625,0.2718776,0.0001214187,0.0001357801],"study_design_scores_gemma":[0.0005311909,0.0001072831,0.0005565416,0.001418893,0.00001028386,0.00003654926,0.001254834,0.9945461,0.00003219399,0.001026621,0.0001699663,0.000309567],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.247876,0.001276545,0.7444305,0.0001797483,0.003383722,0.001301832,0.00002401861,0.0001034846,0.001424118],"genre_scores_gemma":[0.9990917,0.00001611019,0.000308912,0.00002517902,0.00002997087,0.0001590102,0.00001372822,0.00003285239,0.0003225096],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7512158,"threshold_uncertainty_score":0.9999828,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02032097885488185,"score_gpt":0.2727381858779031,"score_spread":0.2524172070230213,"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."}}