{"id":"W4398760893","doi":"10.1016/j.ifacol.2024.07.018","title":"A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems","year":2024,"lang":"en","type":"article","venue":"IFAC-PapersOnLine","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Mount Allison University","funders":"","keywords":"Supervisory control; Computer science; Event (particle physics); Algorithm; Control (management); Discrete event dynamic system; Artificial intelligence; Discrete system; Physics","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.0007097964,0.0001893493,0.000372622,0.0002760808,0.00004029647,0.0001508673,0.0006010924,0.0001089175,0.000004588984],"category_scores_gemma":[0.00007124668,0.0001711828,0.0001230859,0.0005415664,0.0000165792,0.0004331647,0.00007189114,0.0001499049,0.00001127471],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001719685,"about_ca_system_score_gemma":0.0003108145,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004105048,"about_ca_topic_score_gemma":0.0000459366,"domain_scores_codex":[0.9981318,0.00008517588,0.0006285071,0.0005036159,0.0003376668,0.0003132517],"domain_scores_gemma":[0.9989135,0.0003080442,0.0001042897,0.0004820819,0.00009613217,0.00009591722],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003252547,0.0001249231,0.0004168756,0.001101863,0.0001716378,0.00003866715,0.006952878,0.03814055,0.02692095,0.02945827,0.00004463784,0.8965963],"study_design_scores_gemma":[0.0007120735,0.00008422872,0.0001274748,0.0005791875,0.00001530942,0.00001410877,0.0002151973,0.9968604,0.0003235,0.0001875702,0.0006992378,0.0001816871],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006194321,0.004988316,0.9862243,0.0005594869,0.001126893,0.0005963935,0.00006580901,0.0001597916,0.00008467939],"genre_scores_gemma":[0.571775,0.00003421614,0.4275957,0.00003372444,0.0002471201,0.00006538778,0.00001645288,0.00001819018,0.0002142434],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9587198,"threshold_uncertainty_score":0.6980633,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03027808156744709,"score_gpt":0.2794364510480423,"score_spread":0.2491583694805952,"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."}}