{"id":"W2109482834","doi":"10.1109/robot.1997.619173","title":"Controller design for multiple simultaneous specifications with applications to robotic systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Control engineering; Controller (irrigation); Computer science; Range (aeronautics); Design methods; Set (abstract data type); Control system; Robot; Control theory (sociology); Control (management); Engineering; 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.002657473,0.001333452,0.0007997833,0.0007479891,0.000738272,0.001244791,0.001181612,0.001047959,0.002230917],"category_scores_gemma":[0.005575022,0.0006902168,0.001092126,0.0008092163,0.001271389,0.001183829,0.001527441,0.001610124,0.0004427221],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007201312,"about_ca_system_score_gemma":0.001449076,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001357727,"about_ca_topic_score_gemma":0.001664274,"domain_scores_codex":[0.9968507,0.0008585569,0.0002252126,0.0004520768,0.001466189,0.0001473457],"domain_scores_gemma":[0.9974849,0.00136,0.0003674449,0.0001915489,0.0005411996,0.00005491838],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000171831,0.00008923497,0.0004828448,0.0006297955,0.0001222024,0.0005037888,0.0008215947,0.6296671,0.02736024,0.1282262,0.00163479,0.2102903],"study_design_scores_gemma":[0.00006493995,0.000204493,0.00009737594,0.00005367613,0.00003642926,0.0001642751,0.00007580283,0.942238,0.0109859,0.03977792,0.006272241,0.00002902002],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002149502,0.00009402113,0.9966343,0.00004525804,0.000007921478,0.00003091624,0.000004906854,0.0001160124,0.0009172252],"genre_scores_gemma":[0.4085189,0.0005320411,0.5873412,0.0001531386,0.00005854895,0.0006460525,0.0001037196,0.0001401498,0.002506148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002657473,"threshold_uncertainty_score":0.01405424,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1304408120330387,"score_gpt":0.288467938392112,"score_spread":0.1580271263590733,"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."}}