{"id":"W2116828026","doi":"10.1109/coase.2005.1506804","title":"Embedded supervisory control of discrete-event systems","year":2005,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Supervisory control; Supervisor; Extended finite-state machine; Finite-state machine; Guard (computer science); Boolean expression; Computer science; Boolean data type; Boolean function; Supervisory control theory; Theoretical computer science; Event (particle physics); Automaton; Circuit minimization for Boolean functions; Set (abstract data type); State (computer science); Boolean algebra; Deterministic finite automaton; Control (management); Algorithm; Programming language; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008139554,0.0003985896,0.0004349636,0.0002321798,0.0002229259,0.0009917633,0.0009749361,0.0004078683,0.00138867],"category_scores_gemma":[0.002101034,0.0002045104,0.0003822518,0.0001653345,0.0007808421,0.0009158441,0.0006785822,0.000952067,0.0002202896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003488688,"about_ca_system_score_gemma":0.0006141283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008514837,"about_ca_topic_score_gemma":0.0009659551,"domain_scores_codex":[0.999293,0.0001959011,0.00005735216,0.0001596183,0.0002382615,0.00005591306],"domain_scores_gemma":[0.9986853,0.0007078328,0.0001552139,0.0002352924,0.000159633,0.00005673505],"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.0003312205,0.0002645669,0.001489347,0.0004047409,0.00009695724,0.0005702614,0.0006057511,0.5947001,0.05553272,0.1803244,0.00109405,0.1645859],"study_design_scores_gemma":[0.0000548354,0.0001099431,0.0002238598,0.0000253831,0.00002208195,0.0000569919,0.00002043618,0.9528607,0.01174033,0.02872047,0.006151936,0.00001316941],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02548715,0.0002100054,0.970551,0.0000735883,0.00007371487,0.00004549912,0.00002473155,0.001009367,0.002524985],"genre_scores_gemma":[0.8090837,0.0003011657,0.1875972,0.00008278857,0.00005814398,0.0001337704,0.00008609151,0.00006868764,0.002588395],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00138867,"threshold_uncertainty_score":0.004645586,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02524493988061959,"score_gpt":0.2544913787153369,"score_spread":0.2292464388347173,"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."}}