{"id":"https://openalex.org/W4395680447","doi":"https://doi.org/10.1109/tac.2024.3394313","title":"Zonotope-Based Symbolic Controller Synthesis for Linear Temporal Logic Specifications","display_name":"Zonotope-Based Symbolic Controller Synthesis for Linear Temporal Logic Specifications","publication_year":2024,"publication_date":"2024-04-26","ids":{"openalex":"https://openalex.org/W4395680447","doi":"https://doi.org/10.1109/tac.2024.3394313"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2024.3394313","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2024.3394313","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2078.1/287279","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058087521","display_name":"Wei Ren","orcid":"https://orcid.org/0000-0002-3300-0993"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Ren","raw_affiliation_strings":["Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-3300-0993","affiliations":[{"raw_affiliation_string":"Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056625594","display_name":"Rapha\u00ebl M. Jungers","orcid":"https://orcid.org/0000-0002-7789-0940"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Rapha\u00ebl M. Jungers","raw_affiliation_strings":["ICTEAM Institute, UCLouvain, Louvain-la-Neuve, Belgium","ICTEAM institute, UCLouvain, Louvain-la-Neuve, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-7789-0940","affiliations":[{"raw_affiliation_string":"ICTEAM Institute, UCLouvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"ICTEAM institute, UCLouvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"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":["Division of Decision and Control Systems, EECS, KTH Royal Institute of Technology, Stockholm, Sweden"],"raw_orcid":"https://orcid.org/0000-0001-7309-8086","affiliations":[{"raw_affiliation_string":"Division of Decision and Control Systems, EECS, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4411,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.82638958,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"69","issue":"11","first_page":"7630","last_page":"7645"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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.9987999796867371,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9797999858856201,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/temporal-logic","display_name":"Temporal logic","score":0.6474822163581848},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.610487699508667},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5733565092086792},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.494326114654541},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.43047207593917847},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3732525110244751},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35833024978637695},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.34829482436180115},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.24896621704101562},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.22267258167266846},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16009682416915894},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1299305260181427}],"concepts":[{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6474822163581848},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.610487699508667},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5733565092086792},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.494326114654541},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.43047207593917847},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3732525110244751},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35833024978637695},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.34829482436180115},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.24896621704101562},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.22267258167266846},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16009682416915894},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1299305260181427},{"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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tac.2024.3394313","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2024.3394313","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},{"id":"pmh:oai:dial.uclouvain.be:boreal:287279","is_oa":true,"landing_page_url":"http://hdl.handle.net/2078.1/287279","pdf_url":null,"source":{"id":"https://openalex.org/S4306400166","display_name":"Digital Access to Libraries","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800384882","host_organization_name":"Harris County Public Library","host_organization_lineage":["https://openalex.org/I2800384882"],"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":"IEEE Transactions on Automatic Control, , p. 1-16 (2024)","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:dial.uclouvain.be:boreal:287279","is_oa":true,"landing_page_url":"http://hdl.handle.net/2078.1/287279","pdf_url":null,"source":{"id":"https://openalex.org/S4306400166","display_name":"Digital Access to Libraries","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800384882","host_organization_name":"Harris County Public Library","host_organization_lineage":["https://openalex.org/I2800384882"],"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":"IEEE Transactions on Automatic Control, , p. 1-16 (2024)","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3107604348","display_name":null,"funder_award_id":"DUT22RT(3)090","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G7639521380","display_name":null,"funder_award_id":"08120003","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1565544898","https://openalex.org/W1569692898","https://openalex.org/W1838714828","https://openalex.org/W2011979623","https://openalex.org/W2041701185","https://openalex.org/W2052412483","https://openalex.org/W2056864430","https://openalex.org/W2071797744","https://openalex.org/W2077578897","https://openalex.org/W2079042739","https://openalex.org/W2091682553","https://openalex.org/W2091932875","https://openalex.org/W2094599695","https://openalex.org/W2098432798","https://openalex.org/W2145970716","https://openalex.org/W2151958719","https://openalex.org/W2159461839","https://openalex.org/W2164451522","https://openalex.org/W2165748475","https://openalex.org/W2169289043","https://openalex.org/W2300621294","https://openalex.org/W2337661843","https://openalex.org/W2396495043","https://openalex.org/W2487779201","https://openalex.org/W2616890610","https://openalex.org/W2912640545","https://openalex.org/W2939501205","https://openalex.org/W2952454357","https://openalex.org/W2962709723","https://openalex.org/W2962899708","https://openalex.org/W2964281207","https://openalex.org/W2964326012","https://openalex.org/W2977767629","https://openalex.org/W2998363984","https://openalex.org/W3000471896","https://openalex.org/W3011006546","https://openalex.org/W3104168345","https://openalex.org/W3189199039","https://openalex.org/W3193161190","https://openalex.org/W4238538572","https://openalex.org/W4288091900","https://openalex.org/W6769156047"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W2763487042","https://openalex.org/W3021103820","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W3035590440"],"abstract_inverted_index":{"This":[0],"paper":[1],"studies":[2],"the":[3,27,43,63,68,80,83,87,100,113,125,134,137,175,179,183],"controller":[4,126,177],"synthesis":[5,160],"problem":[6,192],"for":[7,26,86,99,124,178],"nonlinear":[8],"control":[9,22,101],"systems":[10],"under":[11],"linear":[12],"temporal":[13],"logic":[14],"(LTL)":[15],"specifications":[16],"using":[17],"zonotope":[18],"techniques.":[19],"A":[20],"local-to-global":[21],"strategy":[23],"is":[24,39,76,96,116,122,162,186],"proposed":[25,163,184],"desired":[28],"specification":[29],"expressed":[30],"as":[31],"an":[32,158],"LTL":[33,88,109,156,180],"formula.":[34,89,181],"First,":[35],"a":[36,71,97,118,189],"novel":[37,119],"approach":[38],"developed":[40],"to":[41,60,78,145,164],"divide":[42],"state":[44],"space":[45],"into":[46],"finite":[47,107],"zonotopes":[48],"and":[49,58,103,140,154,172],"constrained":[50],"zonotopes,":[51],"which":[52],"are":[53],"called":[54],"<italic":[55],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[56],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">cells</i>":[57],"allowed":[59],"intersect":[61],"with":[62],"neighbor":[64],"cells.":[65],"Second,":[66],"from":[67,136],"intersection":[69],"relation,":[70],"graph":[72],"among":[73],"all":[74,166],"cells":[75,135],"generated":[77],"verify":[79],"realization":[81,91,138],"of":[82,147,193],"accepting":[84,114],"path":[85,115,190],"The":[90],"verification":[92,139],"determines":[93],"if":[94],"there":[95],"need":[98],"design,":[102],"also":[104],"results":[105],"in":[106],"local":[108,151,155,167],"formulas.":[110],"Third,":[111],"once":[112],"realized,":[117],"abstraction-based":[120],"method":[121],"derived":[123],"design.":[127],"In":[128],"particular,":[129],"we":[130],"only":[131],"focus":[132],"on":[133,150],"approximate":[141],"each":[142],"cell":[143],"thanks":[144],"properties":[146],"zonotopes.":[148],"Based":[149],"symbolic":[152],"models":[153],"formulas,":[157],"iterative":[159],"algorithm":[161],"design":[165],"abstract":[168],"controllers,":[169],"whose":[170],"existence":[171],"combination":[173],"establish":[174],"global":[176],"Finally,":[182],"framework":[185],"illustrated":[187],"via":[188],"planning":[191],"mobile":[194],"robots.":[195]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}