{"id":"W4315488978","doi":"10.1109/cdc51059.2022.9993125","title":"Enforcing Degree of Opacity with Supervisory Control","year":2022,"lang":"en","type":"article","venue":"2022 IEEE 61st Conference on Decision and Control (CDC)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Supervisory control; Opacity; Degree (music); Control (management); Computer science; Artificial intelligence; Physics; Acoustics","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.006715686,0.0008581991,0.001010273,0.0008422145,0.0009802983,0.003471456,0.001812352,0.001402343,0.001405099],"category_scores_gemma":[0.02653756,0.0005813562,0.001163957,0.0005103122,0.007040236,0.00556573,0.005748085,0.003942389,0.0001570228],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001510243,"about_ca_system_score_gemma":0.001935282,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001312136,"about_ca_topic_score_gemma":0.0008471572,"domain_scores_codex":[0.9918516,0.002146683,0.0007437503,0.001230388,0.003298226,0.0007293777],"domain_scores_gemma":[0.9686117,0.01741372,0.004516943,0.006344983,0.001994939,0.001117722],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004109709,0.0001929346,0.004950197,0.0002644897,0.0001273232,0.0004435234,0.001753757,0.3644762,0.03272597,0.5560095,0.0006382157,0.03800687],"study_design_scores_gemma":[0.00008951759,0.0003010933,0.001009265,0.00008512675,0.00005662979,0.0001509008,0.0001736176,0.6517975,0.02812461,0.3153775,0.00275306,0.00008112942],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04578257,0.00009316192,0.9497675,0.0003265109,0.00004526506,0.00007170765,0.00002382037,0.0003921433,0.003497234],"genre_scores_gemma":[0.9286534,0.00007021223,0.0701289,0.00008587525,0.00004385183,0.0001016421,0.00001795096,0.00004726926,0.0008508252],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006715686,"threshold_uncertainty_score":0.03551638,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06413985173812783,"score_gpt":0.251919132485553,"score_spread":0.1877792807474252,"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."}}