{"id":"https://openalex.org/W4210262114","doi":"https://doi.org/10.1109/safeprocess52771.2021.9693698","title":"A New Safety Criterion for Dynamics Systems by Barrier Function based on Forward Invariant Set","display_name":"A New Safety Criterion for Dynamics Systems by Barrier Function based on Forward Invariant Set","publication_year":2021,"publication_date":"2021-12-17","ids":{"openalex":"https://openalex.org/W4210262114","doi":"https://doi.org/10.1109/safeprocess52771.2021.9693698"},"language":"en","primary_location":{"id":"doi:10.1109/safeprocess52771.2021.9693698","is_oa":false,"landing_page_url":"https://doi.org/10.1109/safeprocess52771.2021.9693698","pdf_url":null,"source":{"id":"https://openalex.org/S4363605570","display_name":"2021 CAA Symposium on Fault Detection, Supervision, and Safety for Technical Processes (SAFEPROCESS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 CAA Symposium on Fault Detection, Supervision, and Safety for Technical Processes (SAFEPROCESS)","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/A5029032310","display_name":"Zheren Zhu","orcid":"https://orcid.org/0000-0002-8378-5063"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zheren Zhu","raw_affiliation_strings":["College of Ctrl. Sci. and Eng., Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"College of Ctrl. Sci. and Eng., Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052594325","display_name":"Yi Chai","orcid":"https://orcid.org/0000-0002-2717-5981"},"institutions":[{"id":"https://openalex.org/I158842170","display_name":"Chongqing University","ror":"https://ror.org/023rhb549","country_code":"CN","type":"education","lineage":["https://openalex.org/I158842170"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Chai","raw_affiliation_strings":["College of Automation, Chongqing University, Chongqing, China"],"affiliations":[{"raw_affiliation_string":"College of Automation, Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048733958","display_name":"Zhihuan Song","orcid":"https://orcid.org/0000-0003-4098-6479"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhihuan Song","raw_affiliation_strings":["College of Ctrl. Sci. and Eng., Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"College of Ctrl. Sci. and Eng., Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038566545","display_name":"Pengfei Huang","orcid":"https://orcid.org/0000-0001-5602-1730"},"institutions":[{"id":"https://openalex.org/I158842170","display_name":"Chongqing University","ror":"https://ror.org/023rhb549","country_code":"CN","type":"education","lineage":["https://openalex.org/I158842170"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pengfei Huang","raw_affiliation_strings":["College of Automation, Chongqing University, Chongqing, China"],"affiliations":[{"raw_affiliation_string":"College of Automation, Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5029032310"],"corresponding_institution_ids":["https://openalex.org/I76130692"],"apc_list":null,"apc_paid":null,"fwci":0.4363,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.52656104,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"57","issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9986000061035156,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9986000061035156,"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/T11372","display_name":"Hydraulic and Pneumatic Systems","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical 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/T14470","display_name":"Advanced Data Processing Techniques","score":0.9916999936103821,"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/observability","display_name":"Observability","score":0.6242353320121765},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.5977158546447754},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.5517261028289795},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5040863752365112},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5019025802612305},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4612544775009155},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4611426293849945},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.4508703052997589},{"id":"https://openalex.org/keywords/system-dynamics","display_name":"System dynamics","score":0.41564565896987915},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3716636598110199},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.36849579215049744},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23983338475227356},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.2310466766357422},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.15964260697364807}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.6242353320121765},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.5977158546447754},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.5517261028289795},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5040863752365112},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5019025802612305},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4612544775009155},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4611426293849945},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.4508703052997589},{"id":"https://openalex.org/C77405623","wikidata":"https://www.wikidata.org/wiki/Q598451","display_name":"System dynamics","level":2,"score":0.41564565896987915},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3716636598110199},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.36849579215049744},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23983338475227356},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.2310466766357422},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.15964260697364807},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","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},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/safeprocess52771.2021.9693698","is_oa":false,"landing_page_url":"https://doi.org/10.1109/safeprocess52771.2021.9693698","pdf_url":null,"source":{"id":"https://openalex.org/S4363605570","display_name":"2021 CAA Symposium on Fault Detection, Supervision, and Safety for Technical Processes (SAFEPROCESS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 CAA Symposium on Fault Detection, Supervision, and Safety for Technical Processes (SAFEPROCESS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.5099999904632568,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1972149633","https://openalex.org/W1980569135","https://openalex.org/W1987782678","https://openalex.org/W2069573889","https://openalex.org/W2077367989","https://openalex.org/W2112407936","https://openalex.org/W2166929155","https://openalex.org/W2238345790","https://openalex.org/W2417158417","https://openalex.org/W2444182193","https://openalex.org/W2466026990","https://openalex.org/W2475374629","https://openalex.org/W2521880971","https://openalex.org/W2560504659","https://openalex.org/W2997641576","https://openalex.org/W3017024423","https://openalex.org/W4206952330","https://openalex.org/W4292249799","https://openalex.org/W4304163049","https://openalex.org/W6643032878","https://openalex.org/W6845813190"],"related_works":["https://openalex.org/W2046459260","https://openalex.org/W2765830098","https://openalex.org/W2967463586","https://openalex.org/W1971989957","https://openalex.org/W2517338020","https://openalex.org/W3157641275","https://openalex.org/W4312300846","https://openalex.org/W4206221578","https://openalex.org/W3029572990","https://openalex.org/W2615757685"],"abstract_inverted_index":{"This":[0],"paper":[1],"has":[2,130],"put":[3],"a":[4,58,63,114],"lot":[5],"of":[6,13,21,42,50,65,105,116,127],"effort":[7],"into":[8],"the":[9,11,14,19,40,85,103,125,128],"enhancement":[10],"observability":[12],"reciprocal":[15],"barrier":[16,27,35,43,74,98,108],"function":[17,36,44,75,99,109],"at":[18],"boundary":[20],"forward":[22,78],"invariant":[23,79],"set.":[24],"A":[25],"exponential":[26,73,97],"function,":[28],"which":[29],"is":[30,54,100],"essentially":[31],"different":[32],"from":[33],"zeroing":[34],"and":[37,80,88,110],"can":[38,83],"simplify":[39],"construction":[41],"without":[45],"sum-of":[46],"squares":[47],"(SOS)":[48],"programming":[49],"positive":[51],"semi-definite":[52],"polynomials,":[53],"designed":[55],"to":[56,102],"create":[57],"new":[59],"safety":[60],"criterion":[61],"for":[62,76,113],"class":[64,115],"dynamic":[66,118],"system.":[67],"And":[68],"it":[69],"verifies":[70],"that":[71],"an":[72],"its":[77],"pre-compact":[81],"set":[82],"make":[84],"system":[86],"safe":[87],"uniformly":[89],"asymptotically":[90],"stable,":[91],"even":[92],"exponentially":[93],"stable.":[94],"Moreover,":[95],"The":[96],"applied":[101],"establishment":[104],"corresponding":[106],"control":[107,111,119],"laws":[112],"nonlinear":[117],"systems.":[120],"Then,":[121],"through":[122],"simulation":[123],"examples,":[124],"correctness":[126],"theory":[129],"been":[131],"visually":[132],"verified.":[133]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}