{"id":"W2154148696","doi":"10.1007/978-3-319-77452-7_9","title":"Supervisory Control of Timed Discrete-Event Systems","year":2018,"lang":"en","type":"book-chapter","venue":"Communications and control engineering/Communications and control engineering series","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":366,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Event (particle physics); Computer science; Control (management); Discrete event dynamic system; Discrete system; Programming language; Physics; 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.0002607004,0.0004442287,0.0004252833,0.0002172433,0.0001830083,0.0009144128,0.0006743695,0.0003177489,0.002383778],"category_scores_gemma":[0.0008160955,0.0002307968,0.0003234556,0.0002474985,0.0006226274,0.0004409979,0.0004921896,0.0008803349,0.0003709325],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000285427,"about_ca_system_score_gemma":0.0005413198,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006134555,"about_ca_topic_score_gemma":0.0007923636,"domain_scores_codex":[0.9997535,0.00003893899,0.00001838322,0.00005742157,0.0001089035,0.00002276437],"domain_scores_gemma":[0.9997081,0.0001651237,0.00003474041,0.00003619245,0.00004265591,0.00001310744],"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.0002084051,0.00009758165,0.000221704,0.0004972743,0.00005908374,0.0002280084,0.0004286599,0.4310885,0.04180619,0.237292,0.005253706,0.2828188],"study_design_scores_gemma":[0.00005862779,0.0001353319,0.0002698978,0.00007059598,0.00002556432,0.00007534026,0.0000314842,0.8568649,0.0109216,0.1120658,0.0194596,0.00002120828],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01503851,0.001927724,0.9623278,0.0001462451,0.0005290738,0.00003897994,0.00006119115,0.001062926,0.01886752],"genre_scores_gemma":[0.8936087,0.003290534,0.07994036,0.000109149,0.0003716862,0.000181181,0.0001841485,0.0001378485,0.02217635],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.002383778,"threshold_uncertainty_score":0.007974505,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01704960051631926,"score_gpt":0.2102516715236114,"score_spread":0.1932020710072921,"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."}}