{"id":"W2138880912","doi":"10.1109/cdc.2005.1582704","title":"Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation","year":2006,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke; Université Laval","funders":"","keywords":"Parameterized complexity; Controller (irrigation); State space; State (computer science); Predicate (mathematical logic); Computer science; Invariant (physics); Control theory (sociology); Discrete mathematics; Mathematics; Control (management); Algorithm; Artificial intelligence; Programming language","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.0007562364,0.0001624904,0.000420187,0.00008986316,0.00007312193,0.00014718,0.0005004469,0.00005955719,0.000002646819],"category_scores_gemma":[0.00007865969,0.0001331642,0.0001491344,0.0002335886,0.00003153786,0.0003701736,0.00007324971,0.00003760323,0.000006119924],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008832672,"about_ca_system_score_gemma":0.00006490339,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004379686,"about_ca_topic_score_gemma":0.00001934767,"domain_scores_codex":[0.9980416,0.0001446423,0.0007600462,0.0003677392,0.00036563,0.0003202968],"domain_scores_gemma":[0.9982404,0.0006747303,0.000355853,0.0005106306,0.0001661459,0.00005226149],"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.0002132169,0.0001086267,0.0006337272,0.0002478846,0.0001597072,0.000002126218,0.0001410547,0.8779086,0.02263473,0.09312222,0.001011485,0.003816645],"study_design_scores_gemma":[0.001015008,0.00005231319,0.0004271648,0.00007930173,0.00001821526,0.00000214763,0.00004020803,0.9848791,0.0107733,0.002202644,0.0003302752,0.0001802604],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09528904,0.00007934523,0.9027475,0.0002811963,0.0005413382,0.0006617834,0.00001938422,0.0001103882,0.0002700598],"genre_scores_gemma":[0.9491436,0.000003240688,0.04996616,0.00003741668,0.00006237163,0.0002125295,0.000004282552,0.00001354015,0.0005568944],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8538545,"threshold_uncertainty_score":0.5430278,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03421962444828194,"score_gpt":0.2604836628219421,"score_spread":0.2262640383736601,"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."}}