{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001079997,0.0009736856,0.0006688821,0.0004819914,0.0003810855,0.000905431,0.001020593,0.001052281,0.001845045],"category_scores_gemma":[0.001915172,0.0003230559,0.0009639491,0.0003147478,0.001405006,0.0008977464,0.001408675,0.001258963,0.0002199798],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007991741,"about_ca_system_score_gemma":0.001118858,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002822997,"about_ca_topic_score_gemma":0.002116107,"domain_scores_codex":[0.9995244,0.0001545875,0.00002325288,0.00007767276,0.0001746617,0.00004545669],"domain_scores_gemma":[0.9991793,0.0004322534,0.000148696,0.00005596459,0.0001402401,0.00004358127],"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.00004392861,0.00003470925,0.0001726466,0.0001275894,0.00002214099,0.00016888,0.0001552182,0.8460488,0.009028366,0.1358001,0.0002354772,0.008162269],"study_design_scores_gemma":[0.000009219025,0.00007970595,0.00003777371,0.00000888642,0.000005115964,0.00001906546,0.00001336308,0.9873821,0.001176095,0.01068881,0.0005727128,0.000007069726],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00824383,0.00008616778,0.9883455,0.0001363991,0.00001531195,0.00003372503,0.00001743678,0.00007022281,0.003051492],"genre_scores_gemma":[0.8418998,0.0003650898,0.1511861,0.00009998902,0.00003860796,0.0003741328,0.00006125821,0.00007066447,0.005904337],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002822997,"threshold_uncertainty_score":0.00617224,"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."}}