{"id":"W2245236370","doi":"10.1016/j.automatica.2017.03.018","title":"Supervisor localization of discrete-event systems under partial observation","year":2017,"lang":"en","type":"article","venue":"Automatica","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Japan Society for the Promotion of Science; Natural Sciences and Engineering Research Council of Canada; National Natural Science Foundation of China","keywords":"Supervisor; Observability; Supervisory control; Observable; Control theory (sociology); Event (particle physics); Control (management); Computer science; Set (abstract data type); Control engineering; Distributed computing; Mathematics; Engineering; Artificial intelligence; 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":[],"consensus_categories":[],"category_scores_codex":[0.0004806542,0.0001089664,0.0002190989,0.00005662948,0.0002558441,0.0003198601,0.001056218,0.00006875841,0.000005344174],"category_scores_gemma":[0.0001554735,0.00009644523,0.00005245154,0.0001107335,0.00004999021,0.0007979366,0.0002525714,0.00004681717,0.00003306975],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005075016,"about_ca_system_score_gemma":0.00006323551,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001274621,"about_ca_topic_score_gemma":0.000005874934,"domain_scores_codex":[0.9985673,0.00009359947,0.0004775651,0.0002443192,0.0004255763,0.0001916278],"domain_scores_gemma":[0.998082,0.00007133289,0.0003753768,0.001289636,0.0001243866,0.00005731209],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008811704,0.0001787395,0.01223679,0.0007508552,0.0001162632,0.00001009446,0.002747308,0.2885359,0.001935329,0.6802707,0.001179726,0.01202947],"study_design_scores_gemma":[0.0001934994,0.00002848673,0.004970221,0.0001784645,0.000008901639,0.000004295927,0.00004110297,0.9919681,0.0007071662,0.001516946,0.00027315,0.0001096814],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04300114,0.00007369737,0.954677,0.0005464845,0.0007375228,0.0002131285,0.000002223034,0.0001470823,0.0006017447],"genre_scores_gemma":[0.9896003,0.000004689685,0.01015253,0.00004057903,0.00006577535,0.00002354355,0.000003736736,0.000009710199,0.0000991516],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9465991,"threshold_uncertainty_score":0.3932922,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05339843828038662,"score_gpt":0.2989616506565377,"score_spread":0.2455632123761511,"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."}}