{"id":"W2119907112","doi":"10.1109/cdc.1992.371015","title":"The supervisory control of timed discrete-event systems","year":2005,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Controllability; Event (particle physics); Semantics (computer science); Computer science; Control (management); Model checking; Theoretical computer science; Controller (irrigation); Programming language; Algorithm; Mathematics; Artificial intelligence; Applied mathematics","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.0005276154,0.0003763221,0.0003317167,0.000247342,0.0002594641,0.001226069,0.0005963806,0.0004002154,0.001320119],"category_scores_gemma":[0.001664595,0.0002234598,0.0003913752,0.0002162237,0.001100965,0.0008566623,0.0006701362,0.0008998874,0.0001540026],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004328318,"about_ca_system_score_gemma":0.0008438616,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001431431,"about_ca_topic_score_gemma":0.001217232,"domain_scores_codex":[0.9995794,0.0001073153,0.00003310906,0.0000963055,0.0001505906,0.00003327797],"domain_scores_gemma":[0.9995328,0.0002526334,0.00006741809,0.00005838161,0.00006349703,0.00002528395],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009443493,0.00004682574,0.0002756025,0.0001997375,0.00003419417,0.0002734711,0.0003015594,0.3807382,0.0166891,0.5411273,0.00108114,0.05913858],"study_design_scores_gemma":[0.00003630514,0.000074416,0.0001716712,0.00002316376,0.00001742028,0.00005692715,0.0000197278,0.8450246,0.004299953,0.1417835,0.008477136,0.00001507776],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01162042,0.0005976304,0.9808124,0.0001613503,0.0001046374,0.00003253885,0.00003409008,0.0002584801,0.006378397],"genre_scores_gemma":[0.8890916,0.001325222,0.1031036,0.0001082884,0.0001919194,0.0001872358,0.00009780714,0.00003944453,0.005854918],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001431431,"threshold_uncertainty_score":0.004416227,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02096966253093903,"score_gpt":0.2415387649939455,"score_spread":0.2205691024630065,"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."}}