{"id":"W2115425820","doi":"10.1109/tac.2006.875030","title":"Nonblocking Supervisory Control of State Tree Structures","year":2006,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":214,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Computer science; State (computer science); Tree (set theory); State space; Tree structure; Control (management); Theoretical computer science; Control system; Adaptation (eye); Control theory (sociology); Algorithm; Mathematics; Engineering; Binary tree; 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.0004245675,0.0002873382,0.0005677199,0.0003952542,0.0001774532,0.0001137545,0.0007971553,0.00009689615,0.00004572318],"category_scores_gemma":[0.00001008027,0.0002642824,0.0002436391,0.0004489688,0.00006783157,0.0003459282,0.000002222378,0.0001789526,0.0000261246],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009798553,"about_ca_system_score_gemma":0.0001165359,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001860887,"about_ca_topic_score_gemma":0.0001176648,"domain_scores_codex":[0.9974608,0.0002176315,0.0008549769,0.0004260606,0.0006116106,0.0004289213],"domain_scores_gemma":[0.9980639,0.0005939231,0.0002612677,0.0008470717,0.0001471469,0.00008664586],"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.00005060739,0.0003089991,0.00008469724,0.0001434266,0.0002458876,0.00002674279,0.0006577959,0.6767803,0.02842094,0.001760462,0.00008420591,0.2914359],"study_design_scores_gemma":[0.003292376,0.0001049021,0.0007546301,0.0000936506,0.00005945648,0.00002896687,0.00001771627,0.9839262,0.009470046,0.001950494,0.00004586383,0.0002557207],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05626664,0.0001603148,0.9412529,0.0002193281,0.0007215172,0.0004912039,0.00004487656,0.0004555098,0.0003877376],"genre_scores_gemma":[0.989802,0.00000307771,0.009751909,0.0001796026,0.00004474222,0.00006703392,4.795784e-7,0.00002524258,0.0001259383],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9335353,"threshold_uncertainty_score":0.9999809,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01462028552831373,"score_gpt":0.2257360555745237,"score_spread":0.2111157700462099,"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."}}