{"id":"W2066937537","doi":"10.3182/20090610-3-it-4004.00018","title":"Towards Optimal Supervisory Control of Probabilistic Discrete Event Systems","year":2009,"lang":"en","type":"article","venue":"IFAC Proceedings Volumes","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Probabilistic logic; Supervisor; Probabilistic relevance model; Supervisory control; Probabilistic CTL; Event (particle physics); Computer science; Probabilistic analysis of algorithms; Divergence-from-randomness model; Control (management); Artificial intelligence","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008521393,0.0002969215,0.0005792257,0.0002029015,0.0001181107,0.000300089,0.001472714,0.0001333988,0.000004160086],"category_scores_gemma":[0.000237981,0.0002653108,0.0001583235,0.0005317183,0.00007640329,0.0009337016,0.0001673003,0.0001885296,0.00001776149],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001418403,"about_ca_system_score_gemma":0.0001425071,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000488745,"about_ca_topic_score_gemma":4.521204e-7,"domain_scores_codex":[0.9972159,0.00002905675,0.0007762407,0.0006479273,0.0007781832,0.0005527157],"domain_scores_gemma":[0.9985254,0.00004675717,0.0003314724,0.0003865653,0.0005380099,0.0001717412],"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.0003084893,0.001079377,0.01516637,0.00343704,0.0005076239,0.00006637373,0.01996654,0.08836271,0.05128369,0.6888364,0.005552516,0.1254329],"study_design_scores_gemma":[0.0007890201,0.0004413569,0.002049943,0.0003860949,0.0000320299,0.00007915896,0.0002651213,0.9918711,0.0009261217,0.00187259,0.0008606536,0.0004268773],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2721772,0.002204388,0.7187647,0.0007881337,0.0007074728,0.0009680601,0.00001587695,0.0005006022,0.003873587],"genre_scores_gemma":[0.9846838,0.00001514796,0.01473255,0.00007998587,0.0001678027,0.00005391218,0.000001116326,0.00001696074,0.0002487107],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9035083,"threshold_uncertainty_score":0.9999799,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01972186780613945,"score_gpt":0.2446622337839562,"score_spread":0.2249403659778168,"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."}}