{"id":"https://openalex.org/W2537041723","doi":"https://doi.org/10.1145/3049797.3049802","title":"Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants","display_name":"Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants","publication_year":2017,"publication_date":"2017-04-13","ids":{"openalex":"https://openalex.org/W2537041723","doi":"https://doi.org/10.1145/3049797.3049802","mag":"2537041723"},"language":"en","primary_location":{"id":"doi:10.1145/3049797.3049802","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3049797.3049802","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3049802&type=pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3049802&type=pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091718585","display_name":"Alessandro Abate","orcid":"https://orcid.org/0000-0002-5627-9093"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Alessandro Abate","raw_affiliation_strings":["University of Oxford, Oxford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029633547","display_name":"Iury Bessa","orcid":"https://orcid.org/0000-0002-6603-3476"},"institutions":[{"id":"https://openalex.org/I62885914","display_name":"Universidade Federal do Amazonas","ror":"https://ror.org/02263ky35","country_code":"BR","type":"education","lineage":["https://openalex.org/I62885914"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Iury Bessa","raw_affiliation_strings":["Federal University of Amazonas, Manaus, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Amazonas, Manaus, Brazil","institution_ids":["https://openalex.org/I62885914"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013998473","display_name":"Dario Cattaruzza","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dario Cattaruzza","raw_affiliation_strings":["University of Oxford, Oxford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057689302","display_name":"Lucas C. Cordeiro","orcid":"https://orcid.org/0000-0002-6235-4272"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lucas Cordeiro","raw_affiliation_strings":["University of Oxford & Federal University of Amazonas, Oxford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford & Federal University of Amazonas, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072292925","display_name":"Cristina David","orcid":"https://orcid.org/0000-0002-9106-934X"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Cristina David","raw_affiliation_strings":["University of Oxford, Oxford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061487862","display_name":"Pascal Kesseli","orcid":"https://orcid.org/0000-0003-0300-5598"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Pascal Kesseli","raw_affiliation_strings":["University of Oxford, Oxford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086206346","display_name":"Daniel Kroening","orcid":"https://orcid.org/0000-0002-6681-5283"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Daniel Kroening","raw_affiliation_strings":["University of Oxford, Oxford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5091718585"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":3.7917,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.94009522,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"197","last_page":"206"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9973000288009644,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9973000288009644,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.9926000237464905,"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/T11749","display_name":"Iterative Learning Control Systems","score":0.989300012588501,"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/microcontroller","display_name":"Microcontroller","score":0.8026059865951538},{"id":"https://openalex.org/keywords/quantization","display_name":"Quantization (signal processing)","score":0.7492161989212036},{"id":"https://openalex.org/keywords/rounding","display_name":"Rounding","score":0.6496387720108032},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6402137279510498},{"id":"https://openalex.org/keywords/discretization","display_name":"Discretization","score":0.5854490399360657},{"id":"https://openalex.org/keywords/digital-control","display_name":"Digital control","score":0.5527820587158203},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46688902378082275},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4028451442718506},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.373882532119751},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.34493720531463623},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3360447883605957},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.28942447900772095},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.24575066566467285},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2030695378780365},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2008996307849884},{"id":"https://openalex.org/keywords/electronic-engineering","display_name":"Electronic engineering","score":0.1780199408531189},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16501781344413757},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13890981674194336}],"concepts":[{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.8026059865951538},{"id":"https://openalex.org/C28855332","wikidata":"https://www.wikidata.org/wiki/Q198099","display_name":"Quantization (signal processing)","level":2,"score":0.7492161989212036},{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.6496387720108032},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6402137279510498},{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.5854490399360657},{"id":"https://openalex.org/C158411068","wikidata":"https://www.wikidata.org/wiki/Q2720568","display_name":"Digital control","level":2,"score":0.5527820587158203},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46688902378082275},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4028451442718506},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.373882532119751},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.34493720531463623},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3360447883605957},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.28942447900772095},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.24575066566467285},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2030695378780365},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2008996307849884},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.1780199408531189},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16501781344413757},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13890981674194336},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1145/3049797.3049802","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3049797.3049802","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3049802&type=pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire/b36e1db2-cff7-4e2e-907d-2f9941b30fe5","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/b36e1db2-cff7-4e2e-907d-2f9941b30fe5","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Abate, A, Bessa, I, Cattaruzza, D, Cordeiro, L, David, C, Kesseli, P & Kroening, D 2017, 'Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants', HSCC '17: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp. 197-206. https://doi.org/10.1145/3049797.3049802","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:1610.04761","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1610.04761","pdf_url":"https://arxiv.org/pdf/1610.04761","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"pmh:oai:pure.atira.dk:publications/b36e1db2-cff7-4e2e-907d-2f9941b30fe5","is_oa":false,"landing_page_url":"https://arxiv.org/pdf/1610.04761.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:ora.ox.ac.uk:uuid:9362b4bf-6535-4db0-92fa-3d634ea6e651","is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:9362b4bf-6535-4db0-92fa-3d634ea6e651","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference item"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire/f6bb8a35-4b52-4232-bea5-f0a412670785","is_oa":true,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/f6bb8a35-4b52-4232-bea5-f0a412670785","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Abate, A, Bessa, L, Cattaruzza, D, Cordeiro, L, David, C, Kesseli, P & Kroening, D 2017, Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. in HSCC '17: Proceedings of the 20th International Conference on Hybrid Systems : Computation and Control. Association for Computing Machinery, pp. 197\u2013206. https://doi.org/10.1145/3049797.3049802","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:research-information.bris.ac.uk:publications/f6bb8a35-4b52-4232-bea5-f0a412670785","is_oa":true,"landing_page_url":"https://hdl.handle.net/1983/f6bb8a35-4b52-4232-bea5-f0a412670785","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1145/3049797.3049802","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3049797.3049802","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3049802&type=pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4281301057","display_name":"New Foundational Structures for Engineering Verified multi-UAVs","funder_award_id":"EP/J012564/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5045220161","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6485086710","display_name":null,"funder_award_id":"SC-SQUARE","funder_id":"https://openalex.org/F4320335254","funder_display_name":"Horizon 2020"},{"id":"https://openalex.org/G824979643","display_name":null,"funder_award_id":"280053","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G8452545418","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8816344460","display_name":null,"funder_award_id":"EP/J012564/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"},{"id":"https://openalex.org/F4320335254","display_name":"Horizon 2020","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2537041723.pdf","grobid_xml":"https://content.openalex.org/works/W2537041723.grobid-xml"},"referenced_works_count":54,"referenced_works":["https://openalex.org/W65153156","https://openalex.org/W802273291","https://openalex.org/W1481834144","https://openalex.org/W1532156674","https://openalex.org/W1544439962","https://openalex.org/W1654369324","https://openalex.org/W1763790326","https://openalex.org/W1766966067","https://openalex.org/W1880311693","https://openalex.org/W1935464460","https://openalex.org/W1972230064","https://openalex.org/W1975041710","https://openalex.org/W1976043036","https://openalex.org/W1977669666","https://openalex.org/W1993170675","https://openalex.org/W1993799156","https://openalex.org/W2006297006","https://openalex.org/W2007222857","https://openalex.org/W2020209480","https://openalex.org/W2021028598","https://openalex.org/W2041358913","https://openalex.org/W2041828849","https://openalex.org/W2050518874","https://openalex.org/W2082244252","https://openalex.org/W2088773033","https://openalex.org/W2099495417","https://openalex.org/W2100134099","https://openalex.org/W2108784678","https://openalex.org/W2109273274","https://openalex.org/W2118364639","https://openalex.org/W2121117794","https://openalex.org/W2129538349","https://openalex.org/W2149236697","https://openalex.org/W2227598104","https://openalex.org/W2239891621","https://openalex.org/W2240822658","https://openalex.org/W2247845964","https://openalex.org/W2273461841","https://openalex.org/W2277582207","https://openalex.org/W2293790689","https://openalex.org/W2337445953","https://openalex.org/W2337657244","https://openalex.org/W2342349499","https://openalex.org/W2508178598","https://openalex.org/W2554492429","https://openalex.org/W2949951451","https://openalex.org/W2963356785","https://openalex.org/W3022973810","https://openalex.org/W3139850658","https://openalex.org/W3192343331","https://openalex.org/W4248472930","https://openalex.org/W4290055544","https://openalex.org/W6632811028","https://openalex.org/W6677875497"],"related_works":["https://openalex.org/W4293327315","https://openalex.org/W4214620071","https://openalex.org/W3193327755","https://openalex.org/W4287024649","https://openalex.org/W3203683271","https://openalex.org/W2162125381","https://openalex.org/W3196596702","https://openalex.org/W2061426984","https://openalex.org/W2039319708","https://openalex.org/W1782618366"],"abstract_inverted_index":{"Modern":[0],"control":[1],"is":[2,42],"implemented":[3,66],"with":[4,44],"digital":[5,32],"microcontrollers,":[6],"embedded":[7],"within":[8,94],"a":[9,18,71,84],"dynamical":[10],"plant":[11,88],"that":[12,27,34],"represents":[13],"physical":[14],"components.":[15],"We":[16,64],"present":[17],"new":[19,68],"algorithm":[20,69],"based":[21],"on":[22],"counterexample":[23],"guided":[24],"inductive":[25],"synthesis":[26,40],"automates":[28],"the":[29,47,92],"design":[30],"of":[31,50,86],"controllers":[33,82],"are":[35,76],"correct":[36],"by":[37],"construction.":[38],"The":[39],"result":[41],"sound":[43],"respect":[45],"to":[46,78],"complete":[48],"range":[49],"approximations,":[51],"including":[52],"time":[53],"discretization,":[54],"quantization":[55],"effects,":[56],"and":[57,60,75],"finite-precision":[58],"arithmetic":[59],"its":[61],"rounding":[62],"errors.":[63],"have":[65],"our":[67],"in":[70],"tool":[72],"called":[73],"DSSynth,":[74],"able":[77],"automatically":[79],"generate":[80],"stable":[81],"for":[83],"set":[85],"intricate":[87],"models":[89],"taken":[90],"from":[91],"literature":[93],"minutes.":[95]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":7}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2020-11-23T00:00:00"}