{"id":"W2132862824","doi":"10.1109/wodes.2006.1678399","title":"Computationally Efficient Supervisor Design: Abstraction and Modularity","year":2006,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":66,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Modular design; Supervisor; Modularity (biology); Computer science; Abstraction; Distributed computing; Event (particle physics); Control (management); Theoretical computer science; Programming language; 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":[],"consensus_categories":[],"category_scores_codex":[0.0003767956,0.00008152895,0.0000867241,0.00007807615,0.0001082973,0.0001661244,0.0002142856,0.00004059909,0.000005287045],"category_scores_gemma":[0.00001005978,0.00007533716,0.00002051026,0.0001707858,0.00001751312,0.0002028309,0.00008545358,0.00005782175,0.00002591658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003835368,"about_ca_system_score_gemma":0.00003154089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000179189,"about_ca_topic_score_gemma":0.000008861255,"domain_scores_codex":[0.9990703,0.00004848281,0.0001976021,0.0002789269,0.0002610474,0.000143603],"domain_scores_gemma":[0.9995258,0.0001168583,0.00004315908,0.0001925511,0.00008348021,0.00003811364],"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.000001999589,0.00006045015,0.000312302,0.000008904486,0.000003808218,0.000005347321,0.00007086956,0.9406034,0.001843665,0.05165453,0.0003304749,0.005104288],"study_design_scores_gemma":[0.0001577702,0.00001329593,0.01469294,0.000005642854,0.000001385219,0.00003274903,0.000004652244,0.9803625,0.0005145416,0.004026233,0.0000955227,0.0000927568],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1143242,0.00008020001,0.8830634,0.0002543134,0.0001413665,0.0001059586,4.692935e-7,0.0001583016,0.001871862],"genre_scores_gemma":[0.7203547,7.046003e-7,0.2794523,0.00005563045,0.00003680257,0.000003544066,0.000001169892,0.000002988809,0.00009213189],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6060306,"threshold_uncertainty_score":0.307216,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02597570145705436,"score_gpt":0.2351564441956332,"score_spread":0.2091807427385789,"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."}}