{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009767002,0.0004966733,0.0003729581,0.0003212325,0.0003687228,0.0006425116,0.00115521,0.0004248259,0.001508656],"category_scores_gemma":[0.002515272,0.0003417274,0.000453771,0.0002651294,0.001006974,0.001081688,0.00141913,0.000735833,0.0002422961],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005540433,"about_ca_system_score_gemma":0.001053978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006111536,"about_ca_topic_score_gemma":0.001346043,"domain_scores_codex":[0.9993327,0.0002430965,0.00003187264,0.0001110979,0.0001928968,0.0000883012],"domain_scores_gemma":[0.9989762,0.0004312776,0.0001347154,0.0002879597,0.0001126831,0.00005715733],"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.0001681191,0.00008875036,0.001024425,0.0002135791,0.00004552972,0.0002213103,0.0003100288,0.6929337,0.03699305,0.1711059,0.001024386,0.09587111],"study_design_scores_gemma":[0.00003980253,0.00008420186,0.0001350931,0.00001315625,0.00001921601,0.00006335804,0.0000260269,0.9384382,0.006955262,0.0525242,0.001693054,0.000008441932],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01931872,0.00005976653,0.97868,0.00006697365,0.000007903502,0.00003409063,0.00001242575,0.0002456082,0.001574429],"genre_scores_gemma":[0.7017477,0.0001405989,0.2963961,0.00004172362,0.00001647664,0.0001565468,0.00007505139,0.00008295161,0.001342926],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001508656,"threshold_uncertainty_score":0.005165339,"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."}}