{"id":"W2112951648","doi":"10.1109/wodes.2006.382510","title":"Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control","year":2006,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Controllability; Supervisor; Supervisory control; Algorithm; Predicate (mathematical logic); Set (abstract data type); Theoretical computer science; Fixed point; Interface (matter); Programming language; Control (management); Mathematics; Artificial intelligence; Applied mathematics; Parallel computing","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":[],"consensus_categories":[],"category_scores_codex":[0.0003120871,0.00008131637,0.000172813,0.000120101,0.00003594041,0.00004708556,0.0003724872,0.00004962415,0.000008579592],"category_scores_gemma":[0.0000491022,0.0000726682,0.00003376657,0.0001668736,0.0000546734,0.0001418827,0.00004655044,0.00005507952,0.000007249035],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002078785,"about_ca_system_score_gemma":0.00003904154,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001058398,"about_ca_topic_score_gemma":0.000006700502,"domain_scores_codex":[0.9990646,0.0001017904,0.0002704688,0.0002456609,0.0001804385,0.0001370839],"domain_scores_gemma":[0.9991179,0.0003353507,0.00005672596,0.0003961161,0.00005679451,0.00003708348],"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.0001344854,0.0006866607,0.03037411,0.0004541414,0.00009363556,0.00001175068,0.0008743966,0.03451931,0.3338547,0.4430936,0.001173203,0.15473],"study_design_scores_gemma":[0.000387286,0.00002874636,0.007104648,0.00004685687,0.000007157996,0.000005461876,0.00001044596,0.9383819,0.05263177,0.001070908,0.0002031291,0.0001217179],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2376646,0.0001870328,0.759759,0.000417371,0.00005177908,0.00008212693,0.00000193496,0.00007419708,0.001761985],"genre_scores_gemma":[0.9764067,0.000002343552,0.02344445,0.00006186791,0.00002363146,0.00001590021,3.638684e-7,0.000005159285,0.00003958758],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9038626,"threshold_uncertainty_score":0.2963324,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01959294313369705,"score_gpt":0.2260742003147206,"score_spread":0.2064812571810235,"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."}}