{"id":"https://openalex.org/W2123154687","doi":"https://doi.org/10.1109/cdc.2010.5717641","title":"Convex enclosures for the reachable sets of nonlinear parametric ordinary differential equations","display_name":"Convex enclosures for the reachable sets of nonlinear parametric ordinary differential equations","publication_year":2010,"publication_date":"2010-12-01","ids":{"openalex":"https://openalex.org/W2123154687","doi":"https://doi.org/10.1109/cdc.2010.5717641","mag":"2123154687"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2010.5717641","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2010.5717641","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"49th IEEE Conference on Decision and Control (CDC)","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/A5091115429","display_name":"Joseph K. Scott","orcid":"https://orcid.org/0000-0003-1518-0721"},"institutions":[{"id":"https://openalex.org/I4210110987","display_name":"IIT@MIT","ror":"https://ror.org/01wp8zh54","country_code":"US","type":"facility","lineage":["https://openalex.org/I30771326","https://openalex.org/I4210110987"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joseph K. Scott","raw_affiliation_strings":["Department of Chemical Engineering, MIT, Cambridge, MA, USA","Department of Chemical Engineering, MIT, Cambridge, MA 02139, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Chemical Engineering, MIT, Cambridge, MA, USA","institution_ids":["https://openalex.org/I4210110987"]},{"raw_affiliation_string":"Department of Chemical Engineering, MIT, Cambridge, MA 02139, USA","institution_ids":["https://openalex.org/I4210110987"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037278011","display_name":"Paul I. Barton","orcid":"https://orcid.org/0000-0003-2895-9443"},"institutions":[{"id":"https://openalex.org/I4210110987","display_name":"IIT@MIT","ror":"https://ror.org/01wp8zh54","country_code":"US","type":"facility","lineage":["https://openalex.org/I30771326","https://openalex.org/I4210110987"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paul I. Barton","raw_affiliation_strings":["Department of Chemical Engineering, MIT, Cambridge, MA, USA","Department of Chemical Engineering, MIT, Cambridge, MA 02139, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Chemical Engineering, MIT, Cambridge, MA, USA","institution_ids":["https://openalex.org/I4210110987"]},{"raw_affiliation_string":"Department of Chemical Engineering, MIT, Cambridge, MA 02139, USA","institution_ids":["https://openalex.org/I4210110987"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210110987"],"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":"1790","issue":null,"first_page":"5695","last_page":"5700"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"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.9980000257492065,"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.996999979019165,"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/T14083","display_name":"Extremum Seeking Control Systems","score":0.9925000071525574,"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/mathematics","display_name":"Mathematics","score":0.6747457385063171},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.6305647492408752},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.6277071833610535},{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.6250126361846924},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.5969632863998413},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.5822287201881409},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5532771348953247},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.5149239301681519},{"id":"https://openalex.org/keywords/parametrization","display_name":"Parametrization (atmospheric modeling)","score":0.5057599544525146},{"id":"https://openalex.org/keywords/enclosure","display_name":"Enclosure","score":0.4782673120498657},{"id":"https://openalex.org/keywords/convex-optimization","display_name":"Convex optimization","score":0.4761647880077362},{"id":"https://openalex.org/keywords/convex-set","display_name":"Convex set","score":0.44426172971725464},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.41172677278518677},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3557366728782654},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.307325541973114},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2482224404811859},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.11033082008361816},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07148784399032593}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6747457385063171},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.6305647492408752},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.6277071833610535},{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.6250126361846924},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5969632863998413},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.5822287201881409},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5532771348953247},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.5149239301681519},{"id":"https://openalex.org/C202887219","wikidata":"https://www.wikidata.org/wiki/Q3895221","display_name":"Parametrization (atmospheric modeling)","level":3,"score":0.5057599544525146},{"id":"https://openalex.org/C98375054","wikidata":"https://www.wikidata.org/wiki/Q442709","display_name":"Enclosure","level":2,"score":0.4782673120498657},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.4761647880077362},{"id":"https://openalex.org/C49870271","wikidata":"https://www.wikidata.org/wiki/Q193657","display_name":"Convex set","level":4,"score":0.44426172971725464},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.41172677278518677},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3557366728782654},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.307325541973114},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2482224404811859},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.11033082008361816},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07148784399032593},{"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C74902906","wikidata":"https://www.wikidata.org/wiki/Q1190858","display_name":"Radiative transfer","level":2,"score":0.0},{"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/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2010.5717641","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2010.5717641","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"49th IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1512691241","https://openalex.org/W1534714322","https://openalex.org/W1538906861","https://openalex.org/W1580809199","https://openalex.org/W1601885939","https://openalex.org/W1726255445","https://openalex.org/W1901119619","https://openalex.org/W1982200089","https://openalex.org/W1988622494","https://openalex.org/W2004325818","https://openalex.org/W2012580470","https://openalex.org/W2014684639","https://openalex.org/W2022144657","https://openalex.org/W2025604257","https://openalex.org/W2025733636","https://openalex.org/W2044889656","https://openalex.org/W2097544427","https://openalex.org/W2113492334","https://openalex.org/W2114265324","https://openalex.org/W2126749600","https://openalex.org/W2145421844","https://openalex.org/W2146341805","https://openalex.org/W2160725090","https://openalex.org/W2161553072","https://openalex.org/W2165489953","https://openalex.org/W2170789934","https://openalex.org/W3100384097","https://openalex.org/W4241368925","https://openalex.org/W6677381935","https://openalex.org/W6685180249"],"related_works":["https://openalex.org/W2091149819","https://openalex.org/W2366011141","https://openalex.org/W2371448224","https://openalex.org/W3134495997","https://openalex.org/W1512242459","https://openalex.org/W2040676043","https://openalex.org/W1977643895","https://openalex.org/W2148825261","https://openalex.org/W4317914276","https://openalex.org/W2964001494"],"abstract_inverted_index":{"This":[0,74],"article":[1],"describes":[2],"convex":[3,48,68,87],"enclosures":[4],"for":[5,33],"the":[6,20,28,53,59,71,91,108,123],"reachable":[7,31,72,92,124],"sets":[8,32],"of":[9,23,30,52,70,82,90,102,110],"nonlinear":[10,24],"parametric":[11],"ordinary":[12],"differential":[13],"equations":[14,17],"(ODEs).":[15],"Such":[16],"arise":[18],"from":[19],"control":[21,25,40],"parametrization":[22],"systems,":[26],"and":[27,41,49],"computation":[29],"such":[34],"systems":[35],"is":[36,76,126],"central":[37],"to":[38,58,65,118],"many":[39],"verification":[42],"problems.":[43],"The":[44,105],"method":[45,106],"presented":[46],"computes":[47],"concave":[50],"relaxations":[51],"ODE":[54],"solutions":[55],"with":[56],"respect":[57],"parameters,":[60],"which":[61,115],"are":[62,116],"then":[63],"used":[64],"compute":[66],"a":[67,86],"enclosure":[69,75,89],"set.":[73],"expressed":[77],"as":[78],"an":[79],"infinite":[80],"intersection":[81],"halfspaces,":[83],"so":[84],"that":[85],"polyhedral":[88],"set":[93,125],"can":[94],"be":[95,119],"computed":[96],"by":[97],"considering":[98],"any":[99],"finite":[100],"m":[101,111],"these":[103],"halfspaces.":[104],"requires":[107],"solution":[109],"dynamic":[112],"optimization":[113],"problems":[114],"guaranteed":[117],"convex,":[120],"even":[121],"when":[122],"itself":[127],"nonconvex.":[128]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}