{"id":"https://openalex.org/W3158359551","doi":"https://doi.org/10.1145/3447928.3456657","title":"Switching controller synthesis for delay hybrid systems under perturbations","display_name":"Switching controller synthesis for delay hybrid systems under perturbations","publication_year":2021,"publication_date":"2021-05-04","ids":{"openalex":"https://openalex.org/W3158359551","doi":"https://doi.org/10.1145/3447928.3456657","mag":"3158359551"},"language":"en","primary_location":{"id":"doi:10.1145/3447928.3456657","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3447928.3456657","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control","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/A5113000496","display_name":"Yunjun Bai","orcid":null},"institutions":[{"id":"https://openalex.org/I75689368","display_name":"Communication University of China","ror":"https://ror.org/04facbs33","country_code":"CN","type":"education","lineage":["https://openalex.org/I75689368"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yunjun Bai","raw_affiliation_strings":["Univ. of CAS, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Univ. of CAS, Beijing, China","institution_ids":["https://openalex.org/I75689368"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101885727","display_name":"Ting Gan","orcid":"https://orcid.org/0000-0002-4880-5129"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Gan","raw_affiliation_strings":["Wuhan University, Wuhan, China"],"affiliations":[{"raw_affiliation_string":"Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100419510","display_name":"Jiao Li","orcid":"https://orcid.org/0000-0003-2645-330X"},"institutions":[{"id":"https://openalex.org/I75689368","display_name":"Communication University of China","ror":"https://ror.org/04facbs33","country_code":"CN","type":"education","lineage":["https://openalex.org/I75689368"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Li Jiao","raw_affiliation_strings":["Univ. of CAS, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Univ. of CAS, Beijing, China","institution_ids":["https://openalex.org/I75689368"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065639971","display_name":"Bican Xia","orcid":"https://orcid.org/0000-0002-2570-2338"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bican Xia","raw_affiliation_strings":["Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"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/I75689368","display_name":"Communication University of China","ror":"https://ror.org/04facbs33","country_code":"CN","type":"education","lineage":["https://openalex.org/I75689368"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bai Xue","raw_affiliation_strings":["Univ. of CAS, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Univ. of CAS, Beijing, China","institution_ids":["https://openalex.org/I75689368"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026435847","display_name":"Naijun Zhan","orcid":"https://orcid.org/0000-0003-3298-3817"},"institutions":[{"id":"https://openalex.org/I75689368","display_name":"Communication University of China","ror":"https://ror.org/04facbs33","country_code":"CN","type":"education","lineage":["https://openalex.org/I75689368"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Naijun Zhan","raw_affiliation_strings":["Univ. of CAS, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Univ. of CAS, Beijing, China","institution_ids":["https://openalex.org/I75689368"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5113000496"],"corresponding_institution_ids":["https://openalex.org/I75689368"],"apc_list":null,"apc_paid":null,"fwci":0.5919,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.70714719,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9994000196456909,"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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9911999702453613,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5853946805000305},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5762345790863037},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5248875021934509},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3121793568134308},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.06715559959411621}],"concepts":[{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5853946805000305},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5762345790863037},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5248875021934509},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3121793568134308},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06715559959411621},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","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.1145/3447928.3456657","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3447928.3456657","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control","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":30,"referenced_works":["https://openalex.org/W1483893502","https://openalex.org/W1838714828","https://openalex.org/W1966397236","https://openalex.org/W1990630015","https://openalex.org/W1990866356","https://openalex.org/W2004463571","https://openalex.org/W2026629052","https://openalex.org/W2123357397","https://openalex.org/W2128076627","https://openalex.org/W2129965357","https://openalex.org/W2132006913","https://openalex.org/W2134590937","https://openalex.org/W2324324554","https://openalex.org/W2474433838","https://openalex.org/W2588676130","https://openalex.org/W2594675090","https://openalex.org/W2603469395","https://openalex.org/W2741978752","https://openalex.org/W2786598140","https://openalex.org/W2936781873","https://openalex.org/W2962709723","https://openalex.org/W2962899708","https://openalex.org/W2962984511","https://openalex.org/W2979540529","https://openalex.org/W3007408361","https://openalex.org/W3009072669","https://openalex.org/W3104168345","https://openalex.org/W3119147583","https://openalex.org/W3158359551","https://openalex.org/W6623617077"],"related_works":["https://openalex.org/W2156777364","https://openalex.org/W2351856355","https://openalex.org/W2324425147","https://openalex.org/W886502991","https://openalex.org/W2064527724","https://openalex.org/W2354671052","https://openalex.org/W2010581459","https://openalex.org/W4210257443","https://openalex.org/W4295856534","https://openalex.org/W2728541654"],"abstract_inverted_index":{"Delays":[0],"are":[1],"ubiquitous":[2],"in":[3,31,57],"modern":[4],"hybrid":[5,37,77,81],"systems,":[6,78],"which":[7],"exhibit":[8],"both":[9],"continuous":[10,33,146],"and":[11,24,148,166],"discrete":[12,59,153],"dynamical":[13],"behaviors.":[14],"Induced":[15],"by":[16],"signal":[17],"transmission,":[18],"conversion,":[19],"the":[20,32,41,47,58,85,90,103,111,119,127,140],"nature":[21],"of":[22,35,76,87,94,124,142,152,163],"plants,":[23],"so":[25],"on,":[26],"delays":[27],"may":[28],"appear":[29],"either":[30],"evolution":[34,42,147],"a":[36,73,129,160],"system":[38,114],"such":[39,109],"that":[40,110],"depends":[43],"not":[44],"only":[45],"on":[46,52,139,169],"present":[48],"state":[49],"but":[50],"also":[51],"its":[53,62],"execution":[54],"history,":[55],"or":[56],"switching":[60,105,136],"between":[61],"different":[63],"control":[64],"modes.":[65],"In":[66],"this":[67,99],"paper":[68],"we":[69,101,158],"come":[70],"up":[71],"with":[72,89,155],"new":[74],"model":[75,100],"called":[79],"delay":[80,113],"automata,":[82],"to":[83,117,134],"capture":[84],"dynamics":[86],"systems":[88],"aforementioned":[91],"two":[92],"kinds":[93],"delays.":[95,156],"Furthermore,":[96],"based":[97,138],"upon":[98],"study":[102],"robust":[104],"controller":[106],"synthesis":[107],"problem":[108],"controlled":[112],"is":[115,132],"able":[116],"satisfy":[118],"specified":[120],"safety":[121],"properties":[122],"regardless":[123],"perturbations.":[125],"To":[126],"end,":[128],"novel":[130],"method":[131],"proposed":[133],"synthesize":[135],"controllers":[137],"computation":[141],"differential":[143],"invariants":[144],"for":[145],"backward":[149],"reachable":[150],"sets":[151],"jumps":[154],"Finally,":[157],"implement":[159],"prototypical":[161],"tool":[162],"our":[164],"approach":[165],"demonstrate":[167],"it":[168],"some":[170],"case":[171],"studies.":[172]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}