{"id":"https://openalex.org/W2605373881","doi":"https://doi.org/10.1109/tac.2017.2692100","title":"Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification","display_name":"Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification","publication_year":2017,"publication_date":"2017-04-07","ids":{"openalex":"https://openalex.org/W2605373881","doi":"https://doi.org/10.1109/tac.2017.2692100","mag":"2605373881"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2017.2692100","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2017.2692100","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-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/A5090573416","display_name":"Weiming Xiang","orcid":"https://orcid.org/0000-0001-9065-8428"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Weiming Xiang","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023289374","display_name":"Hoang-Dung Tran","orcid":"https://orcid.org/0000-0001-6946-9526"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hoang-Dung Tran","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067901159","display_name":"Taylor T. Johnson","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T. Johnson","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5090573416"],"corresponding_institution_ids":["https://openalex.org/I200719446"],"apc_list":null,"apc_paid":null,"fwci":7.3394,"has_fulltext":false,"cited_by_count":83,"citation_normalized_percentile":{"value":0.97482158,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"62","issue":"10","first_page":"5380","last_page":"5387"},"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.9994999766349792,"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.9994999766349792,"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/T11236","display_name":"Control Systems and Identification","score":0.9972000122070312,"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.9947999715805054,"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/control-theory","display_name":"Control theory (sociology)","score":0.657638669013977},{"id":"https://openalex.org/keywords/dwell-time","display_name":"Dwell time","score":0.6348285675048828},{"id":"https://openalex.org/keywords/ellipsoid","display_name":"Ellipsoid","score":0.5984311103820801},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.5866222977638245},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.5844956040382385},{"id":"https://openalex.org/keywords/bounding-overwatch","display_name":"Bounding overwatch","score":0.5788485407829285},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5733789205551147},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5054032802581787},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4784319996833801},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.45578426122665405},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4456416964530945},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4139476716518402},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.390853613615036},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.12205779552459717},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.11362901329994202},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.08443456888198853}],"concepts":[{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.657638669013977},{"id":"https://openalex.org/C151637689","wikidata":"https://www.wikidata.org/wiki/Q5318064","display_name":"Dwell time","level":2,"score":0.6348285675048828},{"id":"https://openalex.org/C57489055","wikidata":"https://www.wikidata.org/wiki/Q190046","display_name":"Ellipsoid","level":2,"score":0.5984311103820801},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.5866222977638245},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.5844956040382385},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.5788485407829285},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5733789205551147},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5054032802581787},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4784319996833801},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.45578426122665405},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4456416964530945},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4139476716518402},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.390853613615036},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.12205779552459717},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.11362901329994202},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.08443456888198853},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C70410870","wikidata":"https://www.wikidata.org/wiki/Q199906","display_name":"Clinical psychology","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/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/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/tac.2017.2692100","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2017.2692100","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G129050612","display_name":null,"funder_award_id":"FA9550-16-1-0246","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1522347985","display_name":null,"funder_award_id":"FA9550-15-1-0258","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1794985474","display_name":null,"funder_award_id":"FA8750-15-1-0105","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G4261586539","display_name":null,"funder_award_id":"SHF 1527398","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4308778893","display_name":null,"funder_award_id":"CNS 1464311","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8747731312","display_name":null,"funder_award_id":"EPCN 1509804","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W184267688","https://openalex.org/W1552094772","https://openalex.org/W1830570888","https://openalex.org/W1896835186","https://openalex.org/W1997070622","https://openalex.org/W1997730149","https://openalex.org/W2000779032","https://openalex.org/W2001738877","https://openalex.org/W2004829965","https://openalex.org/W2010799625","https://openalex.org/W2024197616","https://openalex.org/W2033505412","https://openalex.org/W2049654589","https://openalex.org/W2052134087","https://openalex.org/W2057522848","https://openalex.org/W2061199320","https://openalex.org/W2062974796","https://openalex.org/W2077402293","https://openalex.org/W2078306044","https://openalex.org/W2079042739","https://openalex.org/W2098031711","https://openalex.org/W2098898086","https://openalex.org/W2104958104","https://openalex.org/W2108170563","https://openalex.org/W2133494892","https://openalex.org/W2146501889","https://openalex.org/W2165489953","https://openalex.org/W2176215692","https://openalex.org/W2192070087","https://openalex.org/W2250434383","https://openalex.org/W2292921500","https://openalex.org/W2344309565","https://openalex.org/W2962709723","https://openalex.org/W2962804666","https://openalex.org/W6638893769"],"related_works":["https://openalex.org/W1716629940","https://openalex.org/W2870082130","https://openalex.org/W2079629840","https://openalex.org/W2005449323","https://openalex.org/W3036758856","https://openalex.org/W3049139263","https://openalex.org/W1997082542","https://openalex.org/W2782912298","https://openalex.org/W1505610189","https://openalex.org/W2605373881"],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,26,49,60,72,84,103],"output":[4,27,50,75],"reachable":[5,28,51,76],"set":[6,29,52,77],"estimation":[7],"problem":[8,63],"for":[9,53,106,119],"continuous-time":[10],"switched":[11,54,66,93,109,121],"linear":[12,94],"systems":[13,55,67,95],"consisting":[14],"of":[15,35,64,74,86],"Hurwtiz":[16],"stable":[17],"subsystems.":[18],"Based":[19],"on":[20,71],"a":[21,33,80,97,120],"common":[22],"Lyapunov":[23,40],"function":[24],"approach,":[25],"is":[30,68,100],"estimated":[31],"by":[32],"union":[34],"bounding":[36],"ellipsoids.":[37],"Then,":[38,102],"multiple":[39],"functions":[41],"with":[42,96,123],"time-scheduled":[43],"structure":[44],"are":[45,128],"employed":[46],"to":[47,130],"estimate":[48],"under":[56],"dwell-time":[57],"constraint.":[58],"Furthermore,":[59],"safety":[61,104,117],"verification":[62,105,118],"uncertain":[65,108],"investigated":[69],"based":[70],"result":[73],"estimation.":[78],"First,":[79],"sufficient":[81],"condition":[82],"ensuring":[83],"existence":[85],"an":[87,107,115],"approximate":[88],"bisimulation":[89],"relation":[90],"between":[91],"two":[92],"prescribed":[98],"precision":[99],"proposed.":[101],"system":[110,122],"can":[111],"be":[112],"performed":[113],"through":[114],"alternative":[116],"exact":[124],"parameters.":[125],"Numerical":[126],"examples":[127],"provided":[129],"illustrate":[131],"our":[132],"results.":[133]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":11},{"year":2019,"cited_by_count":11},{"year":2018,"cited_by_count":13},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-25T08:17:42.794288","created_date":"2025-10-10T00:00:00"}