{"id":"W4390834546","doi":"","title":"Verification of Inference Observability in Supervisory Control of Discrete-Event Systems","year":2023,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Mount Allison University","funders":"","keywords":"Observability; Supervisory control; Event (particle physics); Inference; Computer science; Control (management); Control theory (sociology); Mathematics; Artificial intelligence; Applied mathematics; 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.003618057,0.0008264359,0.0008742806,0.0006800684,0.0006763161,0.001472418,0.001825144,0.001047514,0.001508714],"category_scores_gemma":[0.01412813,0.0005766277,0.001275908,0.0004464375,0.002476427,0.002446683,0.002086281,0.002150809,0.0002368639],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008637626,"about_ca_system_score_gemma":0.00228633,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002749214,"about_ca_topic_score_gemma":0.0019506,"domain_scores_codex":[0.9957576,0.0008790106,0.0003075362,0.001044887,0.001603337,0.0004075817],"domain_scores_gemma":[0.9834658,0.01314196,0.0008244353,0.001368196,0.001020466,0.0001792151],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0009284947,0.0004038651,0.004581549,0.000608265,0.0002762698,0.0007639785,0.0009349603,0.5769017,0.03733012,0.2015271,0.001582615,0.1741611],"study_design_scores_gemma":[0.00009861767,0.0001099087,0.0003739239,0.00002517482,0.00003987684,0.00006588075,0.00002633937,0.9141501,0.0216445,0.06236893,0.001073538,0.00002324898],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01494676,0.00003443709,0.9835463,0.00005790389,0.00001537573,0.00005374985,0.00003567002,0.0008569455,0.0004529026],"genre_scores_gemma":[0.6258291,0.00009913414,0.3721135,0.0001305567,0.00004352584,0.0002817629,0.0002748372,0.000202176,0.001025405],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003618057,"threshold_uncertainty_score":0.01913434,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05266224147165915,"score_gpt":0.2663067897099355,"score_spread":0.2136445482382764,"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."}}