{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006458905,0.0001164235,0.0002527525,0.0001107792,0.00005236349,0.00007901966,0.0008235138,0.00003999156,0.00001900401],"category_scores_gemma":[0.00003792247,0.00008958962,0.00006218142,0.0002898606,0.0000673732,0.0001865868,0.00006582537,0.00004825959,0.0001064808],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005026226,"about_ca_system_score_gemma":0.0001122973,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001414439,"about_ca_topic_score_gemma":0.000008648293,"domain_scores_codex":[0.9984722,0.0001258,0.0004284643,0.0002942609,0.0004178107,0.0002615046],"domain_scores_gemma":[0.9986092,0.0001413323,0.0001748567,0.0007491706,0.0002357719,0.00008966075],"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.0004969956,0.001073225,0.01237127,0.00130532,0.0008194168,0.0001224836,0.00543612,0.4362676,0.1266972,0.3397543,0.02410697,0.05154914],"study_design_scores_gemma":[0.0006863209,0.0001440386,0.00009418245,0.00006585004,0.000003884183,0.000003430152,0.00001284108,0.9900442,0.007648752,0.000133818,0.001043447,0.0001191807],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009369612,0.0001081736,0.9846181,0.0001361623,0.0007182959,0.000253484,0.000006493467,0.0001550242,0.004634707],"genre_scores_gemma":[0.9895833,4.986894e-7,0.009571197,0.0001228295,0.00007712415,0.00001620272,6.723474e-7,0.000008229503,0.000619921],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9802137,"threshold_uncertainty_score":0.3653359,"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."}}