{"id":"W3183183520","doi":"10.23919/acc50511.2021.9483376","title":"Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model","year":2021,"lang":"en","type":"article","venue":"","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Lyapunov function; Lyapunov redesign; Computer science; Control theory (sociology); Nonlinear control; State space; Lyapunov equation; Formal methods; Nonlinear system; Lyapunov optimization; Mathematical optimization; Controller (irrigation); Mathematics; Control (management)","routes":{"ca_aff":true,"ca_fund":true,"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.0002154815,0.000226564,0.0003361808,0.00007613251,0.00008426623,0.00005859446,0.0002257113,0.00007960746,0.000004838674],"category_scores_gemma":[0.00001883193,0.0001456556,0.0000332351,0.0005021319,0.00003808628,0.0002536847,0.00001320023,0.0001338287,0.000008705108],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009652242,"about_ca_system_score_gemma":0.00006892915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004740763,"about_ca_topic_score_gemma":0.00007829868,"domain_scores_codex":[0.9985878,0.00006487035,0.0004091452,0.0003713647,0.0003310802,0.0002357311],"domain_scores_gemma":[0.9982805,0.00004860542,0.0001084912,0.000999465,0.0004466974,0.0001162565],"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.00007974637,0.0000490442,0.00008419462,0.00005972684,0.00008280398,6.574323e-7,0.0002553405,0.986604,0.00436036,0.008083299,0.00003043257,0.0003103535],"study_design_scores_gemma":[0.0009467084,0.00005467115,0.00003615888,0.00002988058,0.00005327331,0.00002126144,0.0007491903,0.9960772,0.000758236,0.00002870253,0.001031283,0.0002133777],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002609549,0.0002353021,0.9907337,0.000109118,0.00002995844,0.001568514,0.00006879571,0.0002570147,0.004388014],"genre_scores_gemma":[0.8528385,0.000008014051,0.1454953,0.00005092134,0.0001084252,0.0008561146,0.0001004566,0.00007488694,0.0004673456],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.850229,"threshold_uncertainty_score":0.5939665,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01238123749046216,"score_gpt":0.2021486508997077,"score_spread":0.1897674134092456,"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."}}