{"id":"W2952777129","doi":"10.1109/cdc.2012.6426607","title":"Supervisor localization of discrete-event systems based on State Tree Structures","year":2012,"lang":"en","type":"preprint","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisor; Supervisory control; Computer science; Event (particle physics); Tree (set theory); Distributed computing; State (computer science); Control (management); Tree structure; Decomposition; Control theory (sociology); Exploit; Computation; Controller (irrigation); Mathematics; Algorithm; Artificial intelligence; Binary tree; Physics","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.0006269185,0.0002937583,0.0004096221,0.0004783183,0.000290901,0.0007213022,0.0005313539,0.0003016689,0.001072873],"category_scores_gemma":[0.001944084,0.000264643,0.0003663976,0.0004160336,0.001040734,0.001213174,0.0007663866,0.0007950633,0.0001544429],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006928903,"about_ca_system_score_gemma":0.0007476168,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00137715,"about_ca_topic_score_gemma":0.001353927,"domain_scores_codex":[0.9996392,0.000101376,0.00002322691,0.00007846825,0.0001224139,0.0000353707],"domain_scores_gemma":[0.9989977,0.0006043382,0.0001110768,0.0001065235,0.000134933,0.00004541801],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001320932,0.00004846391,0.001007776,0.0001623605,0.0000391878,0.0001859772,0.0003446843,0.5866461,0.01861693,0.3196395,0.0006293514,0.07254752],"study_design_scores_gemma":[0.00001472791,0.00003438823,0.0001241597,0.000007885365,0.00001009143,0.00001431105,0.00001447082,0.9420855,0.004630105,0.051971,0.001086628,0.000006722575],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01770068,0.00009195892,0.981169,0.0000474991,0.000008144929,0.00001182911,0.00001349244,0.0002389876,0.0007184853],"genre_scores_gemma":[0.7947069,0.0002905095,0.2028701,0.00004677711,0.00002121591,0.00008985862,0.0001047707,0.00006600311,0.001803988],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00137715,"threshold_uncertainty_score":0.005027294,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03138613463199767,"score_gpt":0.2721860114325337,"score_spread":0.2407998768005361,"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."}}