{"id":"https://openalex.org/W2972976869","doi":"https://doi.org/10.23919/acc.2019.8814799","title":"Characterization of Safety and Conditional Invariance for Nonlinear Systems","display_name":"Characterization of Safety and Conditional Invariance for Nonlinear Systems","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W2972976869","doi":"https://doi.org/10.23919/acc.2019.8814799","mag":"2972976869"},"language":"en","primary_location":{"id":"doi:10.23919/acc.2019.8814799","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc.2019.8814799","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010463609","display_name":"Mohamed Maghenem","orcid":"https://orcid.org/0000-0002-8746-9375"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mohamed Maghenem","raw_affiliation_strings":["University of California, Santa Cruz","Department of Electrical and Computer Engineering, University of California, Santa Cruz"],"affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz","institution_ids":["https://openalex.org/I185103710"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of California, Santa Cruz","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028224738","display_name":"Ricardo G. Sanfelice","orcid":"https://orcid.org/0000-0002-6671-5362"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ricardo G. Sanfelice","raw_affiliation_strings":["University of California, Santa Cruz","Department of Electrical and Computer Engineering, University of California, Santa Cruz"],"affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz","institution_ids":["https://openalex.org/I185103710"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of California, Santa Cruz","institution_ids":["https://openalex.org/I185103710"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5010463609"],"corresponding_institution_ids":["https://openalex.org/I185103710"],"apc_list":null,"apc_paid":null,"fwci":1.4968,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.83007043,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"5039","last_page":"5044"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10040","display_name":"Adaptive Control of Nonlinear Systems","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/converse","display_name":"Converse","score":0.7676295042037964},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.7520538568496704},{"id":"https://openalex.org/keywords/infinitesimal","display_name":"Infinitesimal","score":0.6581444144248962},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.6248610615730286},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5607267618179321},{"id":"https://openalex.org/keywords/sign","display_name":"Sign (mathematics)","score":0.48152074217796326},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.47602230310440063},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.4725242257118225},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.46604764461517334},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.43570831418037415},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.430825412273407},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.41738301515579224},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.27522504329681396},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2697112560272217},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.19045305252075195},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.10803490877151489},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09407228231430054},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08081838488578796}],"concepts":[{"id":"https://openalex.org/C2776809875","wikidata":"https://www.wikidata.org/wiki/Q1375963","display_name":"Converse","level":2,"score":0.7676295042037964},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.7520538568496704},{"id":"https://openalex.org/C91229774","wikidata":"https://www.wikidata.org/wiki/Q193885","display_name":"Infinitesimal","level":2,"score":0.6581444144248962},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.6248610615730286},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5607267618179321},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.48152074217796326},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.47602230310440063},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.4725242257118225},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.46604764461517334},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.43570831418037415},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.430825412273407},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.41738301515579224},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.27522504329681396},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2697112560272217},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.19045305252075195},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.10803490877151489},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09407228231430054},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08081838488578796},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc.2019.8814799","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc.2019.8814799","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W651891613","https://openalex.org/W1487844866","https://openalex.org/W1512235915","https://openalex.org/W1551360398","https://openalex.org/W1749724378","https://openalex.org/W1960239420","https://openalex.org/W1972149633","https://openalex.org/W1988538197","https://openalex.org/W1993388102","https://openalex.org/W1993515059","https://openalex.org/W2033118636","https://openalex.org/W2062373349","https://openalex.org/W2077367989","https://openalex.org/W2090770671","https://openalex.org/W2129966419","https://openalex.org/W2142283990","https://openalex.org/W2560504659","https://openalex.org/W2765203865","https://openalex.org/W2963051645","https://openalex.org/W3047637843","https://openalex.org/W3048039037","https://openalex.org/W3098925401","https://openalex.org/W4240329752","https://openalex.org/W4254127125","https://openalex.org/W7062071732"],"related_works":["https://openalex.org/W2387449261","https://openalex.org/W2349952486","https://openalex.org/W1489260687","https://openalex.org/W2418518962","https://openalex.org/W2775700832","https://openalex.org/W2587222766","https://openalex.org/W3204670144","https://openalex.org/W2163101548","https://openalex.org/W4297794244","https://openalex.org/W4286698828"],"abstract_inverted_index":{"This":[0],"paper":[1],"investigates":[2],"sufficient":[3,18],"and":[4,23,43,73],"necessary":[5,81],"conditions":[6,19,75,90],"for":[7,65],"safety":[8,48],"(equivalently,":[9],"conditional":[10],"invariance)":[11],"in":[12,49],"terms":[13],"of":[14,26,38,40,52],"barrier":[15,28,45,69],"functions.":[16],"Relaxed":[17],"concerning":[20],"the":[21,24,27,36,92,98],"sign":[22],"regularity":[25,89],"function":[29,46],"are":[30,71,76],"proposed.":[31],"Furthermore,":[32],"via":[33],"a":[34,50,58],"counterexample,":[35],"lack":[37],"existence":[39],"an":[41],"autonomous":[42,53],"continuous":[44],"certifying":[47],"class":[51],"systems":[54],"is":[55],"shown.":[56],"As":[57],"consequence,":[59],"guided":[60],"by":[61],"converse":[62],"Lyapunov":[63],"theorems":[64],"only":[66],"stability,":[67],"time-varying":[68],"functions":[70],"proposed":[72],"infinitesimal":[74],"shown":[77],"to":[78],"be":[79],"both":[80],"as":[82,84],"well":[83],"sufficient,":[85],"provided":[86],"that":[87],"mild":[88],"on":[91],"system's":[93],"dynamics":[94],"holds.":[95],"Examples":[96],"illustrate":[97],"results.":[99]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}