{"id":"W1948672577","doi":"10.1109/cdc.1989.70090","title":"Classical and logic based regulator design and its complexity for partially observed automata","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Canadian Institute for Advanced Research","funders":"","keywords":"Controllability; Finite-state machine; Automaton; State (computer science); Observability; Dynamical systems theory; Computer science; Mathematics; Terminal (telecommunication); Finite state; Algebra over a field; Theoretical computer science; Discrete mathematics; Algorithm; Applied mathematics; Pure mathematics","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.000588892,0.0001534854,0.0002133814,0.00003159909,0.0001915008,0.0001792228,0.0002794568,0.00008599985,0.00002355487],"category_scores_gemma":[0.0002674911,0.0001150602,0.00004185864,0.0001228549,0.00009217132,0.000217188,0.00009231716,0.00005810975,0.000009328442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001732225,"about_ca_system_score_gemma":0.0001095704,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001822196,"about_ca_topic_score_gemma":0.0000153917,"domain_scores_codex":[0.998767,0.0001771953,0.00017372,0.0004513109,0.0001217351,0.0003090213],"domain_scores_gemma":[0.998992,0.0003763775,0.00005354514,0.0002966488,0.00008845481,0.0001930135],"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.00001562476,0.00008623886,0.0003640683,0.00002752509,0.000008552815,0.000003943544,0.00006184991,0.00002249622,0.0005805932,0.9951084,0.002261574,0.001459176],"study_design_scores_gemma":[0.001338848,0.0003099398,0.008156562,0.00001055544,0.00001106414,0.00001524342,0.00000531226,0.9236711,0.006056346,0.05455399,0.005625128,0.0002459611],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01115793,0.0002485088,0.9847206,0.0009715862,0.0001307487,0.0004434494,0.000001718155,0.0002471499,0.002078298],"genre_scores_gemma":[0.6822059,0.000004714895,0.3167325,0.0004400405,0.00002303942,0.00002821774,0.000001372353,0.000006566564,0.0005577375],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9405544,"threshold_uncertainty_score":0.469202,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1629217192318736,"score_gpt":0.2833770004477087,"score_spread":0.1204552812158351,"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."}}