{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002774759,0.0009829617,0.001006029,0.001078111,0.000810107,0.001624302,0.002033371,0.00124414,0.003421374],"category_scores_gemma":[0.009970796,0.0006847095,0.001419876,0.0007656406,0.001476195,0.003794733,0.001931938,0.002916407,0.0008417214],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009798403,"about_ca_system_score_gemma":0.002166867,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001778784,"about_ca_topic_score_gemma":0.001592491,"domain_scores_codex":[0.9965478,0.0006248883,0.0003353311,0.0008645478,0.001385265,0.0002422129],"domain_scores_gemma":[0.994296,0.003540358,0.0002684665,0.000846195,0.0009483354,0.0001006588],"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.0004677938,0.0002696389,0.00103271,0.0005355165,0.0002066891,0.0003809284,0.0003968446,0.2570013,0.03395131,0.2418509,0.005798601,0.4581078],"study_design_scores_gemma":[0.000125381,0.0001035123,0.000168384,0.00003991409,0.00005582014,0.0001363963,0.0000187781,0.8929448,0.01617874,0.08344855,0.006738471,0.00004129763],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001290014,0.00002648098,0.9976671,0.00003379416,0.00001939544,0.00003830235,0.00002866266,0.0005748398,0.0003215285],"genre_scores_gemma":[0.07127069,0.00007350661,0.9269379,0.000113201,0.00004739991,0.0001985659,0.0002285547,0.0001971436,0.0009330356],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003421374,"threshold_uncertainty_score":0.01467448,"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."}}