{"id":"https://openalex.org/W2033077742","doi":"https://doi.org/10.1109/acc.2012.6314891","title":"On-the-fly model abstraction for controller synthesis","display_name":"On-the-fly model abstraction for controller synthesis","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W2033077742","doi":"https://doi.org/10.1109/acc.2012.6314891","mag":"2033077742"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2012.6314891","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2012.6314891","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"article","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/A5020018687","display_name":"Matthias Rungger","orcid":"https://orcid.org/0000-0002-6623-4569"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"M. Rungger","raw_affiliation_strings":["Department of Electrical Engineering, University of California, Los Angeles, USA","Dept. of Electrical Engineering, University of California in Los Angeles"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":"Dept. of Electrical Engineering, University of California in Los Angeles","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040756775","display_name":"Olaf Stursberg","orcid":"https://orcid.org/0000-0002-9600-457X"},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"O. Stursberg","raw_affiliation_strings":["Institute of Control and System Theory, Department of Electrical Engineering and Computer Science, University of Kassel, Germany","Institute of Control and System Theory, Department of Electrical Engineering and Computer Science, University of Kassel, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute of Control and System Theory, Department of Electrical Engineering and Computer Science, University of Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]},{"raw_affiliation_string":"Institute of Control and System Theory, Department of Electrical Engineering and Computer Science, University of Kassel, Germany#TAB#","institution_ids":["https://openalex.org/I106157433"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5020018687"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":1.0109,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.76460388,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"56","issue":null,"first_page":"2645","last_page":"2650"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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.9961000084877014,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9908000230789185,"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/abstraction","display_name":"Abstraction","score":0.799791157245636},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7789284586906433},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.7525521516799927},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.6301462650299072},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5725661516189575},{"id":"https://openalex.org/keywords/model-of-computation","display_name":"Model of computation","score":0.5491707921028137},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4957447946071625},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3079831004142761},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14430740475654602}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.799791157245636},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7789284586906433},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7525521516799927},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.6301462650299072},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5725661516189575},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.5491707921028137},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4957447946071625},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3079831004142761},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14430740475654602},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/acc.2012.6314891","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2012.6314891","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1487586009","https://openalex.org/W1546862091","https://openalex.org/W1975614620","https://openalex.org/W2030637023","https://openalex.org/W2042713973","https://openalex.org/W2049680316","https://openalex.org/W2062946495","https://openalex.org/W2112660220","https://openalex.org/W2152784531","https://openalex.org/W2163204032","https://openalex.org/W2167501493","https://openalex.org/W2487779201","https://openalex.org/W2963437838","https://openalex.org/W2988480584","https://openalex.org/W3103706207","https://openalex.org/W4300472753","https://openalex.org/W6661369942"],"related_works":["https://openalex.org/W124095581","https://openalex.org/W2014394412","https://openalex.org/W1496964288","https://openalex.org/W4243513839","https://openalex.org/W154258522","https://openalex.org/W814988660","https://openalex.org/W2477549100","https://openalex.org/W4240937967","https://openalex.org/W2294346225","https://openalex.org/W1967093019"],"abstract_inverted_index":{"While":[0],"abstractions":[1,20],"of":[2,11,18,29,58,64,74],"dynamical":[3],"systems":[4,28],"render":[5],"the":[6,16,38,47,51,56,59,62,71,75,85],"rigorous":[7],"and":[8,50,61],"algorithmic":[9],"synthesis":[10],"controllers":[12],"feasible":[13,25],"in":[14],"principle,":[15],"computation":[17,57],"discrete":[19,67],"is":[21,78],"known":[22,83],"to":[23,45],"be":[24],"only":[26],"for":[27,81,90],"relatively":[30],"low":[31],"dimension.":[32],"As":[33],"a":[34,91],"step":[35],"towards":[36],"making":[37],"computations":[39],"more":[40],"tractable,":[41],"this":[42],"paper":[43],"proposes":[44],"reduce":[46],"computational":[48],"load":[49],"required":[52],"memory":[53],"by":[54],"combining":[55],"abstraction":[60],"solution":[63],"an":[65],"auxiliary":[66],"control":[68],"problem.":[69],"Although":[70],"worst-case":[72],"complexity":[73],"proposed":[76],"algorithm":[77,86],"worse":[79],"than":[80],"other":[82],"procedures,":[84],"shows":[87],"promising":[88],"performance":[89],"challenging":[92],"example.":[93]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}