{"id":"https://openalex.org/W2107889076","doi":"https://doi.org/10.1109/cdc.2007.4434957","title":"Symbolic models for linear control systems with disturbances","display_name":"Symbolic models for linear control systems with disturbances","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2107889076","doi":"https://doi.org/10.1109/cdc.2007.4434957","mag":"2107889076"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2007.4434957","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2007.4434957","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 46th IEEE Conference on Decision and Control","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/A5084720300","display_name":"Giordano Pola","orcid":"https://orcid.org/0000-0002-2213-6051"},"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":"Giordano Pola","raw_affiliation_strings":["Department of Electrical Engineering, University of California, Los Angeles, CA, USA","Univ. of California at Los Angeles, Los Angeles#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, University of California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":"Univ. of California at Los Angeles, Los Angeles#TAB#","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047674203","display_name":"Paulo Tabuada","orcid":"https://orcid.org/0000-0002-3417-0951"},"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":false,"raw_author_name":"Paulo Tabuada","raw_affiliation_strings":["Department of Electrical Engineering, University of California, Los Angeles, CA, USA","Univ. of California at Los Angeles, Los Angeles#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, University of California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":"Univ. of California at Los Angeles, Los Angeles#TAB#","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5084720300"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":1.0929,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.78771606,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"1708","issue":null,"first_page":"432","last_page":"437"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9983000159263611,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.996999979019165,"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/computer-science","display_name":"Computer science","score":0.7276880741119385},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.6350799202919006},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.4824693500995636},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.47619712352752686},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4686787724494934},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.45735421776771545},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.4548405706882477},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4543123245239258},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.4504868686199188},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.42869699001312256},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32685238122940063},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2052760124206543},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.1980322301387787}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7276880741119385},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.6350799202919006},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.4824693500995636},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.47619712352752686},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4686787724494934},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.45735421776771545},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.4548405706882477},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4543123245239258},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.4504868686199188},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.42869699001312256},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32685238122940063},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2052760124206543},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.1980322301387787},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","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},{"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/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2007.4434957","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2007.4434957","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 46th IEEE Conference on Decision and Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1500294907","https://openalex.org/W1503973138","https://openalex.org/W1547562281","https://openalex.org/W1553335074","https://openalex.org/W1567707156","https://openalex.org/W1586568018","https://openalex.org/W1606443439","https://openalex.org/W1968952355","https://openalex.org/W1979349468","https://openalex.org/W2011979623","https://openalex.org/W2044323243","https://openalex.org/W2054099039","https://openalex.org/W2060375000","https://openalex.org/W2079042739","https://openalex.org/W2102347640","https://openalex.org/W2130590906","https://openalex.org/W2146156468","https://openalex.org/W3210839039"],"related_works":["https://openalex.org/W2186150309","https://openalex.org/W2149986670","https://openalex.org/W4213351373","https://openalex.org/W2132514413","https://openalex.org/W908473976","https://openalex.org/W2045261241","https://openalex.org/W2736010003","https://openalex.org/W4251364113","https://openalex.org/W4246795820","https://openalex.org/W2564349843"],"abstract_inverted_index":{"A":[0],"recent":[1],"trend":[2],"in":[3,111,114],"the":[4,9,16,48,58,64,95,115,118,135,148,156,160,175,178],"control":[5,68,96,133],"systems":[6,33,69],"community":[7],"is":[8,41,85,102],"study":[10],"of":[11,18,50,60,66,120,128,132,155,177],"appropriate":[12],"symbolic":[13,61,91,121,136,179],"abstractions":[14],"capturing":[15],"behavior":[17],"continuous":[19,157],"and":[20,38,40,74,144,163],"hybrid":[21],"systems.":[22,52],"This":[23],"approach":[24],"provides":[25,151],"a":[26,90,99,104,107,125,129,152,168],"common":[27],"mathematical":[28],"language":[29],"to":[30,88,186],"describe":[31],"physical":[32],"as":[34,36,106],"well":[35],"software":[37],"hardware,":[39],"therefore":[42],"particularly":[43],"appealing":[44],"when":[45],"dealing":[46],"with":[47,70,98],"design":[49,108],"embedded":[51],"In":[53],"this":[54,164],"paper":[55],"we":[56,139],"address":[57],"construction":[59,119],"models":[62,122],"for":[63],"class":[65],"linear":[67,187],"politopically":[71],"bounded":[72],"states":[73],"disturbances.":[75],"We":[76],"show":[77],"that":[78,93,101,138],"under":[79],"an":[80],"asymptotic":[81],"stabilizability":[82],"assumption,":[83],"it":[84],"always":[86],"possible":[87],"construct":[89],"model":[92,137,150,158,180],"approximates":[94],"system":[97],"precision":[100],"chosen":[103],"priori,":[105],"parameter.":[109],"While":[110],"previous":[112],"approaches":[113],"existing":[116,161],"literature,":[117],"relied":[123],"on":[124],"(arbitrary)":[126],"choice":[127],"finite":[130],"number":[131],"signals,":[134],"propose,":[140],"captures":[141],"any":[142],"(control":[143],"disturbance)":[145],"input.":[146],"Therefore,":[147],"proposed":[149],"finer":[153],"description":[154],"than":[159],"ones":[162],"feature":[165],"translates":[166],"into":[167],"more":[169],"efficient":[170],"controller":[171],"synthesis":[172],"process.":[173],"Furthermore,":[174],"computation":[176],"can":[181],"be":[182],"performed":[183],"by":[184],"resorting":[185],"matrix":[188],"inequalities.":[189]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}