{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000944264,0.0008782605,0.001561962,0.0006011802,0.0004636432,0.0004011689,0.004590131,0.0005061611,0.00001272695],"category_scores_gemma":[0.0001220913,0.0009181384,0.0002906166,0.0002154225,0.0005171003,0.0006863591,0.001352913,0.0008962402,0.00001252099],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001268781,"about_ca_system_score_gemma":0.0001483137,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005539553,"about_ca_topic_score_gemma":0.00001808273,"domain_scores_codex":[0.9966539,0.000135867,0.001547587,0.0006728303,0.0004185837,0.0005713006],"domain_scores_gemma":[0.9893566,0.001184796,0.0006027973,0.007952045,0.0005963992,0.0003073193],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006185011,0.000115558,0.0000401077,0.0007494188,0.001879476,0.000005236966,0.0009188839,0.02413986,0.002625149,0.9623546,0.0001300082,0.006979832],"study_design_scores_gemma":[0.00190288,0.0002096607,0.0000671739,0.0008261481,0.0003134,0.00008293439,0.0000484493,0.8571674,0.000006407487,0.0004638957,0.1381001,0.0008115217],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00004771081,0.1244663,0.867707,0.001683371,0.0003901852,0.001287588,0.0004021713,0.0005380313,0.00347768],"genre_scores_gemma":[0.9622203,0.01537727,0.01719655,0.00007843407,0.000153836,0.0005727542,0.00007472972,0.0001592771,0.004166817],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9621726,"threshold_uncertainty_score":0.9993269,"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."}}