{"id":"https://openalex.org/W2512154443","doi":"https://doi.org/10.1109/tac.2015.2491740","title":"A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems","display_name":"A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems","publication_year":2015,"publication_date":"2015-10-16","ids":{"openalex":"https://openalex.org/W2512154443","doi":"https://doi.org/10.1109/tac.2015.2491740","mag":"2512154443"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2015.2491740","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2015.2491740","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":true,"oa_status":"green","oa_url":"https://hal.science/hal-01650701","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008689544","display_name":"Moussa Ma\u00efga","orcid":null},"institutions":[{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I134560555","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210096782","display_name":"Laboratoire Pluridisciplinaire de Recherche en Ing\u00e9nierie des Syst\u00e8mes, M\u00e9canique et Energ\u00e9tique","ror":"https://ror.org/00sbth994","country_code":"FR","type":"facility","lineage":["https://openalex.org/I12449238","https://openalex.org/I4210096782","https://openalex.org/I4210143826"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Moussa Maiga","raw_affiliation_strings":["INSA Center Val de Loire (CVL), PRISME, EA 4229, CNRS, Laboratory for Analysis and Architecture of Systems (LAAS), Toulouse, France","PRISME - Laboratoire pluridisciplinaire de recherche en ing\u00e9nierie des syst\u00e8mes, m\u00e9canique et \u00e9nerg\u00e9tique (8, rue L\u00e9onard de Vinci - 45067 ORLEANS CEDEX 2 - France - France)","LAAS-DISCO - \u00c9quipe DIagnostic, Supervision et COnduite (France)"],"affiliations":[{"raw_affiliation_string":"INSA Center Val de Loire (CVL), PRISME, EA 4229, CNRS, Laboratory for Analysis and Architecture of Systems (LAAS), Toulouse, France","institution_ids":["https://openalex.org/I190497903","https://openalex.org/I4210096782","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"PRISME - Laboratoire pluridisciplinaire de recherche en ing\u00e9nierie des syst\u00e8mes, m\u00e9canique et \u00e9nerg\u00e9tique (8, rue L\u00e9onard de Vinci - 45067 ORLEANS CEDEX 2 - France - France)","institution_ids":["https://openalex.org/I4210096782"]},{"raw_affiliation_string":"LAAS-DISCO - \u00c9quipe DIagnostic, Supervision et COnduite (France)","institution_ids":["https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078685510","display_name":"Nacim Ramdani","orcid":"https://orcid.org/0000-0003-1491-3751"},"institutions":[{"id":"https://openalex.org/I4210129154","display_name":"Centre Val de Loire","ror":"https://ror.org/03ntmtb29","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210088668","https://openalex.org/I4210129154"]},{"id":"https://openalex.org/I12449238","display_name":"Universit\u00e9 d'Orl\u00e9ans","ror":"https://ror.org/014zrew76","country_code":"FR","type":"education","lineage":["https://openalex.org/I12449238"]},{"id":"https://openalex.org/I4210096782","display_name":"Laboratoire Pluridisciplinaire de Recherche en Ing\u00e9nierie des Syst\u00e8mes, M\u00e9canique et Energ\u00e9tique","ror":"https://ror.org/00sbth994","country_code":"FR","type":"facility","lineage":["https://openalex.org/I12449238","https://openalex.org/I4210096782","https://openalex.org/I4210143826"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nacim Ramdani","raw_affiliation_strings":["INSA Center Val de Loire (CVL), PRISME, EA 4229, University of Orl\u00e9ans, Orl\u00e9ans, France","PRISME - Laboratoire pluridisciplinaire de recherche en ing\u00e9nierie des syst\u00e8mes, m\u00e9canique et \u00e9nerg\u00e9tique (8, rue L\u00e9onard de Vinci - 45067 ORLEANS CEDEX 2 - France - France)"],"affiliations":[{"raw_affiliation_string":"INSA Center Val de Loire (CVL), PRISME, EA 4229, University of Orl\u00e9ans, Orl\u00e9ans, France","institution_ids":["https://openalex.org/I4210129154","https://openalex.org/I4210096782","https://openalex.org/I12449238"]},{"raw_affiliation_string":"PRISME - Laboratoire pluridisciplinaire de recherche en ing\u00e9nierie des syst\u00e8mes, m\u00e9canique et \u00e9nerg\u00e9tique (8, rue L\u00e9onard de Vinci - 45067 ORLEANS CEDEX 2 - France - France)","institution_ids":["https://openalex.org/I4210096782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036280330","display_name":"Louise Trave-Massuye","orcid":null},"institutions":[{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I134560555","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Louise Trave-Massuye","raw_affiliation_strings":["LAAS-DISCO - \u00c9quipe DIagnostic, Supervision et COnduite (France)"],"affiliations":[{"raw_affiliation_string":"LAAS-DISCO - \u00c9quipe DIagnostic, Supervision et COnduite (France)","institution_ids":["https://openalex.org/I190497903"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066709551","display_name":"Christophe Combastel","orcid":"https://orcid.org/0000-0003-2805-605X"},"institutions":[{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210157089","display_name":"Laboratoire de l'Int\u00e9gration du Mat\u00e9riau au Syst\u00e8me","ror":"https://ror.org/04nabhy78","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210091158","https://openalex.org/I4210095849","https://openalex.org/I4210157089","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christophe Combastel","raw_affiliation_strings":["Laboratoire de recherche en \u00c9lectronique et Commande des Syst\u00e8ms (ECS-Lab), EA 3649, IMS Research Laboratory CNRS UMR5218, Bordeaux, France","IMS - Laboratoire de l'int\u00e9gration, du mat\u00e9riau au syst\u00e8me (33405 TALENCE CEDEX - France)"],"affiliations":[{"raw_affiliation_string":"Laboratoire de recherche en \u00c9lectronique et Commande des Syst\u00e8ms (ECS-Lab), EA 3649, IMS Research Laboratory CNRS UMR5218, Bordeaux, France","institution_ids":["https://openalex.org/I15057530","https://openalex.org/I4210160189","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"IMS - Laboratoire de l'int\u00e9gration, du mat\u00e9riau au syst\u00e8me (33405 TALENCE CEDEX - France)","institution_ids":["https://openalex.org/I4210157089","https://openalex.org/I4210160189"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5008689544"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I4210096782"],"apc_list":null,"apc_paid":null,"fwci":3.6384,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.93637048,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"61","issue":"9","first_page":"2341","last_page":"2356"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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.9991999864578247,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9968000054359436,"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.9932000041007996,"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/reachability","display_name":"Reachability","score":0.8290513157844543},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.6206011772155762},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5956200361251831},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.5073372721672058},{"id":"https://openalex.org/keywords/minkowski-addition","display_name":"Minkowski addition","score":0.45421186089515686},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.44021475315093994},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4388812482357025},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4308139383792877},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"Interval arithmetic","score":0.4198307693004608},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36447203159332275},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3415203094482422},{"id":"https://openalex.org/keywords/minkowski-space","display_name":"Minkowski space","score":0.24112728238105774},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.08882513642311096}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8290513157844543},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.6206011772155762},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5956200361251831},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.5073372721672058},{"id":"https://openalex.org/C10233890","wikidata":"https://www.wikidata.org/wiki/Q1322294","display_name":"Minkowski addition","level":3,"score":0.45421186089515686},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.44021475315093994},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4388812482357025},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4308139383792877},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.4198307693004608},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36447203159332275},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3415203094482422},{"id":"https://openalex.org/C79464548","wikidata":"https://www.wikidata.org/wiki/Q464794","display_name":"Minkowski space","level":2,"score":0.24112728238105774},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.08882513642311096},{"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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tac.2015.2491740","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2015.2491740","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"},{"id":"pmh:oai:HAL:hal-01650701v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01650701","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Automatic Control, 2016, 61 (9), pp.2341-2356. ⟨10.1109/tac.2015.2491740⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01650701v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01650701","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Automatic Control, 2016, 61 (9), pp.2341-2356. ⟨10.1109/tac.2015.2491740⟩","raw_type":"Journal articles"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2751656692","display_name":null,"funder_award_id":"ANR 2011 INS 006 MAGIC-SPS","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":75,"referenced_works":["https://openalex.org/W296311487","https://openalex.org/W1485333286","https://openalex.org/W1523211942","https://openalex.org/W1546282418","https://openalex.org/W1569692898","https://openalex.org/W1582464544","https://openalex.org/W1600235415","https://openalex.org/W1604594753","https://openalex.org/W1604596197","https://openalex.org/W1607870502","https://openalex.org/W1608598045","https://openalex.org/W1645305843","https://openalex.org/W1792923791","https://openalex.org/W1965510097","https://openalex.org/W1967091946","https://openalex.org/W1971233185","https://openalex.org/W1975630497","https://openalex.org/W1982429087","https://openalex.org/W1987592584","https://openalex.org/W1990733120","https://openalex.org/W1997781100","https://openalex.org/W1999629321","https://openalex.org/W2000067452","https://openalex.org/W2002720136","https://openalex.org/W2004463571","https://openalex.org/W2011342714","https://openalex.org/W2012580470","https://openalex.org/W2012655811","https://openalex.org/W2017871168","https://openalex.org/W2031130394","https://openalex.org/W2031380839","https://openalex.org/W2040584579","https://openalex.org/W2051110650","https://openalex.org/W2054865796","https://openalex.org/W2055383402","https://openalex.org/W2064562598","https://openalex.org/W2068384492","https://openalex.org/W2075267702","https://openalex.org/W2079872371","https://openalex.org/W2084859862","https://openalex.org/W2089302413","https://openalex.org/W2090501324","https://openalex.org/W2093350522","https://openalex.org/W2093908927","https://openalex.org/W2093964259","https://openalex.org/W2096326343","https://openalex.org/W2099354898","https://openalex.org/W2103128566","https://openalex.org/W2106361312","https://openalex.org/W2111546354","https://openalex.org/W2114880056","https://openalex.org/W2116364955","https://openalex.org/W2118477082","https://openalex.org/W2123357397","https://openalex.org/W2124397961","https://openalex.org/W2128187386","https://openalex.org/W2131332110","https://openalex.org/W2131441094","https://openalex.org/W2145201569","https://openalex.org/W2148219398","https://openalex.org/W2153504150","https://openalex.org/W2154679417","https://openalex.org/W2156958982","https://openalex.org/W2157834152","https://openalex.org/W2158451642","https://openalex.org/W2163508282","https://openalex.org/W2172357028","https://openalex.org/W2750147881","https://openalex.org/W2912589708","https://openalex.org/W4206570602","https://openalex.org/W4285719527","https://openalex.org/W6636329974","https://openalex.org/W6650486461","https://openalex.org/W6679179025","https://openalex.org/W6684081942"],"related_works":["https://openalex.org/W2357387646","https://openalex.org/W4253760428","https://openalex.org/W856973001","https://openalex.org/W2047831585","https://openalex.org/W3208672221","https://openalex.org/W2952920810","https://openalex.org/W4293477811","https://openalex.org/W2017676950","https://openalex.org/W78063724","https://openalex.org/W197679583"],"abstract_inverted_index":{"Reachability":[0],"analysis":[1],"of":[2,105,111,121,137,151,172],"nonlinear":[3,22,198],"uncertain":[4,71],"hybrid":[5,99,197],"systems,":[6],"i.e.,":[7,48,113],"continuous-discrete":[8],"dynamical":[9],"systems":[10],"whose":[11],"continuous":[12,56],"dynamics,":[13],"guard":[14,60],"sets":[15],"and":[16,50,62,124,190],"reset":[17],"functions":[18],"are":[19,130],"defined":[20],"by":[21,176,186,192],"functions,":[23],"can":[24,83],"be":[25,147],"decomposed":[26],"in":[27,39,166],"three":[28],"algorithmic":[29],"steps:":[30],"computing":[31,44],"the":[32,36,45,55,59,64,74,81,98,103,106,109,118,135,138,157,170,177],"reachable":[33],"set":[34,171],"when":[35,52],"system":[37],"is":[38,108,182],"a":[40,88,93,122,131,148],"given":[41],"operation":[42],"mode,":[43],"discrete":[46],"transitions,":[47],"detecting":[49],"localizing":[51],"(and":[53],"where)":[54],"flowpipe":[57,173],"intersects":[58],"sets,":[61],"aggregating":[63],"multiple":[65],"trajectories":[66,174],"that":[67,80,91,161],"result":[68],"from":[69],"an":[70,125,167],"transition":[72,178],"once":[73],"whole":[75],"flow-pipe":[76],"has":[77],"transitioned":[78],"so":[79],"algorithm":[82],"resume.":[84],"This":[85],"paper":[86],"proposes":[87],"comprehensive":[89],"method":[90,107,160,181],"provides":[92],"nicely":[94],"integrated":[95],"solution":[96],"to":[97,133,146,164,195],"reachability":[100],"problem.":[101],"At":[102],"core":[104],"concept":[110],"MSPB,":[112],"geometrical":[114],"object":[115],"obtained":[116],"as":[117],"Minkowski":[119],"sum":[120],"parallelotope":[123],"axes":[126],"aligned":[127],"box.":[128],"MSPB":[129],"way":[132,169],"control":[134],"over-approximation":[136],"Taylor's":[139],"interval":[140],"integration":[141],"method.":[142],"As":[143],"they":[144,153],"happen":[145],"specific":[149],"type":[150],"zonotope,":[152],"articulate":[154],"perfectly":[155],"with":[156],"zonotope":[158],"bounding":[159],"we":[162],"propose":[163],"enclose":[165],"optimal":[168],"generated":[175],"process.":[179],"The":[180],"evaluated":[183],"both":[184],"theoretically":[185],"analyzing":[187],"its":[188],"complexity":[189],"empirically":[191],"applying":[193],"it":[194],"well-chosen":[196],"examples.":[199]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}