{"id":"W2119106833","doi":"10.1109/tac.2009.2039237","title":"Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems","year":2010,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":125,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisor; Modular design; Supervisory control; Event (particle physics); Supervisory control theory; Control (management); Computer science; Controller (irrigation); Control theory (sociology); Decomposition; Scale (ratio); Distributed computing; Control engineering; Engineering; Artificial intelligence","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.00132175,0.0009728748,0.0008436827,0.0004518567,0.0004597897,0.001276221,0.001492795,0.000691701,0.002390095],"category_scores_gemma":[0.002134074,0.0004297729,0.0009039695,0.0003991094,0.001741129,0.001371105,0.001634095,0.001777262,0.0004779513],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007336879,"about_ca_system_score_gemma":0.0009202877,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001416545,"about_ca_topic_score_gemma":0.001172248,"domain_scores_codex":[0.9991348,0.000260124,0.0000461331,0.0002143283,0.0002557306,0.0000888797],"domain_scores_gemma":[0.9991671,0.0004546192,0.00007242709,0.0001433662,0.0001143405,0.00004818467],"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.00008391306,0.0000834763,0.0003586663,0.0002694584,0.00005702032,0.0001771525,0.0002983977,0.7686914,0.01424805,0.1332735,0.0008659165,0.08159307],"study_design_scores_gemma":[0.0000190715,0.00006774523,0.00004194535,0.00001296997,0.00001570293,0.00001643235,0.0000168609,0.9623381,0.002878423,0.03322638,0.001358989,0.000007385635],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001741492,0.0000524018,0.9973825,0.0000401541,0.000009535962,0.00001851255,0.000004567147,0.0001152013,0.000635685],"genre_scores_gemma":[0.503993,0.0004302745,0.4922377,0.0001323653,0.00009901279,0.0002811312,0.00006143489,0.000111189,0.002653913],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002390095,"threshold_uncertainty_score":0.007995665,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01184339030742768,"score_gpt":0.235719830213922,"score_spread":0.2238764399064943,"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."}}