{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003662875,0.0001701853,0.0002489144,0.00006094958,0.0002762204,0.00003058794,0.0001198351,0.0000374841,0.0004021074],"category_scores_gemma":[0.00009481172,0.000162151,0.00003755272,0.0001640483,0.0001897459,0.0001404775,0.00003131704,0.0001319257,0.000005965395],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002162635,"about_ca_system_score_gemma":0.00004845317,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003541227,"about_ca_topic_score_gemma":0.00000689207,"domain_scores_codex":[0.9988966,0.00007953469,0.0003407739,0.0002480667,0.0001844676,0.0002505336],"domain_scores_gemma":[0.9990091,0.0003684335,0.00007970991,0.0003914855,0.00006046473,0.00009085037],"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.0005888271,0.0003851623,0.005378346,0.001390897,0.0009266168,0.00002227125,0.01227268,0.5696648,0.01471716,0.3475967,0.001242089,0.04581439],"study_design_scores_gemma":[0.002569117,0.0001685336,0.002949607,0.0000354694,0.0001007358,0.00003822313,0.002827535,0.9761628,0.0004135336,0.004395425,0.009848161,0.0004908471],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06036525,0.0001493615,0.9245409,0.0002899193,0.0002861331,0.00258784,0.0005731593,0.001100029,0.01010742],"genre_scores_gemma":[0.9790366,0.000006383525,0.02030916,0.00003367758,0.00002619518,0.0003985801,0.00006450087,0.00004962123,0.00007528062],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9186714,"threshold_uncertainty_score":0.6612326,"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."}}