{"id":"W1552519843","doi":"10.1007/978-1-4757-6656-1_5","title":"STCT: An Efficient Algorithm for Supervisory Control Design","year":2002,"lang":"en","type":"book-chapter","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":57,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Modular design; Computer science; Integer (computer science); Event (particle physics); Algorithm; Control (management); Software; 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.0005230707,0.001483462,0.001021311,0.0009313812,0.0006581431,0.00104286,0.001491067,0.001146985,0.01119865],"category_scores_gemma":[0.00152834,0.0007636855,0.0009357758,0.0009944248,0.0007375453,0.001296342,0.001001452,0.001660225,0.002432755],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008149325,"about_ca_system_score_gemma":0.001995423,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00489959,"about_ca_topic_score_gemma":0.006529189,"domain_scores_codex":[0.9995841,0.0000775498,0.00003497411,0.00008653682,0.0001788567,0.00003785268],"domain_scores_gemma":[0.9994715,0.0002541569,0.00002763415,0.00008345394,0.0001461163,0.000017211],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002283226,0.0000745939,0.0002354529,0.0003288307,0.00004691196,0.00007886007,0.00007153431,0.2580196,0.01117392,0.03815239,0.01372949,0.6778601],"study_design_scores_gemma":[0.0000590693,0.00005585751,0.00006492736,0.00003605132,0.00002043423,0.00005505307,0.00001216621,0.9615925,0.006753666,0.02309053,0.008246637,0.00001301534],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000854678,0.00007207602,0.9953533,0.00002474716,0.00003468845,0.00004117502,0.00006193127,0.002088256,0.001469099],"genre_scores_gemma":[0.04230586,0.000153294,0.9532613,0.00006751413,0.00002890438,0.0003198543,0.0003285221,0.0004671465,0.003067597],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01119865,"threshold_uncertainty_score":0.03746319,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0853146087217464,"score_gpt":0.2466526292046334,"score_spread":0.161338020482887,"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."}}