{"id":"https://openalex.org/W4410716743","doi":"https://doi.org/10.1007/s10703-025-00477-2","title":"Linearization, model reduction and reachability in nonlinear odes","display_name":"Linearization, model reduction and reachability in nonlinear odes","publication_year":2025,"publication_date":"2025-05-24","ids":{"openalex":"https://openalex.org/W4410716743","doi":"https://doi.org/10.1007/s10703-025-00477-2"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-025-00477-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-025-00477-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-025-00477-2.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10703-025-00477-2.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078624552","display_name":"Michele Boreale","orcid":"https://orcid.org/0000-0002-1972-7491"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Michele Boreale","raw_affiliation_strings":["Dipartimento di Statistica, Informatica, Applicazioni \u201cG. Parenti\u201d, V.le Morgagni 65, 50134, Firenze, IT, Italy","Dipartimento di Statistica, Informatica, Applicazioni \"G. Parenti\", Universit\u00e0 di Firenze, V.le Morgagni 65, 50134, Firenze, FI, Italy"],"raw_orcid":"https://orcid.org/0000-0002-1972-7491","affiliations":[{"raw_affiliation_string":"Dipartimento di Statistica, Informatica, Applicazioni \u201cG. Parenti\u201d, V.le Morgagni 65, 50134, Firenze, IT, Italy","institution_ids":["https://openalex.org/I45084792"]},{"raw_affiliation_string":"Dipartimento di Statistica, Informatica, Applicazioni \"G. Parenti\", Universit\u00e0 di Firenze, V.le Morgagni 65, 50134, Firenze, FI, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035705980","display_name":"Luisa Collodi","orcid":"https://orcid.org/0009-0004-7967-4119"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luisa Collodi","raw_affiliation_strings":["Universit\u00e0 di Firenze, Firenze, Italy","Dipartimento di Statistica, Informatica, Applicazioni \"G. Parenti\", Universit\u00e0 di Firenze, V.le Morgagni 65, 50134, Firenze, FI, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Firenze, Firenze, Italy","institution_ids":["https://openalex.org/I45084792"]},{"raw_affiliation_string":"Dipartimento di Statistica, Informatica, Applicazioni \"G. Parenti\", Universit\u00e0 di Firenze, V.le Morgagni 65, 50134, Firenze, FI, Italy","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5078624552"],"corresponding_institution_ids":["https://openalex.org/I45084792"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":{"value":2690,"currency":"EUR","value_usd":3490},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08456529,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"66","issue":"3","first_page":"419","last_page":"454"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9986000061035156,"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.9947999715805054,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8607329726219177},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.7188920974731445},{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.6291544437408447},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6093807220458984},{"id":"https://openalex.org/keywords/linearization","display_name":"Linearization","score":0.5866063237190247},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5647713541984558},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.4419775903224945},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.39963752031326294},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.29357948899269104},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.15048065781593323},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.14278286695480347},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07553562521934509},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.07128679752349854},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.06597098708152771}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8607329726219177},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.7188920974731445},{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.6291544437408447},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6093807220458984},{"id":"https://openalex.org/C11210021","wikidata":"https://www.wikidata.org/wiki/Q1520713","display_name":"Linearization","level":3,"score":0.5866063237190247},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5647713541984558},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4419775903224945},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.39963752031326294},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.29357948899269104},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.15048065781593323},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.14278286695480347},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07553562521934509},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07128679752349854},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.06597098708152771},{"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.1007/s10703-025-00477-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-025-00477-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-025-00477-2.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:flore.unifi.it:2158/1437882","is_oa":false,"landing_page_url":"https://hdl.handle.net/2158/1437882","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10703-025-00477-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-025-00477-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-025-00477-2.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322648","display_name":"Universit\u00e0 degli Studi di Firenze","ror":"https://ror.org/04jr1s763"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410716743.pdf","grobid_xml":"https://content.openalex.org/works/W4410716743.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W172589331","https://openalex.org/W1506342804","https://openalex.org/W1520892678","https://openalex.org/W1535844866","https://openalex.org/W2015863039","https://openalex.org/W2019750884","https://openalex.org/W2055576996","https://openalex.org/W2070239372","https://openalex.org/W2084859862","https://openalex.org/W2108971499","https://openalex.org/W2116364955","https://openalex.org/W2127240436","https://openalex.org/W2131441094","https://openalex.org/W2148952098","https://openalex.org/W2476606743","https://openalex.org/W2748391565","https://openalex.org/W2788825088","https://openalex.org/W2796287609","https://openalex.org/W2914134759","https://openalex.org/W2933948684","https://openalex.org/W2963611087","https://openalex.org/W2967277443","https://openalex.org/W2972923329","https://openalex.org/W3107034996","https://openalex.org/W3181293835","https://openalex.org/W4226537812","https://openalex.org/W4313175185"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2143461633","https://openalex.org/W2150194458","https://openalex.org/W2371448224","https://openalex.org/W3134495997","https://openalex.org/W2999135108","https://openalex.org/W2363340714"],"abstract_inverted_index":{"Abstract":[0],"In":[1,93],"the":[2,94,119,151],"analysis":[3,152],"of":[4,49,118,153],"nonlinear":[5,50,154],"ordinary":[6],"differential":[7],"equations":[8],"(":[9],"ode":[10,51],"s),":[11],"linear":[12,47,79],"and":[13,43,69,109,144],"Taylor":[14],"approximations":[15,20,48],"are":[16,21],"fundamental":[17],"tools.":[18],"Such":[19],"generally":[22],"accurate":[23,59,86],"only":[24],"in":[25,36],"a":[26,32,75,110,115,128,138,147],"local":[27],"sense,":[28],"that":[29,53,81],"is":[30,82],"near":[31],"given":[33,105,132],"expansion":[34],"point":[35],"space":[37],"or":[38],"time.":[39],"We":[40,135],"study":[41],"conditions":[42],"methods":[44],"to":[45,57,84],"compute":[46,58],"s":[52],"can":[54],"be":[55],"used":[56],"reachability":[60],"information":[61],"also":[62,136],"non":[63,97],"locally.":[64],"Relying":[65],"on":[66],"Carleman":[67],"linearization":[68],"Krylov":[70],"projection,":[71],"our":[72,142],"method":[73],"yields":[74],"small,":[76],"hence":[77],"tractable":[78],"system":[80],"shown":[83],"produce":[85],"approximate":[87],"solutions,":[88],"under":[89],"suitable":[90],"stability":[91],"conditions.":[92],"general,":[95],"possibly":[96],"stable":[98],"case,":[99],"we":[100],"provide":[101],"an":[102,106],"algorithm":[103],"that,":[104],"initial":[107],"set":[108],"finite":[111],"time":[112],"horizon,":[113],"builds":[114],"tight":[116],"overapproximation":[117],"reachable":[120],"states":[121],"at":[122],"specified":[123],"times.":[124],"Experiments":[125],"conducted":[126],"with":[127],"proof-of-concept":[129],"implementation":[130],"have":[131],"encouraging":[133],"results.":[134],"establish":[137],"formal":[139],"relation":[140],"between":[141],"approach":[143],"Koopman":[145],"approximation,":[146],"well-known":[148],"framework":[149],"for":[150],"systems.":[155]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}