{"id":"W3207178583","doi":"10.1007/s10626-022-00365-5","title":"Using Subobservers to Synthesize Opacity-Enforcing Supervisors","year":2022,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Opacity; Computer science; Business; Physics; Optics","routes":{"ca_aff":true,"ca_fund":true,"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.002940509,0.0005363462,0.0005926998,0.0005704834,0.0007894348,0.001326453,0.001382325,0.000817803,0.003117247],"category_scores_gemma":[0.01017983,0.000726937,0.0008739633,0.0002828519,0.001538427,0.001417515,0.002597288,0.001801887,0.000459896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007842163,"about_ca_system_score_gemma":0.00186916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002028071,"about_ca_topic_score_gemma":0.004341168,"domain_scores_codex":[0.9980336,0.0005453775,0.000154853,0.0003951487,0.0006251481,0.0002459147],"domain_scores_gemma":[0.9913701,0.004724037,0.0006910088,0.001742628,0.001153195,0.0003190697],"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.0008316464,0.0005485201,0.005729715,0.0005230512,0.000112934,0.001298162,0.002828767,0.3693066,0.09521106,0.2880068,0.003805745,0.2317972],"study_design_scores_gemma":[0.0001162973,0.0001574299,0.0003022433,0.00007598211,0.00008264834,0.00007539555,0.0001663977,0.8106371,0.06626088,0.1157455,0.006340281,0.00003986434],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03113365,0.00003613734,0.9634293,0.00007672005,0.00006053575,0.00009519397,0.00004371551,0.002416772,0.002707981],"genre_scores_gemma":[0.6451132,0.00005698458,0.35122,0.0000785864,0.00003088198,0.0001770202,0.0001590156,0.0005763395,0.002587854],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003117247,"threshold_uncertainty_score":0.01555109,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03919351297862473,"score_gpt":0.2878461450592555,"score_spread":0.2486526320806308,"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."}}