{"id":"https://openalex.org/W2054865796","doi":"https://doi.org/10.1109/cdc.2013.6759932","title":"A fast method for solving guard set intersection in nonlinear hybrid reachability","display_name":"A fast method for solving guard set intersection in nonlinear hybrid reachability","publication_year":2013,"publication_date":"2013-12-01","ids":{"openalex":"https://openalex.org/W2054865796","doi":"https://doi.org/10.1109/cdc.2013.6759932","mag":"2054865796"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2013.6759932","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2013.6759932","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"52nd IEEE Conference on Decision and Control","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/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":"Moussa Maiga","raw_affiliation_strings":["PRISME, Universit\u00e9 d'Orl\u00e9ans, Bourges, France","PRISME, Univ. d'Orleans, Bourges, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PRISME, Universit\u00e9 d'Orl\u00e9ans, Bourges, France","institution_ids":["https://openalex.org/I12449238"]},{"raw_affiliation_string":"PRISME, Univ. d'Orleans, Bourges, France","institution_ids":["https://openalex.org/I4210096782"]}]},{"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/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":["PRISME, Universit\u00e9 d'Orl\u00e9ans, Bourges, France","PRISME, Univ. d'Orleans, Bourges, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PRISME, Universit\u00e9 d'Orl\u00e9ans, Bourges, France","institution_ids":["https://openalex.org/I12449238"]},{"raw_affiliation_string":"PRISME, Univ. d'Orleans, Bourges, France","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 Trave-Massuyes","raw_affiliation_strings":["CNRS, LAAS, Toulouse, France","LAAS, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, LAAS, Toulouse, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"LAAS, Toulouse, France","institution_ids":["https://openalex.org/I190497903"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"508","last_page":"513"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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.9988999962806702,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9975000023841858,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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.8386468887329102},{"id":"https://openalex.org/keywords/guard","display_name":"Guard (computer science)","score":0.7335981726646423},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.559349775314331},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.5454538464546204},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5332852005958557},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5050528645515442},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.47859808802604675},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.43650147318840027},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36824506521224976},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2900623083114624}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8386468887329102},{"id":"https://openalex.org/C141141315","wikidata":"https://www.wikidata.org/wiki/Q2379942","display_name":"Guard (computer science)","level":2,"score":0.7335981726646423},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.559349775314331},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5454538464546204},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5332852005958557},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5050528645515442},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47859808802604675},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.43650147318840027},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36824506521224976},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2900623083114624},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2013.6759932","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2013.6759932","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"52nd IEEE Conference on Decision 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":14,"referenced_works":["https://openalex.org/W181038668","https://openalex.org/W196861785","https://openalex.org/W1604594753","https://openalex.org/W1965510097","https://openalex.org/W1990733120","https://openalex.org/W2004463571","https://openalex.org/W2012580470","https://openalex.org/W2040584579","https://openalex.org/W2103128566","https://openalex.org/W4285719527","https://openalex.org/W4298255709","https://openalex.org/W6608002841","https://openalex.org/W6636277871","https://openalex.org/W6641478529"],"related_works":["https://openalex.org/W2357387646","https://openalex.org/W856973001","https://openalex.org/W1604596197","https://openalex.org/W78063724","https://openalex.org/W2103488150","https://openalex.org/W4249426951","https://openalex.org/W1598511836","https://openalex.org/W2172357028","https://openalex.org/W2952920810","https://openalex.org/W2091099650"],"abstract_inverted_index":{"Reachability":[0],"computation":[1,210],"formulates":[2],"the":[3,7,22,58,65,77,90,96,112,124,127,133,143,155,170,184,189,199,202,206,213,227,230,238],"problem":[4,61,101,108],"of":[5,9,67,79,111,126,166,201,237],"simulating":[6],"behavior":[8],"a":[10,17,54,106],"continuous":[11,80],"or":[12,37],"hybrid":[13,49,68,162,232,247],"dynamical":[14,50],"system":[15],"in":[16,115],"set-theoretical":[18],"framework.":[19],"Compared":[20],"to":[21,119,132,196],"stochastic":[23],"approach,":[24],"it":[25],"provides":[26],"guaranteed":[27],"results":[28],"and":[29,86,99,205],"has":[30],"been":[31],"shown":[32],"highly":[33],"valuable":[34],"for":[35,46,56,76,88,179,229],"verification":[36],"synthesis":[38],"tasks.":[39],"This":[40,173],"issue":[41],"is":[42,63,118,241],"still":[43],"quite":[44],"challenging":[45],"uncertain":[47],"nonlinear":[48],"systems.Recently,":[51],"[1]":[52,139],"proposed":[53],"method":[55,150,178,220,240],"solving":[57,180],"flow/guard":[59,103,181,203],"intersection":[60,104,204],"that":[62],"at":[64,121,154,169,188],"core":[66],"reachability.":[69],"It":[70,93],"first":[71],"derives":[72],"an":[73,176],"analytical":[74],"expression":[75],"boundaries":[78],"flows":[81],"using":[82,183],"interval":[83,116],"Taylor":[84],"methods":[85],"techniques":[87],"controlling":[89],"wrapping":[91,134],"effect.":[92,135],"then":[94],"expresses":[95],"event":[97],"detection":[98],"localization":[100],"underlying":[102],"as":[105],"constraint-satisfaction":[107],"(CSP).":[109],"One":[110],"main":[113],"issues":[114],"integration":[117,156],"control,":[120],"each":[122],"step,":[123,191],"overestimation":[125,167,200,228],"reachable":[128],"state":[129],"set":[130],"due":[131],"For":[136],"this":[137],"purpose,":[138],"only":[140],"relies":[141],"on":[142,243],"geometrical":[144,214],"transformation":[145,215],"induced":[146],"by":[147,217],"Lohner's":[148,218],"QR-factorization":[149,219],"[4],":[151],"which":[152],"acts":[153],"step.":[157,172],"But":[158],"when":[159],"dealing":[160],"with":[161,222],"systems,":[163],"another":[164],"source":[165],"exists":[168],"transition":[171],"paper":[174],"describes":[175],"efficient":[177],"intersection:":[182],"standard":[185],"contractor":[186],"HC4Revise":[187],"transitions":[190],"we":[192],"will":[193],"show":[194],"how":[195],"minimize":[197],"both":[198],"computational":[207],"complexity,":[208],"hence":[209],"time.":[211],"Interestingly,":[212],"introduced":[216],"combined":[221],"our":[223],"method,":[224],"eventually":[225],"minimizes":[226],"whole":[231],"flow":[233],"trajectory.":[234],"The":[235],"performance":[236],"new":[239],"illustrated":[242],"examples":[244],"involving":[245],"typical":[246],"systems.":[248]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}