{"id":"https://openalex.org/W4315489054","doi":"https://doi.org/10.1109/cdc51059.2022.9992495","title":"State-feedback Abstractions for Optimal Control of Piecewise-affine Systems","display_name":"State-feedback Abstractions for Optimal Control of Piecewise-affine Systems","publication_year":2022,"publication_date":"2022-12-06","ids":{"openalex":"https://openalex.org/W4315489054","doi":"https://doi.org/10.1109/cdc51059.2022.9992495"},"language":"en","primary_location":{"id":"doi:10.1109/cdc51059.2022.9992495","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc51059.2022.9992495","pdf_url":null,"source":{"id":"https://openalex.org/S4363607710","display_name":"2022 IEEE 61st Conference on Decision and Control (CDC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 61st Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2078.1/310276","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075202398","display_name":"Lucas N. Egidio","orcid":"https://orcid.org/0000-0003-4096-5969"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Lucas N. Egidio","raw_affiliation_strings":["ICTEAM Institute,Université Catholique de Louvain,Louvain-la-Neuve,Belgium,1348"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ICTEAM Institute,Université Catholique de Louvain,Louvain-la-Neuve,Belgium,1348","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073576593","display_name":"Thiago Alves Lima","orcid":"https://orcid.org/0000-0001-9883-5775"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Thiago Alves Lima","raw_affiliation_strings":["ICTEAM Institute,Université Catholique de Louvain,Louvain-la-Neuve,Belgium,1348"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ICTEAM Institute,Université Catholique de Louvain,Louvain-la-Neuve,Belgium,1348","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056625594","display_name":"Rapha\u00ebl M. Jungers","orcid":"https://orcid.org/0000-0002-7789-0940"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Raphael M. Jungers","raw_affiliation_strings":["ICTEAM Institute,Université Catholique de Louvain,Louvain-la-Neuve,Belgium,1348"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ICTEAM Institute,Université Catholique de Louvain,Louvain-la-Neuve,Belgium,1348","institution_ids":["https://openalex.org/I95674353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I95674353"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"7455","last_page":"7460"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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.9994000196456909,"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.9958000183105469,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.995199978351593,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.6857007741928101},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.583092987537384},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5684317350387573},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5527045130729675},{"id":"https://openalex.org/keywords/piecewise","display_name":"Piecewise","score":0.5277726650238037},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4949595332145691},{"id":"https://openalex.org/keywords/discretization","display_name":"Discretization","score":0.4872116446495056},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4289945662021637},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.4197508692741394},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36798974871635437},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3610362410545349},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.32386088371276855},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.27910587191581726},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.2088533639907837},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11638659238815308},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10077589750289917}],"concepts":[{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.6857007741928101},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.583092987537384},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5684317350387573},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5527045130729675},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.5277726650238037},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4949595332145691},{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.4872116446495056},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4289945662021637},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.4197508692741394},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36798974871635437},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3610362410545349},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.32386088371276855},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27910587191581726},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2088533639907837},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11638659238815308},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10077589750289917},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc51059.2022.9992495","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc51059.2022.9992495","pdf_url":null,"source":{"id":"https://openalex.org/S4363607710","display_name":"2022 IEEE 61st Conference on Decision and Control (CDC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 61st Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:dial.uclouvain.be:boreal:310276","is_oa":true,"landing_page_url":"http://hdl.handle.net/2078.1/310276","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Xplore, (2022)","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:dial.uclouvain.be:boreal:310276","is_oa":true,"landing_page_url":"http://hdl.handle.net/2078.1/310276","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Xplore, (2022)","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1838714828","https://openalex.org/W1918816242","https://openalex.org/W1973110798","https://openalex.org/W1977918122","https://openalex.org/W2056864430","https://openalex.org/W2085584587","https://openalex.org/W2134312936","https://openalex.org/W2138353699","https://openalex.org/W2142802381","https://openalex.org/W2151958719","https://openalex.org/W2165744968","https://openalex.org/W2169289043","https://openalex.org/W2337661843","https://openalex.org/W2487779201","https://openalex.org/W2564832474","https://openalex.org/W2594675090","https://openalex.org/W2603469395","https://openalex.org/W2606411279","https://openalex.org/W2756915303","https://openalex.org/W2796061040","https://openalex.org/W2913775679","https://openalex.org/W2962709723","https://openalex.org/W2963437838","https://openalex.org/W2964046756","https://openalex.org/W2964178292","https://openalex.org/W3100135013","https://openalex.org/W3104168345","https://openalex.org/W3105558219","https://openalex.org/W3120657599","https://openalex.org/W4210526335","https://openalex.org/W4287591957","https://openalex.org/W6679308374","https://openalex.org/W6787008863"],"related_works":["https://openalex.org/W1495872178","https://openalex.org/W1522712643","https://openalex.org/W2102135785","https://openalex.org/W2136070637","https://openalex.org/W2089212807","https://openalex.org/W2783071694","https://openalex.org/W1976268573","https://openalex.org/W1553849808","https://openalex.org/W2963587252","https://openalex.org/W273478400"],"abstract_inverted_index":{"In":[0],"this":[1,82],"manuscript,":[2],"we":[3,62,115],"investigate":[4],"symbolic":[5,36,54],"abstractions":[6],"that":[7,30,40,64,87],"capture":[8],"the":[9,35,46,49,71,85,88,96,127,138,147],"behavior":[10],"of":[11,81,105,129,146],"piecewise-affine":[12,73],"systems":[13],"under":[14],"input":[15,89],"constraints":[16],"and":[17,48,61,77,95,110,118,132,149],"bounded":[18],"external":[19],"noise.":[20],"This":[21],"is":[22,56,75,84,99],"accomplished":[23],"by":[24],"considering":[25],"local":[26],"affine":[27,111],"feedback":[28],"controllers":[29,112],"are":[31,113],"jointly":[32],"designed":[33],"with":[34],"model,":[37],"which":[38],"ensures":[39],"an":[41],"alternating":[42],"simulation":[43],"relation":[44],"between":[45],"system":[47,55,74],"abstraction":[50,60],"holds.":[51],"The":[52],"resulting":[53],"called":[57],"a":[58,102,123,130,133],"state-feedback":[59],"show":[63],"it":[65],"can":[66],"be":[67,93],"deterministic":[68],"even":[69],"when":[70],"original":[72],"unstable":[76],"non-deterministic.":[78],"One":[79],"benefit":[80],"approach":[83],"fact":[86],"space":[90,98],"need":[91],"not":[92],"discretized":[94],"symbolic-input":[97],"reduced":[100],"to":[101],"finite":[103],"set":[104],"controllers.":[106],"When":[107],"ellipsoidal":[108],"cells":[109],"considered,":[114],"present":[116],"necessary":[117],"sufficient":[119],"conditions":[120],"written":[121],"as":[122],"semi-definite":[124],"program":[125],"for":[126],"existence":[128],"transition":[131,139],"robust":[134],"upper":[135],"bound":[136],"on":[137],"cost.":[140],"Two":[141],"examples":[142],"illustrate":[143],"particular":[144],"aspects":[145],"theory":[148],"its":[150],"applicability.":[151]},"counts_by_year":[{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-19T07:52:34.831488","created_date":"2025-10-10T00:00:00"}