{"id":"https://openalex.org/W3185235159","doi":"https://doi.org/10.1007/978-3-030-81685-8_21","title":"Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming","display_name":"Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3185235159","doi":"https://doi.org/10.1007/978-3-030-81685-8_21","mag":"3185235159"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-81685-8_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-81685-8_21","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-81685-8_21.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-81685-8_21.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058964600","display_name":"Qiuye Wang","orcid":"https://orcid.org/0000-0001-5138-3273"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qiuye Wang","raw_affiliation_strings":["SKLCS, Institute of Software, CAS, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"SKLCS, Institute of Software, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043436285","display_name":"Mingshuai Chen","orcid":"https://orcid.org/0000-0001-9663-7441"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mingshuai Chen","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100781916","display_name":"Xue Bai","orcid":"https://orcid.org/0000-0001-9717-846X"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bai Xue","raw_affiliation_strings":["SKLCS, Institute of Software, CAS, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"SKLCS, Institute of Software, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026435847","display_name":"Naijun Zhan","orcid":"https://orcid.org/0000-0003-3298-3817"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Naijun Zhan","raw_affiliation_strings":["SKLCS, Institute of Software, CAS, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"SKLCS, Institute of Software, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090819329","display_name":"Joost-Pieter Katoen","orcid":"https://orcid.org/0000-0002-6143-1926"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Joost-Pieter Katoen","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5058964600"],"corresponding_institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":6.5418,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.97578947,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"443","last_page":"466"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.9904999732971191,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9890999794006348,"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/invariant","display_name":"Invariant (physics)","score":0.5669930577278137},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5605895519256592},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.5267552733421326},{"id":"https://openalex.org/keywords/convex-optimization","display_name":"Convex optimization","score":0.4511300325393677},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4114050567150116},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37947383522987366},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.37051719427108765},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34320932626724243}],"concepts":[{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.5669930577278137},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5605895519256592},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.5267552733421326},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.4511300325393677},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4114050567150116},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37947383522987366},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.37051719427108765},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34320932626724243},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-81685-8_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-81685-8_21","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-81685-8_21.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-81685-8_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-81685-8_21","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-81685-8_21.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3185235159.pdf","grobid_xml":"https://content.openalex.org/works/W3185235159.grobid-xml"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W126279018","https://openalex.org/W1440015328","https://openalex.org/W1480692184","https://openalex.org/W1480909796","https://openalex.org/W1559197676","https://openalex.org/W1568518466","https://openalex.org/W1573837784","https://openalex.org/W1582811927","https://openalex.org/W1607353007","https://openalex.org/W1627251346","https://openalex.org/W1967969202","https://openalex.org/W1977875716","https://openalex.org/W1978606791","https://openalex.org/W1979646426","https://openalex.org/W1986468691","https://openalex.org/W1994475353","https://openalex.org/W1999629321","https://openalex.org/W2004463571","https://openalex.org/W2011199136","https://openalex.org/W2015530812","https://openalex.org/W2019176559","https://openalex.org/W2038498011","https://openalex.org/W2056024378","https://openalex.org/W2058209380","https://openalex.org/W2080367663","https://openalex.org/W2083862837","https://openalex.org/W2089122170","https://openalex.org/W2091208171","https://openalex.org/W2102461053","https://openalex.org/W2102696258","https://openalex.org/W2118550318","https://openalex.org/W2129729773","https://openalex.org/W2131332110","https://openalex.org/W2138578830","https://openalex.org/W2152557104","https://openalex.org/W2396103282","https://openalex.org/W2530699422","https://openalex.org/W2555983297","https://openalex.org/W2571115124","https://openalex.org/W2576415565","https://openalex.org/W2594023913","https://openalex.org/W2784638391","https://openalex.org/W2809309384","https://openalex.org/W2883422753","https://openalex.org/W2897968834","https://openalex.org/W2932827394","https://openalex.org/W2962017367","https://openalex.org/W2962862352","https://openalex.org/W2964208659","https://openalex.org/W3042952022","https://openalex.org/W3185235159","https://openalex.org/W4250589301","https://openalex.org/W4253424231","https://openalex.org/W4298290503","https://openalex.org/W6746389398"],"related_works":["https://openalex.org/W2369049846","https://openalex.org/W2359232568","https://openalex.org/W2522585081","https://openalex.org/W2264307891","https://openalex.org/W1990878504","https://openalex.org/W893422426","https://openalex.org/W2371451504","https://openalex.org/W2391254440","https://openalex.org/W2389959488","https://openalex.org/W3153752017"],"abstract_inverted_index":{"Abstract":[0],"A":[1],"barrier":[2,44,71,96,171],"certificate":[3,172],"often":[4],"serves":[5],"as":[6,77,100],"an":[7,12,102,185],"inductive":[8,84,186],"invariant":[9,48,91,95,187],"that":[10,52,88,147,169,195],"isolates":[11],"unsafe":[13],"region":[14],"from":[15],"the":[16,34,47,66,78,90,127,150,167,189,201,209],"reachable":[17],"set":[18],"of":[19,29,56,126,134,163,191,200,213],"states,":[20],"and":[21,73,211],"hence":[22],"is":[23,63,141,173],"widely":[24],"used":[25],"in":[26,143,153,166],"proving":[27],"safety":[28,55,199],"hybrid":[30],"systems":[31],"possibly":[32],"over":[33],"infinite":[35],"time":[36],"horizon.":[37],"We":[38,86,111,157],"present":[39,158],"a":[40,114,123,132,144,154,159,170,192],"novel":[41],"condition":[42,50,62],"on":[43,70,118,205],"certificates,":[45,72],"termed":[46],"barrier-certificate":[49,92],",":[51],"witnesses":[53],"unbounded-time":[54],"differential":[57],"dynamical":[58],"systems.":[59],"The":[60],"proposed":[61],"by":[64],"far":[65],"least":[67],"conservative":[68],"one":[69,81],"can":[74],"be":[75,98,176],"shown":[76],"weakest":[79],"possible":[80],"to":[82,106,175,197],"attain":[83],"invariance.":[85],"show":[87],"discharging":[89],"condition\u2014thereby":[93],"synthesizing":[94],"certificates\u2014can":[97],"encoded":[99],"solving":[101,131],"optimization":[103,136],"problem":[104,129],"subject":[105],"bilinear":[107],"matrix":[108],"inequalities":[109],"(BMIs).":[110],"further":[112],"propose":[113],"synthesis":[115],"algorithm":[116,140],"based":[117],"difference-of-convex":[119],"programming,":[120],"which":[121],"approaches":[122],"local":[124],"optimum":[125,152],"BMI":[128],"via":[130],"series":[133],"convex":[135],"problems":[137],".":[138],"This":[139],"incorporated":[142],"branch-and-bound":[145],"framework":[146],"searches":[148],"for":[149],"global":[151],"divide-and-conquer":[155],"fashion.":[156],"weak":[160],"completeness":[161],"result":[162],"our":[164,214],"method,":[165],"sense":[168],"guaranteed":[174],"found":[177],"(under":[178],"some":[179],"mild":[180],"assumptions)":[181],"whenever":[182],"there":[183],"exists":[184],"(in":[188],"form":[190],"given":[193],"template)":[194],"suffices":[196],"certify":[198],"system.":[202],"Experimental":[203],"results":[204],"benchmark":[206],"examples":[207],"demonstrate":[208],"effectiveness":[210],"efficiency":[212],"approach.":[215]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":8},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}