{"id":"W2142570643","doi":"10.1109/tac.2009.2024376","title":"Probabilistic Supervisory Control of Probabilistic Discrete Event Systems","year":2009,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":42,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Supervisor; Supervisory control; Probabilistic logic; Generalization; Probabilistic CTL; Event (particle physics); Probabilistic relevance model; Computer science; Supervisory control theory; Computation; Control (management); Probabilistic analysis of algorithms; Mathematics; Algorithm; 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.0009882627,0.0004091615,0.0009017274,0.0003547771,0.0001996836,0.0001654156,0.001110112,0.0001553366,0.00002505951],"category_scores_gemma":[0.0000801162,0.0003571133,0.0003303959,0.000607475,0.00009150973,0.0004139513,0.000002425147,0.0002423292,0.00005886703],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002658261,"about_ca_system_score_gemma":0.000235179,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003790209,"about_ca_topic_score_gemma":0.000009171579,"domain_scores_codex":[0.9960725,0.000485608,0.001344016,0.000662809,0.0008616708,0.0005733512],"domain_scores_gemma":[0.9968885,0.0008337692,0.0003757266,0.001421129,0.000266447,0.0002144827],"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.00007119279,0.0006491367,0.000005768539,0.0004219938,0.0001858454,0.00001860227,0.0006345187,0.9427355,0.002607323,0.00692525,0.00003811509,0.04570677],"study_design_scores_gemma":[0.002741627,0.0006180575,0.0001458005,0.0004488132,0.0001390825,0.00005855364,0.00003528849,0.9939564,0.0002224339,0.001258879,0.0000307005,0.0003443166],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01135346,0.0002710907,0.983417,0.0006571306,0.001161432,0.002214992,0.00005585711,0.0006246211,0.0002443861],"genre_scores_gemma":[0.9971364,0.000004841668,0.002122445,0.0002024336,0.00004997099,0.0003282707,7.855546e-7,0.0000243049,0.0001305496],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9857829,"threshold_uncertainty_score":0.9998881,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01937560508312284,"score_gpt":0.2438522378991833,"score_spread":0.2244766328160605,"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."}}