{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008411802,0.0004533328,0.0008120261,0.0005351533,0.00036006,0.001049929,0.0007296702,0.000443579,0.001079763],"category_scores_gemma":[0.003940603,0.0003169484,0.0004497195,0.0003391876,0.001177176,0.000992589,0.001223799,0.0006946748,0.0001215116],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006607116,"about_ca_system_score_gemma":0.001309228,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003624917,"about_ca_topic_score_gemma":0.002984741,"domain_scores_codex":[0.999405,0.0001397676,0.00002852677,0.0001621684,0.0001752497,0.00008931514],"domain_scores_gemma":[0.996855,0.002032078,0.0004063037,0.0001874043,0.0003757713,0.0001434647],"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.0004687867,0.00007343876,0.002370516,0.000161212,0.00007339171,0.0002903762,0.0003396054,0.880296,0.01467519,0.05871651,0.0003774887,0.04215755],"study_design_scores_gemma":[0.00001071667,0.00003600699,0.0002975179,0.000004654102,0.000009265945,0.000009666626,0.00001694211,0.984166,0.001816974,0.0135246,0.000102519,0.000005041185],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06012389,0.00006606698,0.9385223,0.00007523623,0.00001590158,0.00001265407,0.00002652145,0.0003320911,0.0008253491],"genre_scores_gemma":[0.967494,0.00006771505,0.03116838,0.00001306594,0.00001487363,0.00004060345,0.00006292912,0.00002762,0.001110794],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003624917,"threshold_uncertainty_score":0.007207632,"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."}}