{"id":"W2914139984","doi":"10.1109/cdc.2018.8619051","title":"State-Based Control of Timed Discrete-Event Systems","year":2018,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control theory; Supervisory control; Discrete event dynamic system; Computer science; Supervisor; State (computer science); Event (particle physics); Control engineering; Control (management); Control system; Controller (irrigation); Distributed computing; Control theory (sociology); Discrete system; Engineering; Artificial intelligence; Programming language","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.00104034,0.0005392028,0.0005941814,0.0003884748,0.0004208024,0.001464198,0.0009869505,0.0004984679,0.001852289],"category_scores_gemma":[0.003283866,0.0002310868,0.000523732,0.000463021,0.001018799,0.0008810846,0.0009598579,0.0009446087,0.0002456265],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006990433,"about_ca_system_score_gemma":0.0008965783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00235825,"about_ca_topic_score_gemma":0.001790286,"domain_scores_codex":[0.999176,0.0001915102,0.00006571466,0.0001849651,0.0002984598,0.00008329149],"domain_scores_gemma":[0.99866,0.0008294923,0.0001537023,0.00008955062,0.0002082402,0.00005908884],"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.0001522391,0.00005678348,0.0002809605,0.0002013289,0.00004311237,0.0001708867,0.0001918037,0.7137817,0.008592592,0.2246187,0.001055671,0.0508542],"study_design_scores_gemma":[0.00002498245,0.00003466724,0.00004733495,0.00001043426,0.00001071984,0.00001543616,0.00001054381,0.9636672,0.00147197,0.03321998,0.001479813,0.000006881748],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0104209,0.0003099294,0.983261,0.0001244012,0.0001031445,0.00004584639,0.00004819359,0.0004720796,0.005214504],"genre_scores_gemma":[0.943171,0.0005171268,0.0532412,0.00007419429,0.00007536923,0.0001825967,0.00010971,0.00004699895,0.00258188],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00235825,"threshold_uncertainty_score":0.006196558,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01523977379960717,"score_gpt":0.256203507437031,"score_spread":0.2409637336374238,"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."}}