{"id":"W4391381542","doi":"10.1109/wsc60868.2023.10408471","title":"Approximate Discrete-Event Method for Supervisory Control","year":2023,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Supervisory control; Supervisory control theory; Event (particle physics); State space; Computer science; Discrete event dynamic system; State (computer science); Space (punctuation); Control (management); Control engineering; Formal methods; Control theory (sociology); Real-time computing; Algorithm; Discrete system; Engineering; Mathematics; Programming language; Artificial intelligence; Operating system","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.001212518,0.0005498301,0.0006373185,0.0004595336,0.0002784689,0.0007413758,0.0010572,0.0006845614,0.00348168],"category_scores_gemma":[0.003443725,0.0003096295,0.0006282445,0.0004481896,0.0007281728,0.0008360923,0.0005687673,0.001236805,0.0005717828],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007269845,"about_ca_system_score_gemma":0.0007830917,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001704599,"about_ca_topic_score_gemma":0.001522295,"domain_scores_codex":[0.9989129,0.0003408118,0.00006025556,0.0001185326,0.0005339729,0.00003349109],"domain_scores_gemma":[0.9987601,0.0008090893,0.0000815147,0.0001572625,0.0001623855,0.00002954652],"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.0001272141,0.00005133061,0.0003999857,0.0002456437,0.00006242561,0.0001302104,0.0001560358,0.6630714,0.008471943,0.2197208,0.0011108,0.1064522],"study_design_scores_gemma":[0.00001217521,0.00002223076,0.00003293895,0.00001098609,0.000006054493,0.00002714354,0.000005575713,0.9764872,0.001114443,0.01901252,0.003263251,0.000005502258],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004964363,0.00004845154,0.9988226,0.00001398184,0.00001146311,0.00001495271,0.00001074539,0.0001132069,0.0004680846],"genre_scores_gemma":[0.1879769,0.0002625531,0.8079849,0.00006782678,0.00004045883,0.0003264591,0.0001046601,0.0001119796,0.00312412],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00348168,"threshold_uncertainty_score":0.0116474,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05730227401344044,"score_gpt":0.3243346533144001,"score_spread":0.2670323793009597,"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."}}