{"id":"https://openalex.org/W2133991487","doi":"https://doi.org/10.1109/cdc.2010.5717222","title":"An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications","display_name":"An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications","publication_year":2010,"publication_date":"2010-12-01","ids":{"openalex":"https://openalex.org/W2133991487","doi":"https://doi.org/10.1109/cdc.2010.5717222","mag":"2133991487"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2010.5717222","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2010.5717222","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"49th IEEE Conference on Decision and Control (CDC)","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/A5004790111","display_name":"Alessandro Borri","orcid":"https://orcid.org/0000-0002-6678-048X"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Alessandro Borri","raw_affiliation_strings":["Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L'' Aquila, L'Aquila, Italy","Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L\u00bfAquila, Poggio di Roio, 67040, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L'' Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L\u00bfAquila, Poggio di Roio, 67040, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084720300","display_name":"Giordano Pola","orcid":"https://orcid.org/0000-0002-2213-6051"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giordano Pola","raw_affiliation_strings":["Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L'' Aquila, L'Aquila, Italy","Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L\u00bfAquila, Poggio di Roio, 67040, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L'' Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L\u00bfAquila, Poggio di Roio, 67040, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061994256","display_name":"Maria Domenica Di Benedetto","orcid":"https://orcid.org/0000-0001-5703-7822"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"M. Domenica Di Benedetto","raw_affiliation_strings":["Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L'' Aquila, L'Aquila, Italy","Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L\u00bfAquila, Poggio di Roio, 67040, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L'' Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Department of Electrical and Information Engineering, Center of Excellence DEWS, University of L\u00bfAquila, Poggio di Roio, 67040, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004790111"],"corresponding_institution_ids":["https://openalex.org/I26415053"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17233104,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"51","issue":null,"first_page":"1528","last_page":"1533"},"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.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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9941999912261963,"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/computer-science","display_name":"Computer science","score":0.6372618675231934},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5656251907348633},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5263580083847046},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.511048436164856},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4679281711578369},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.4441917836666107},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4398244321346283},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.4102005958557129},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3505879044532776},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3476322889328003},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2865590453147888},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26616984605789185},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12377491593360901},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09441635012626648}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6372618675231934},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5656251907348633},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5263580083847046},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.511048436164856},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4679281711578369},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4441917836666107},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4398244321346283},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4102005958557129},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3505879044532776},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3476322889328003},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2865590453147888},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26616984605789185},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12377491593360901},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09441635012626648},{"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"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/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2010.5717222","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2010.5717222","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"49th IEEE Conference on Decision and Control (CDC)","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":30,"referenced_works":["https://openalex.org/W27464976","https://openalex.org/W258022877","https://openalex.org/W1483893502","https://openalex.org/W1503973138","https://openalex.org/W1513016807","https://openalex.org/W1547562281","https://openalex.org/W1567707156","https://openalex.org/W1835352161","https://openalex.org/W1972945640","https://openalex.org/W2011979623","https://openalex.org/W2012935476","https://openalex.org/W2035309264","https://openalex.org/W2044323243","https://openalex.org/W2055960145","https://openalex.org/W2079042739","https://openalex.org/W2085838366","https://openalex.org/W2101508170","https://openalex.org/W2102347640","https://openalex.org/W2114578185","https://openalex.org/W2117079884","https://openalex.org/W2150161350","https://openalex.org/W2159461839","https://openalex.org/W2163590987","https://openalex.org/W2165748475","https://openalex.org/W2166691751","https://openalex.org/W2171813452","https://openalex.org/W2487779201","https://openalex.org/W2527081555","https://openalex.org/W2763487042","https://openalex.org/W2962899708"],"related_works":["https://openalex.org/W2363922099","https://openalex.org/W908473976","https://openalex.org/W2384965142","https://openalex.org/W4251421746","https://openalex.org/W2615607975","https://openalex.org/W2000675896","https://openalex.org/W2192101006","https://openalex.org/W2116800748","https://openalex.org/W2638730922","https://openalex.org/W2190465783"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2,71],"we":[3],"address":[4],"the":[5,26,35,38,42,46,49,52,58,62,70],"problem":[6],"of":[7,11,28,37,41,45,51,61],"symbolic":[8,29],"control":[9,13,63],"design":[10,27,50,64],"nonlinear":[12],"systems":[14],"with":[15,48],"infinite":[16],"states":[17],"specifications,":[18],"modelled":[19],"by":[20],"differential":[21],"equations.":[22],"An":[23],"algorithm":[24,56],"for":[25],"controllers":[30],"is":[31],"presented,":[32],"which":[33],"integrates":[34],"construction":[36],"discrete":[39],"abstractions":[40],"plant":[43],"and":[44,72],"specification":[47],"controller.":[53],"This":[54],"integrated":[55],"reduces":[57],"space":[59],"complexity":[60],"computations,":[65],"as":[66],"formally":[67],"discussed":[68],"in":[69],"further":[73],"illustrated":[74],"through":[75],"an":[76],"illustrative":[77],"example.":[78]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}