{"id":"https://openalex.org/W4385444334","doi":"https://doi.org/10.23919/ecc57647.2023.10178241","title":"Robust Simulation Functions with Disturbance Refinement","display_name":"Robust Simulation Functions with Disturbance Refinement","publication_year":2023,"publication_date":"2023-06-13","ids":{"openalex":"https://openalex.org/W4385444334","doi":"https://doi.org/10.23919/ecc57647.2023.10178241"},"language":"en","primary_location":{"id":"doi:10.23919/ecc57647.2023.10178241","is_oa":false,"landing_page_url":"http://dx.doi.org/10.23919/ecc57647.2023.10178241","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 European Control Conference (ECC)","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/A5046297424","display_name":"Ben Wooding","orcid":"https://orcid.org/0000-0003-1713-717X"},"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":"Ben Wooding","raw_affiliation_strings":["Newcastle University,School of Computing,United Kingdom","School of Computing, Newcastle University, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Newcastle University,School of Computing,United Kingdom","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"School of Computing, Newcastle University, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","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,United Kingdom","School of Computing, Newcastle University, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Newcastle University,School of Computing,United Kingdom","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"School of Computing, Newcastle University, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061146009","display_name":"Vahid Vahidinasab","orcid":"https://orcid.org/0000-0002-0779-8727"},"institutions":[{"id":"https://openalex.org/I52590639","display_name":"Nottingham Trent University","ror":"https://ror.org/04xyxjd90","country_code":"GB","type":"education","lineage":["https://openalex.org/I52590639"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Vahid Vahidinasab","raw_affiliation_strings":["Nottingham Trent University,Department of Engineering,United Kingdom","Department of Engineering, Nottingham Trent University, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nottingham Trent University,Department of Engineering,United Kingdom","institution_ids":["https://openalex.org/I52590639"]},{"raw_affiliation_string":"Department of Engineering, Nottingham Trent University, United Kingdom","institution_ids":["https://openalex.org/I52590639"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017334634","display_name":"Sadegh Soudjani","orcid":"https://orcid.org/0000-0003-1922-6678"},"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":"Sadegh Soudjani","raw_affiliation_strings":["Newcastle University,School of Computing,United Kingdom","School of Computing, Newcastle University, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Newcastle University,School of Computing,United Kingdom","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"School of Computing, Newcastle University, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9986000061035156,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cartesian-product","display_name":"Cartesian product","score":0.6658083200454712},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6588137745857239},{"id":"https://openalex.org/keywords/closeness","display_name":"Closeness","score":0.6316550970077515},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5600736141204834},{"id":"https://openalex.org/keywords/perturbation","display_name":"Perturbation (astronomy)","score":0.5429531931877136},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.4776633679866791},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.45814627408981323},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.44695764780044556},{"id":"https://openalex.org/keywords/cartesian-coordinate-system","display_name":"Cartesian coordinate system","score":0.4239952564239502},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.2955820560455322},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.1991918683052063},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19203484058380127}],"concepts":[{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.6658083200454712},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6588137745857239},{"id":"https://openalex.org/C2779545769","wikidata":"https://www.wikidata.org/wiki/Q5135364","display_name":"Closeness","level":2,"score":0.6316550970077515},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5600736141204834},{"id":"https://openalex.org/C177918212","wikidata":"https://www.wikidata.org/wiki/Q803623","display_name":"Perturbation (astronomy)","level":2,"score":0.5429531931877136},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.4776633679866791},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.45814627408981323},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.44695764780044556},{"id":"https://openalex.org/C16038011","wikidata":"https://www.wikidata.org/wiki/Q62912","display_name":"Cartesian coordinate system","level":2,"score":0.4239952564239502},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.2955820560455322},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.1991918683052063},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19203484058380127},{"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/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.23919/ecc57647.2023.10178241","is_oa":false,"landing_page_url":"http://dx.doi.org/10.23919/ecc57647.2023.10178241","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 European Control Conference (ECC)","raw_type":"proceedings-article"},{"id":"pmh:oai:irep.ntu.ac.uk:49567","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400559","display_name":"Nottingham Trent University's Institutional Repository (Nottingham Trent Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I52590639","host_organization_name":"Nottingham Trent University","host_organization_lineage":["https://openalex.org/I52590639"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Book Section"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/12","score":0.5400000214576721,"display_name":"Responsible consumption and production"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1997070622","https://openalex.org/W1999016870","https://openalex.org/W2023808162","https://openalex.org/W2041459638","https://openalex.org/W2074027094","https://openalex.org/W2079042739","https://openalex.org/W2136354407","https://openalex.org/W2169239645","https://openalex.org/W2337661843","https://openalex.org/W2342916981","https://openalex.org/W2465923267","https://openalex.org/W2487779201","https://openalex.org/W2536620281","https://openalex.org/W2795585950","https://openalex.org/W2897682718","https://openalex.org/W2963686733","https://openalex.org/W3021850350","https://openalex.org/W3045568673","https://openalex.org/W3125855560","https://openalex.org/W3153811724","https://openalex.org/W3182709825","https://openalex.org/W4226165084","https://openalex.org/W4283077144","https://openalex.org/W4285243308","https://openalex.org/W6838996675"],"related_works":["https://openalex.org/W2156910174","https://openalex.org/W1995054232","https://openalex.org/W2011510925","https://openalex.org/W1557920161","https://openalex.org/W1556709767","https://openalex.org/W1993023208","https://openalex.org/W3030274415","https://openalex.org/W68628300","https://openalex.org/W2054171707","https://openalex.org/W1716629940"],"abstract_inverted_index":{"Simulation":[0],"functions":[1,4,64],"are":[2],"Lyapunov-like":[3],"defined":[5],"over":[6],"the":[7,35,68,71,80,94,103,107,120,125,134,153],"Cartesian":[8],"product":[9],"of":[10,13,26,31,119,136,152],"state":[11],"spaces":[12],"two":[14,38,108],"(un)perturbed":[15],"systems,":[16,21],"a.k.a.,":[17],"concrete":[18,32,51,86,121],"and":[19,60,123],"abstract":[20,27,72,164],"to":[22,29,66,88],"relate":[23],"output":[24],"trajectories":[25],"systems":[28,39,52,87,142],"those":[30],"ones":[33],"while":[34,100],"mismatch":[36],"between":[37,106],"remains":[40],"within":[41],"some":[42],"guaranteed":[43],"error":[44,105],"bounds.":[45],"In":[46],"this":[47,111],"work,":[48],"we":[49],"approximate":[50],"with":[53,55],"abstractions":[54],"lower":[56],"dimensions":[57],"(reduced-order":[58],"models)":[59],"develop":[61],"robust":[62],"simulation":[63],"further":[65],"consider":[67],"perturbation":[69],"in":[70,96],"system":[73,122],"by":[74,143],"designing":[75],"an":[76],"interface":[77],"function":[78],"for":[79,129,148],"disturbance.":[81],"The":[82],"proposed":[83],"approach":[84],"allows":[85],"have":[89],"large":[90],"disturbances,":[91],"which":[92],"is":[93],"case":[95],"many":[97],"real-life":[98],"applications,":[99],"noticeably":[101],"reducing":[102,124],"closeness":[104],"systems.":[109],"Accordingly,":[110],"enables":[112],"controller":[113,147],"design":[114],"using":[115,160],"a":[116,145,149,162],"reduced-order":[117],"form":[118],"computational":[126],"load":[127],"required":[128],"formal":[130,146],"synthesis.":[131],"We":[132],"demonstrate":[133],"efficacy":[135],"our":[137],"approaches":[138],"on":[139],"linear":[140],"control":[141],"synthesising":[144],"9-state":[150],"area":[151],"known":[154],"New":[155],"England":[156],"39-Bus":[157],"Test":[158],"System,":[159],"only":[161],"3-state":[163],"system.":[165]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}