{"id":"W3044473742","doi":"10.48550/arxiv.2007.11086","title":"Converse Barrier Functions via Lyapunov Functions","year":2020,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Fault Detection and Control Systems","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs; Government of Ontario","keywords":"Converse; Lyapunov function; Mathematics; Function (biology); Lyapunov redesign; Lyapunov equation; Robustness (evolution); Closure (psychology); Control-Lyapunov function; Lyapunov exponent; Control theory (sociology); Applied mathematics; Computer science; Nonlinear system","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.002398536,0.001436532,0.0007809913,0.001534109,0.0007265221,0.00165943,0.001097274,0.001414017,0.005323374],"category_scores_gemma":[0.007043113,0.0005123944,0.001865533,0.0004489774,0.001698641,0.003300455,0.003203094,0.003141493,0.001237952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008429893,"about_ca_system_score_gemma":0.0007938282,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006270616,"about_ca_topic_score_gemma":0.0002940866,"domain_scores_codex":[0.9983994,0.0004535169,0.00009625826,0.000271645,0.0005801657,0.0001988635],"domain_scores_gemma":[0.9972811,0.001242336,0.0003281764,0.0004258566,0.0005893378,0.000133328],"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.00006532809,0.00004508319,0.0002753538,0.0001984272,0.00004070558,0.0004243748,0.0002913785,0.05035589,0.01412983,0.9147638,0.001926866,0.01748301],"study_design_scores_gemma":[0.00003974209,0.0002721303,0.0003338652,0.00009785839,0.00006272512,0.0006388269,0.0001334243,0.4815664,0.02273188,0.4802902,0.01376036,0.00007248773],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01538855,0.0003518962,0.9648849,0.0005784772,0.0001490934,0.00006253937,0.00008195518,0.0002517563,0.01825081],"genre_scores_gemma":[0.8231627,0.001168036,0.1549439,0.0008856996,0.0003519958,0.0004998024,0.0002840787,0.0002946608,0.01840913],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005323374,"threshold_uncertainty_score":0.0178085,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03649497567615187,"score_gpt":0.1558036225458742,"score_spread":0.1193086468697223,"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."}}