{"id":"https://openalex.org/W3010663763","doi":"https://doi.org/10.1109/cdc40024.2019.9029176","title":"Approximately symbolic models for a class of continuous-time nonlinear systems","display_name":"Approximately symbolic models for a class of continuous-time nonlinear systems","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W3010663763","doi":"https://doi.org/10.1109/cdc40024.2019.9029176","mag":"3010663763"},"language":"en","primary_location":{"id":"doi:10.1109/cdc40024.2019.9029176","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9029176","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-274100","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022512002","display_name":"Pian Yu","orcid":"https://orcid.org/0000-0001-6046-7129"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Pian Yu","raw_affiliation_strings":["School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055348953","display_name":"Dimos V. Dimarogonas","orcid":"https://orcid.org/0000-0001-7309-8086"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Dimos V. Dimarogonas","raw_affiliation_strings":["School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5022512002"],"corresponding_institution_ids":["https://openalex.org/I86987016"],"apc_list":null,"apc_paid":null,"fwci":0.85677807,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.76185539,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","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/T11125","display_name":"Petri Nets in System Modeling","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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.9965000152587891,"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/abstraction","display_name":"Abstraction","score":0.8791974782943726},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6712504625320435},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.6048569083213806},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5591123104095459},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.5518499612808228},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.5047813653945923},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4936264753341675},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4905220866203308},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4612371623516083},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.4500081539154053},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.24920806288719177},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2315923273563385},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18811646103858948},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09578278660774231}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.8791974782943726},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6712504625320435},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.6048569083213806},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5591123104095459},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5518499612808228},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.5047813653945923},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4936264753341675},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4905220866203308},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4612371623516083},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.4500081539154053},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24920806288719177},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2315923273563385},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18811646103858948},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09578278660774231},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc40024.2019.9029176","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9029176","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:DiVA.org:kth-274100","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-274100","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"}],"best_oa_location":{"id":"pmh:oai:DiVA.org:kth-274100","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-274100","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.7300000190734863}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1497487247","https://openalex.org/W1547562281","https://openalex.org/W1569239057","https://openalex.org/W1838714828","https://openalex.org/W1972945640","https://openalex.org/W1973013779","https://openalex.org/W1982948055","https://openalex.org/W2011979623","https://openalex.org/W2047671935","https://openalex.org/W2054099039","https://openalex.org/W2076137686","https://openalex.org/W2081035361","https://openalex.org/W2117079884","https://openalex.org/W2117218135","https://openalex.org/W2118955756","https://openalex.org/W2165748475","https://openalex.org/W2168069806","https://openalex.org/W2169289043","https://openalex.org/W2328736443","https://openalex.org/W2487779201","https://openalex.org/W2589881383","https://openalex.org/W2892273617","https://openalex.org/W2962709723","https://openalex.org/W3104168345","https://openalex.org/W4297744580","https://openalex.org/W6670423015","https://openalex.org/W6755018840"],"related_works":["https://openalex.org/W2045155990","https://openalex.org/W4313163053","https://openalex.org/W3045811229","https://openalex.org/W4300973204","https://openalex.org/W273478400","https://openalex.org/W4388675521","https://openalex.org/W2108135022","https://openalex.org/W3148810651","https://openalex.org/W2898772359","https://openalex.org/W4379924946"],"abstract_inverted_index":{"Discrete":[0],"abstractions":[1,21],"have":[2],"become":[3],"a":[4,71,75,87,149],"standard":[5],"approach":[6],"to":[7,38,86,129],"assist":[8],"control":[9,72,105],"synthesis":[10],"under":[11,97],"complex":[12],"specifications.":[13],"Most":[14],"techniques":[15],"for":[16,41],"the":[17,28,61,98,109,114,130,143],"construction":[18],"of":[19,26,113,142],"discrete":[20,67,138],"are":[22],"based":[23],"on":[24],"sampling":[25],"both":[27],"state":[29],"and":[30,117],"time":[31],"spaces,":[32],"which":[33],"may":[34],"not":[35],"be":[36,121],"able":[37],"guarantee":[39],"safety":[40],"continuous-time":[42,62],"systems.":[43],"In":[44],"this":[45,51],"work,":[46],"we":[47,59],"aim":[48],"at":[49],"addressing":[50],"problem":[52],"by":[53,136,148],"considering":[54],"only":[55],"state-space":[56],"abstraction.":[57,139],"Firstly,":[58],"connect":[60],"concrete":[63,115],"system":[64,111,116],"with":[65,70,84,127],"its":[66,118,137],"(state-space)":[68],"abstraction":[69],"interface.":[73],"Then,":[74],"novel":[76],"stability":[77,83],"notion":[78],"called":[79],"controlled":[80,123],"globally":[81,124],"asymptotic/practical":[82],"respect":[85,128],"set":[88],"is":[89,92,133,146],"proposed.":[90],"It":[91],"shown":[93],"that":[94,100,108],"every":[95],"system,":[96],"condition":[99],"there":[101],"exists":[102],"an":[103],"admissible":[104],"interface":[106],"such":[107],"augmented":[110],"(composed":[112],"abstraction)":[119],"can":[120],"made":[122],"practically":[125],"stable":[126],"given":[131],"set,":[132],"approximately":[134],"simulated":[135],"The":[140],"effectiveness":[141],"proposed":[144],"results":[145],"illustrated":[147],"simulation":[150],"example.":[151]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}