{"id":"W3084158465","doi":"10.1016/j.automatica.2022.110478","title":"Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications","year":2022,"lang":"en","type":"article","venue":"Automatica","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Ontario Ministry of Research and Innovation; Natural Sciences and Engineering Research Council of Canada; Ontario Ministry of Research, Innovation and Science; Canada Research Chairs","keywords":"Lyapunov function; Converse; Mathematics; Lyapunov redesign; Lyapunov equation; Control-Lyapunov function; Dynamical systems theory; Control theory (sociology); Lyapunov optimization; Stability (learning theory); Lyapunov exponent; Control (management); Computer science; Nonlinear system; Chaotic","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.003426436,0.002675034,0.001365261,0.001868521,0.0009754113,0.00205308,0.00204385,0.001928403,0.005394365],"category_scores_gemma":[0.01197757,0.0007961569,0.002255434,0.0008161137,0.002180652,0.003739328,0.004667005,0.003827974,0.0007129208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00167085,"about_ca_system_score_gemma":0.002109279,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002643715,"about_ca_topic_score_gemma":0.001750303,"domain_scores_codex":[0.9987983,0.0003865669,0.0000585809,0.0001648149,0.0004094865,0.0001823247],"domain_scores_gemma":[0.9954491,0.002540578,0.0004433376,0.0002736319,0.001056338,0.0002369953],"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.0002675419,0.00007857782,0.0003713864,0.0003042129,0.00008576085,0.0002939858,0.0004532754,0.1365435,0.009294353,0.8385239,0.002959454,0.01082408],"study_design_scores_gemma":[0.0000548583,0.0001525907,0.0002800369,0.00004794633,0.00004854224,0.00009905913,0.0001515198,0.7134411,0.002884053,0.2810877,0.001713358,0.00003922726],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03509296,0.0003213116,0.9397466,0.0008046586,0.000103256,0.00009813749,0.0002016945,0.0002521835,0.02337921],"genre_scores_gemma":[0.9138324,0.0007715686,0.06177969,0.0005640326,0.0001349655,0.0005776525,0.0003627056,0.0002653882,0.02171152],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005394365,"threshold_uncertainty_score":0.01812094,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01329226888848809,"score_gpt":0.1970962283118272,"score_spread":0.1838039594233391,"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."}}