{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00159043,0.000130178,0.0002253115,0.0001472832,0.0001171147,0.0001294097,0.0009177009,0.00005480823,0.000008830327],"category_scores_gemma":[0.00008374918,0.0001049864,0.0001295761,0.0004964197,0.00001082768,0.0002839427,0.0002284418,0.0000597166,0.0001106722],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003394325,"about_ca_system_score_gemma":0.00004030917,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001778816,"about_ca_topic_score_gemma":0.000004063608,"domain_scores_codex":[0.998482,0.0001048541,0.0002916935,0.0004421357,0.0002603589,0.0004189281],"domain_scores_gemma":[0.9986944,0.0004729945,0.00005189509,0.0006214025,0.00007206848,0.00008726028],"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.00004101427,0.00008198285,0.0003398612,0.0003235661,0.0001764252,0.00002845188,0.002227913,0.06834304,0.01034808,0.7427431,0.03523406,0.1401125],"study_design_scores_gemma":[0.0005787665,0.00003198184,0.00004317601,0.00001323226,0.000005106615,0.000006252943,0.00005647036,0.9848591,0.0008195068,0.008229441,0.005206254,0.0001507051],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004343099,0.00005644483,0.9941183,0.001731423,0.0005418013,0.0004625407,0.000009779116,0.0008319496,0.001813487],"genre_scores_gemma":[0.3360414,0.00000601925,0.6601465,0.000606437,0.0001215893,0.0002928731,0.000005365685,0.0000213072,0.002758504],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9165161,"threshold_uncertainty_score":0.4281221,"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."}}