{"id":"W1601014517","doi":"10.1007/978-3-642-18098-9_2","title":"A Summary of Some Discrete-Event System Control Problems","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Decidability; Computer science; Automaton; Event (particle physics); Process (computing); Control (management); Formal language; Key (lock); Regular language; Discrete event dynamic system; Theoretical computer science; Distributed computing; Algorithm; Programming language; Discrete system; Artificial intelligence; Computer security","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.0009921947,0.001435128,0.00123244,0.0009996783,0.0007431248,0.002787355,0.001419032,0.00167657,0.01457666],"category_scores_gemma":[0.001786123,0.000581229,0.001450924,0.001966131,0.0008150521,0.002441965,0.0009985156,0.002107727,0.002706834],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009574873,"about_ca_system_score_gemma":0.0007833642,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002364828,"about_ca_topic_score_gemma":0.001554938,"domain_scores_codex":[0.9994499,0.0001040352,0.00006763363,0.0001196281,0.0002212657,0.00003747286],"domain_scores_gemma":[0.9994953,0.0003152442,0.00003212821,0.00004993081,0.00008835195,0.00001895176],"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.0001009669,0.0001721962,0.0002764591,0.001862171,0.00007897344,0.0003094136,0.000136201,0.1091447,0.001518241,0.5668955,0.02696206,0.2925431],"study_design_scores_gemma":[0.00004818919,0.00009871461,0.0004176938,0.0002776754,0.00005852017,0.0002873209,0.00008137315,0.1652624,0.001080595,0.714179,0.1181648,0.00004372388],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.003595918,0.04460922,0.8680175,0.00391261,0.001541994,0.000159519,0.0006104784,0.0002782842,0.0772744],"genre_scores_gemma":[0.2576569,0.1229396,0.4587317,0.003102323,0.006479084,0.0008718236,0.003282997,0.0003572798,0.1465783],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.01457666,"threshold_uncertainty_score":0.04876381,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01974524477320751,"score_gpt":0.2293628391256533,"score_spread":0.2096175943524458,"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."}}