{"id":"https://openalex.org/W7123357795","doi":"https://doi.org/10.1109/cdc57313.2025.11312476","title":"Model Order Reduction from Data with Certification","display_name":"Model Order Reduction from Data with Certification","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123357795","doi":"https://doi.org/10.1109/cdc57313.2025.11312476"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312476","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312476","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th 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/A5106677524","display_name":"Behrad Samari","orcid":null},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Behrad Samari","raw_affiliation_strings":["Newcastle University,School of Computing,Newcastle Upon Tyne,United Kingdom,NE4 5TG"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Newcastle University,School of Computing,Newcastle Upon Tyne,United Kingdom,NE4 5TG","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122861280","display_name":"Amy Nejati","orcid":null},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Amy Nejati","raw_affiliation_strings":["Newcastle University,School of Computing,Newcastle Upon Tyne,United Kingdom,NE4 5TG"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Newcastle University,School of Computing,Newcastle Upon Tyne,United Kingdom,NE4 5TG","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011080021","display_name":"Abolfazl Lavaei","orcid":"https://orcid.org/0000-0003-4993-3170"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Abolfazl Lavaei","raw_affiliation_strings":["Newcastle University,School of Computing,Newcastle Upon Tyne,United Kingdom,NE4 5TG"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Newcastle University,School of Computing,Newcastle Upon Tyne,United Kingdom,NE4 5TG","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.64350548,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"5800","last_page":"5805"},"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.9682999849319458,"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.9682999849319458,"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/T10142","display_name":"Formal Methods in Verification","score":0.008200000040233135,"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/T11236","display_name":"Control Systems and Identification","score":0.0026000000070780516,"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/construct","display_name":"Construct (python library)","score":0.7228000164031982},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7092000246047974},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.44670000672340393},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.438400000333786},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4275999963283539},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.40059998631477356},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.39239999651908875},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.361299991607666},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.35510000586509705},{"id":"https://openalex.org/keywords/linear-dynamical-system","display_name":"Linear dynamical system","score":0.3474000096321106}],"concepts":[{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.7228000164031982},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7092000246047974},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6987000107765198},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.44670000672340393},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.438400000333786},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4334000051021576},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4275999963283539},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.40059998631477356},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.39239999651908875},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.361299991607666},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.35510000586509705},{"id":"https://openalex.org/C114275822","wikidata":"https://www.wikidata.org/wiki/Q621512","display_name":"Linear dynamical system","level":3,"score":0.3474000096321106},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3443000018596649},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.34389999508857727},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.3312999904155731},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.3278999924659729},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.3066999912261963},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.2994999885559082},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.2928999960422516},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.27160000801086426},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.2703999876976013},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.26969999074935913},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.25940001010894775},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.2533999979496002},{"id":"https://openalex.org/C76969082","wikidata":"https://www.wikidata.org/wiki/Q486902","display_name":"Mathematical model","level":2,"score":0.25200000405311584},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.251800000667572},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2500999867916107}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312476","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312476","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th 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":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"a":[3,54,112],"data-driven":[4,35,109],"scheme":[5],"to":[6,70],"construct":[7,71],"reduced-order":[8],"models":[9],"(ROMs)":[10],"of":[11,30,40,45,114,125],"linear":[12],"dynamical":[13,104],"systems":[14,32,69],"with":[15],"unknown":[16,31,68,103,119],"mathematical":[17],"models.":[18,105],"Our":[19],"methodology":[20],"leverages":[21],"data":[22,88],"and":[23,33,74],"establishes":[24],"similarity":[25],"relations":[26],"between":[27],"output":[28],"trajectories":[29,66],"their":[34,48],"ROMs":[36,73,85],"via":[37],"the":[38,83,123],"notion":[39],"simulation":[41],"functions":[42],"(SFs),":[43],"capable":[44],"formally":[46],"quantifying":[47],"closeness.":[49],"To":[50],"achieve":[51],"this,":[52],"under":[53],"rank":[55],"condition":[56],"readily":[57],"fulfillable":[58],"using":[59],"data,":[60],"we":[61],"collect":[62],"only":[63],"two":[64],"input-state":[65],"from":[67,87],"both":[72],"SFs,":[75],"while":[76,96],"offering":[77],"correctness":[78],"guarantees.":[79],"We":[80,106],"demonstrate":[81],"that":[82],"proposed":[84],"derived":[86],"can":[89],"be":[90],"leveraged":[91],"for":[92],"controller":[93],"synthesis":[94],"endeavors":[95],"effectively":[97],"ensuring":[98],"high-level":[99],"logic":[100],"properties":[101],"over":[102],"showcase":[107],"our":[108],"findings":[110],"across":[111],"range":[113],"benchmark":[115],"scenarios":[116],"involving":[117],"various":[118],"physical":[120],"systems,":[121],"demonstrating":[122],"enforcement":[124],"diverse":[126],"complex":[127],"properties.":[128]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-01-14T00:00:00"}