{"id":"https://openalex.org/W2002327982","doi":"https://doi.org/10.1109/cdc.2013.6759928","title":"A validated integration algorithm for nonlinear ODEs using Taylor models and ellipsoidal calculus","display_name":"A validated integration algorithm for nonlinear ODEs using Taylor models and ellipsoidal calculus","publication_year":2013,"publication_date":"2013-12-01","ids":{"openalex":"https://openalex.org/W2002327982","doi":"https://doi.org/10.1109/cdc.2013.6759928","mag":"2002327982"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2013.6759928","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2013.6759928","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/A5050485888","display_name":"Boris Houska","orcid":"https://orcid.org/0000-0002-6761-239X"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Boris Houska","raw_affiliation_strings":["Centre for Process Systems Engineering, Imperial College London, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Process Systems Engineering, Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058471300","display_name":"Mario E. Villanueva","orcid":"https://orcid.org/0000-0003-4375-7081"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mario Eduardo Villanueva","raw_affiliation_strings":["Centre for Process Systems Engineering, Imperial College London, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Process Systems Engineering, Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014175672","display_name":"Beno\u00eet Chachuat","orcid":"https://orcid.org/0000-0003-4780-9686"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Benoit Chachuat","raw_affiliation_strings":["Centre for Process Systems Engineering, Imperial College London, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Process Systems Engineering, Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":4.2121,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.94660396,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"484","last_page":"489"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14083","display_name":"Extremum Seeking Control Systems","score":0.9987000226974487,"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/T14083","display_name":"Extremum Seeking Control Systems","score":0.9987000226974487,"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/T11416","display_name":"Numerical methods for differential equations","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9983000159263611,"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/discretization","display_name":"Discretization","score":0.7005879878997803},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6921408772468567},{"id":"https://openalex.org/keywords/enclosure","display_name":"Enclosure","score":0.5834165811538696},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5726833343505859},{"id":"https://openalex.org/keywords/remainder","display_name":"Remainder","score":0.5390971899032593},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.5335932970046997},{"id":"https://openalex.org/keywords/truncation","display_name":"Truncation (statistics)","score":0.489005446434021},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4717505872249603},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43849918246269226},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.4384113550186157},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.11603847146034241}],"concepts":[{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.7005879878997803},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6921408772468567},{"id":"https://openalex.org/C98375054","wikidata":"https://www.wikidata.org/wiki/Q442709","display_name":"Enclosure","level":2,"score":0.5834165811538696},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5726833343505859},{"id":"https://openalex.org/C39613435","wikidata":"https://www.wikidata.org/wiki/Q846677","display_name":"Remainder","level":2,"score":0.5390971899032593},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.5335932970046997},{"id":"https://openalex.org/C106195933","wikidata":"https://www.wikidata.org/wiki/Q7847935","display_name":"Truncation (statistics)","level":2,"score":0.489005446434021},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4717505872249603},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43849918246269226},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.4384113550186157},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11603847146034241},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","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/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc.2013.6759928","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2013.6759928","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"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/30370","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/30370","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"52nd IEEE Annual Conference on Decision and Control (CDC)","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6726216653","display_name":null,"funder_award_id":"EP/J006572/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W275803162","https://openalex.org/W1546107173","https://openalex.org/W1559197676","https://openalex.org/W1574435983","https://openalex.org/W1580809199","https://openalex.org/W1589377339","https://openalex.org/W1601885939","https://openalex.org/W1880805667","https://openalex.org/W1968883268","https://openalex.org/W1969747399","https://openalex.org/W1977164425","https://openalex.org/W1988622494","https://openalex.org/W1998661762","https://openalex.org/W2007591867","https://openalex.org/W2009265532","https://openalex.org/W2012580470","https://openalex.org/W2025604257","https://openalex.org/W2025733636","https://openalex.org/W2030389346","https://openalex.org/W2039089316","https://openalex.org/W2073787051","https://openalex.org/W2079800122","https://openalex.org/W2127520982","https://openalex.org/W2146341805","https://openalex.org/W2523410457","https://openalex.org/W4302562054"],"related_works":["https://openalex.org/W4315487898","https://openalex.org/W2088904828","https://openalex.org/W2091149819","https://openalex.org/W617989196","https://openalex.org/W2032199336","https://openalex.org/W2904183727","https://openalex.org/W2366011141","https://openalex.org/W2347282152","https://openalex.org/W1512242459","https://openalex.org/W1999144736"],"abstract_inverted_index":{"This":[0,16],"paper":[1,122],"presents":[2],"a":[3,21,32,60,66,73,79,101,115],"novel":[4],"algorithm":[5,17,70,129],"for":[6,41,82],"bounding":[7],"the":[8,26,48,86,111,121,128,142,147],"reachable":[9,27],"set":[10,28],"of":[11,31,85,113,127,146],"parametric":[12],"nonlinear":[13],"differential":[14],"equations.":[15],"is":[18,93,123,138],"based":[19],"on":[20,110],"first-discretize-then-bound":[22],"approach":[23,98],"to":[24,47,52,100,140],"enclose":[25],"via":[29],"propagation":[30],"Taylor":[33],"model":[34],"with":[35],"ellipsoidal":[36],"remainder,":[37],"and":[38,76,144],"it":[39],"accounts":[40],"truncation":[42],"errors":[43],"that":[44,55,95],"are":[45],"inherent":[46],"discretization.":[49],"In":[50],"contrast":[51],"existing":[53],"algorithms":[54],"proceed":[56],"in":[57,120,130],"two":[58],"phases-an":[59],"priori":[61,116],"enclosure":[62,75,88],"phase,":[63],"followed":[64],"by":[65],"tightening":[67],"phase-the":[68],"proposed":[69],"first":[71],"predicts":[72],"continuous-time":[74],"then":[77],"seeks":[78],"maximal":[80],"step-size":[81,103],"which":[83,106],"validity":[84],"predicted":[87],"can":[89],"be":[90],"established.":[91],"It":[92],"shown":[94],"this":[96],"reversed":[97],"leads":[99],"natural":[102],"control":[104],"mechanism,":[105],"no":[107],"longer":[108],"relies":[109],"availability":[112],"an":[114,124],"enclosure.":[117],"Also":[118],"described":[119],"open-source":[125],"implementation":[126],"ACADO":[131],"Toolkit.":[132],"A":[133],"simple":[134],"numerical":[135],"case":[136],"study":[137],"presented":[139],"illustrate":[141],"performance":[143],"stability":[145],"algorithm.":[148]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}