{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007517335,0.000327299,0.0007047263,0.0003323462,0.000221787,0.0002079258,0.001091373,0.0001754136,0.00002494828],"category_scores_gemma":[0.00004831315,0.000288826,0.0002364717,0.0009027058,0.00006274623,0.0003283135,0.000005144157,0.0002686872,0.00005354835],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00010228,"about_ca_system_score_gemma":0.0001509016,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009598795,"about_ca_topic_score_gemma":0.000019847,"domain_scores_codex":[0.9969535,0.0002508367,0.001005613,0.0005826557,0.0007445756,0.0004627705],"domain_scores_gemma":[0.9974808,0.0003910504,0.0002388306,0.001321916,0.0002794751,0.0002879442],"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.00004364532,0.0005163484,0.00003279167,0.0002036331,0.000189527,0.000004393126,0.0007086235,0.9804808,0.003731738,0.003972522,0.0001274337,0.009988578],"study_design_scores_gemma":[0.002339444,0.0001656024,0.00005187255,0.0001116103,0.00007530383,0.0000470676,0.00009023237,0.9954174,0.001033018,0.00004612436,0.0003306039,0.0002916755],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005504193,0.00004302535,0.9896123,0.0005178588,0.001820051,0.001627738,0.0002134274,0.0004688552,0.0001925157],"genre_scores_gemma":[0.9911011,0.000001225747,0.007985352,0.0002097004,0.00006695681,0.0005372578,0.00000457669,0.00002732763,0.00006646077],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.985597,"threshold_uncertainty_score":0.9999564,"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."}}