{"id":"https://openalex.org/W2075267702","doi":"https://doi.org/10.1109/ecc.2014.6862491","title":"Nonlinear hybrid reachability using set integration and zonotopic enclosures","display_name":"Nonlinear hybrid reachability using set integration and zonotopic enclosures","publication_year":2014,"publication_date":"2014-06-01","ids":{"openalex":"https://openalex.org/W2075267702","doi":"https://doi.org/10.1109/ecc.2014.6862491","mag":"2075267702"},"language":"en","primary_location":{"id":"doi:10.1109/ecc.2014.6862491","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ecc.2014.6862491","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 European Control Conference (ECC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5008689544","display_name":"Moussa Ma\u00efga","orcid":null},"institutions":[{"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/I4210134216","display_name":"Unit\u00e9 mixte de recherche \u0152nologie","ror":"https://ror.org/0473hxz56","country_code":"FR","type":"facility","lineage":["https://openalex.org/I15057530","https://openalex.org/I4210088668","https://openalex.org/I4210096859","https://openalex.org/I4210134216","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Moussa Ma\u00efga","raw_affiliation_strings":["Univ. Orléans, INSA-CVL, PRISME, EA 4229, F45072, France","Laboratoire pluridisciplinaire de recherche en ing\u00e9nierie des syst\u00e8mes, m\u00e9canique et \u00e9nerg\u00e9tique","\u00c9quipe DIagnostic, Supervision et COnduite"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Orléans, INSA-CVL, PRISME, EA 4229, F45072, France","institution_ids":["https://openalex.org/I4210134216"]},{"raw_affiliation_string":"Laboratoire pluridisciplinaire de recherche en ing\u00e9nierie des syst\u00e8mes, m\u00e9canique et \u00e9nerg\u00e9tique","institution_ids":["https://openalex.org/I4210096782"]},{"raw_affiliation_string":"\u00c9quipe DIagnostic, Supervision et COnduite","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066709551","display_name":"Christophe Combastel","orcid":"https://orcid.org/0000-0003-2805-605X"},"institutions":[{"id":"https://openalex.org/I4210102606","display_name":"European Centre for Theoretical Studies in Nuclear Physics and Related Areas","ror":"https://ror.org/01gzye136","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210102606"]},{"id":"https://openalex.org/I86175216","display_name":"\u00c9cole Nationale Sup\u00e9rieure de l'\u00c9lectronique et de ses Applications","ror":"https://ror.org/03qeacd72","country_code":"FR","type":"education","lineage":["https://openalex.org/I86175216"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"Christophe Combastel","raw_affiliation_strings":["ENSEA, ECS-Lab, Paris, France","ECS-Lab"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENSEA, ECS-Lab, Paris, France","institution_ids":["https://openalex.org/I86175216"]},{"raw_affiliation_string":"ECS-Lab","institution_ids":["https://openalex.org/I4210102606"]}]},{"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/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/I4210134216","display_name":"Unit\u00e9 mixte de recherche \u0152nologie","ror":"https://ror.org/0473hxz56","country_code":"FR","type":"facility","lineage":["https://openalex.org/I15057530","https://openalex.org/I4210088668","https://openalex.org/I4210096859","https://openalex.org/I4210134216","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nacim Ramdani","raw_affiliation_strings":["Univ. Orléans, INSA-CVL, PRISME, EA 4229, F45072, France","Laboratoire pluridisciplinaire de recherche en ing\u00e9nierie des syst\u00e8mes, m\u00e9canique et \u00e9nerg\u00e9tique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Orléans, INSA-CVL, PRISME, EA 4229, F45072, France","institution_ids":["https://openalex.org/I4210134216"]},{"raw_affiliation_string":"Laboratoire pluridisciplinaire de recherche en ing\u00e9nierie des syst\u00e8mes, m\u00e9canique et \u00e9nerg\u00e9tique","institution_ids":["https://openalex.org/I4210096782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032269664","display_name":"Louise Trav\u00e9-Massuy\u00e8s","orcid":"https://orcid.org/0000-0002-5322-8418"},"institutions":[{"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/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/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Louise Trav\u00e9-Massuy\u00e8s","raw_affiliation_strings":["CNRS, LAAS, Toulouse, France","\u00c9quipe DIagnostic, Supervision et COnduite"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, LAAS, Toulouse, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"\u00c9quipe DIagnostic, Supervision et COnduite","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"234","last_page":"239"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9975000023841858,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9975000023841858,"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/T10142","display_name":"Formal Methods in Verification","score":0.9934999942779541,"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/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9782000184059143,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6740691065788269},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5391732454299927},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.48480358719825745},{"id":"https://openalex.org/keywords/set-operations","display_name":"Set operations","score":0.47774261236190796},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4655478894710541},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4186145067214966},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39747607707977295},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3397074043750763},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3319920301437378},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.31025421619415283}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6740691065788269},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5391732454299927},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.48480358719825745},{"id":"https://openalex.org/C2777168461","wikidata":"https://www.wikidata.org/wiki/Q42196253","display_name":"Set operations","level":3,"score":0.47774261236190796},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4655478894710541},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4186145067214966},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39747607707977295},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3397074043750763},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3319920301437378},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.31025421619415283},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ecc.2014.6862491","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ecc.2014.6862491","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 European Control Conference (ECC)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01061885v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01061885","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"European Control Conference (ECC 2014), Jun 2014, Strasbourg, France. pp.234-239, ⟨10.1109/ECC.2014.6862491⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W181038668","https://openalex.org/W196861785","https://openalex.org/W1608598045","https://openalex.org/W1990733120","https://openalex.org/W2000067452","https://openalex.org/W2004463571","https://openalex.org/W2012580470","https://openalex.org/W2012655811","https://openalex.org/W2031380839","https://openalex.org/W2054865796","https://openalex.org/W2055383402","https://openalex.org/W2079872371","https://openalex.org/W2145201569","https://openalex.org/W2750147881","https://openalex.org/W4246509635","https://openalex.org/W4285719527","https://openalex.org/W4298255709","https://openalex.org/W6608002841","https://openalex.org/W6636329974","https://openalex.org/W6650486461"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W2772294324","https://openalex.org/W4253760428","https://openalex.org/W2047831585","https://openalex.org/W2477549100"],"abstract_inverted_index":{"The":[0,62,77,137],"computation":[1,18],"of":[2,19,22,75,80,108,139],"reachable":[3,24,97],"sets":[4],"for":[5],"hybrid":[6,164],"systems":[7],"with":[8,26,132,170],"nonlinear":[9],"continuous":[10,134,171],"dynamics":[11],"is":[12,30,83,121,130],"addressed.":[13],"In":[14,34],"this":[15,81],"context,":[16],"the":[17,20,23,27,53,86,96,106],"intersection":[21],"set":[25,29,98],"guard":[28],"a":[31,35,41,47,72,100,109,126,158,162,167],"challenging":[32],"problem.":[33],"previous":[36],"work,":[37],"we":[38],"have":[39],"proposed":[40],"guaranteed":[42],"relaxation":[43],"method":[44],"expressed":[45],"as":[46],"constraint":[48,140],"satisfaction":[49],"problem":[50],"to":[51,84,90,95,148,175],"solve":[52],"event":[54],"detection":[55],"and":[56,93,143],"localization":[57],"problems":[58],"underlying":[59],"flow/guard":[60],"intersection.":[61],"algorithm":[63,104,151],"also":[64],"relies":[65,124],"on":[66,125],"bisection":[67,142],"operations":[68],"which":[69,129,153],"may":[70],"generate":[71],"large":[73],"number":[74],"boxes.":[76],"main":[78],"contribution":[79],"paper":[82],"merge":[85],"solution":[87,116],"domains":[88,117],"related":[89],"these":[91],"boxes":[92],"corresponding":[94],"at":[99],"given":[101],"time.":[102],"An":[103],"minimizing":[105],"conservatism":[107],"convex":[110],"enclosure":[111],"obtained":[112],"by":[113],"aggregating":[114],"several":[115],"into":[118],"one":[119],"domain":[120],"proposed:":[122],"it":[123,146],"zonotopic":[127],"representation":[128],"consistent":[131],"our":[133],"reachability":[135],"approach.":[136],"combination":[138],"propagation,":[141],"merging":[144],"makes":[145],"possible":[147],"achieve":[149],"good":[150],"performance,":[152],"will":[154],"be":[155],"illustrated":[156],"through":[157],"numerical":[159],"example":[160],"involving":[161],"typical":[163],"dynamical":[165],"system:":[166],"bouncing":[168],"ball":[169],"state":[172],"dimensions":[173],"up":[174],"4.":[176],"Our":[177],"evaluation":[178],"shows":[179],"very":[180],"promising":[181],"results.":[182]},"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}