{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002501302,0.0004661675,0.0008136756,0.0004693837,0.0005771814,0.002568652,0.001464095,0.001168053,0.003138836],"category_scores_gemma":[0.008384013,0.0005396385,0.0008710485,0.0003913241,0.002178918,0.00323201,0.001406566,0.00166058,0.0002393585],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002543382,"about_ca_system_score_gemma":0.001504006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002240365,"about_ca_topic_score_gemma":0.002258234,"domain_scores_codex":[0.9980257,0.0005536557,0.0001145851,0.0004898367,0.000650419,0.0001658994],"domain_scores_gemma":[0.9915366,0.006624727,0.0006123249,0.0005288227,0.0005569985,0.000140545],"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.0001711127,0.00006021804,0.0006991169,0.0001928376,0.00005193709,0.0001908982,0.0002563467,0.3420126,0.004433557,0.6265856,0.000824284,0.02452148],"study_design_scores_gemma":[0.00002145477,0.00002925597,0.00008304965,0.000008789723,0.00001390084,0.00002587364,0.0000164239,0.8340843,0.00129584,0.1638098,0.0006012982,0.00001004281],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02885444,0.0001790062,0.9659186,0.0005209107,0.00002142279,0.00004648187,0.00007587548,0.0001984953,0.004184731],"genre_scores_gemma":[0.8758757,0.0002751969,0.1177318,0.0001842974,0.00007441034,0.0002531275,0.0001777747,0.00004485128,0.005382844],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003138836,"threshold_uncertainty_score":0.01845354,"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."}}