{"id":"https://openalex.org/W2975657856","doi":"https://doi.org/10.23919/acc45564.2020.9147796","title":"Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications","display_name":"Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W2975657856","doi":"https://doi.org/10.23919/acc45564.2020.9147796","mag":"2975657856"},"language":"en","primary_location":{"id":"doi:10.23919/acc45564.2020.9147796","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc45564.2020.9147796","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1909.11159","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027184150","display_name":"Lars Lindemann","orcid":"https://orcid.org/0000-0003-3430-6625"},"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":"Lars Lindemann","raw_affiliation_strings":["Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden","Royal Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"Royal Institute of Technology","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":["Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden","Royal Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"Royal Institute of Technology","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5027184150"],"corresponding_institution_ids":["https://openalex.org/I86987016"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.02516111,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"4707","last_page":"4714"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/interval-temporal-logic","display_name":"Interval temporal logic","score":0.8254189491271973},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.7489588260650635},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.7340351343154907},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6685295104980469},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6377680897712708},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.523212194442749},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.49224725365638733},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.46575480699539185},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.42881330847740173},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.42682409286499023},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41090333461761475},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34225931763648987},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3287089169025421},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21585538983345032}],"concepts":[{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.8254189491271973},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.7489588260650635},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.7340351343154907},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6685295104980469},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6377680897712708},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.523212194442749},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.49224725365638733},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.46575480699539185},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.42881330847740173},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.42682409286499023},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41090333461761475},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34225931763648987},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3287089169025421},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21585538983345032},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.23919/acc45564.2020.9147796","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc45564.2020.9147796","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 American Control Conference (ACC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1909.11159","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1909.11159","pdf_url":"https://arxiv.org/pdf/1909.11159","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":"mag:2975657856","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1909.11159.pdf","pdf_url":null,"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":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:DiVA.org:kth-286093","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-286093","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"},{"id":"doi:10.48550/arxiv.1909.11159","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1909.11159","pdf_url":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1909.11159","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1909.11159","pdf_url":"https://arxiv.org/pdf/1909.11159","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"},"sustainable_development_goals":[{"score":0.7200000286102295,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1547304883","https://openalex.org/W1667231716","https://openalex.org/W1977985274","https://openalex.org/W2012935476","https://openalex.org/W2023808162","https://openalex.org/W2049399166","https://openalex.org/W2049696538","https://openalex.org/W2056864430","https://openalex.org/W2071797744","https://openalex.org/W2092884371","https://openalex.org/W2101508170","https://openalex.org/W2101780609","https://openalex.org/W2151958719","https://openalex.org/W2233433391","https://openalex.org/W2676933657","https://openalex.org/W2792781634","https://openalex.org/W2841721725","https://openalex.org/W2945959809","https://openalex.org/W2962924557","https://openalex.org/W2963714625","https://openalex.org/W2967399733","https://openalex.org/W2968046468","https://openalex.org/W2968608911","https://openalex.org/W2972486407","https://openalex.org/W6632722279","https://openalex.org/W6668257657","https://openalex.org/W6740934335","https://openalex.org/W6759788895","https://openalex.org/W6766838424"],"related_works":["https://openalex.org/W1526924704","https://openalex.org/W2352091395","https://openalex.org/W1490661246","https://openalex.org/W2153903356","https://openalex.org/W2121876288","https://openalex.org/W2108134414","https://openalex.org/W1589257732","https://openalex.org/W2168791893","https://openalex.org/W79222658","https://openalex.org/W1494737186","https://openalex.org/W1816240867","https://openalex.org/W1674073885","https://openalex.org/W2125193053","https://openalex.org/W1607782211","https://openalex.org/W31774667","https://openalex.org/W1873579732","https://openalex.org/W1532041011","https://openalex.org/W1542921761","https://openalex.org/W1542943188","https://openalex.org/W119264390"],"abstract_inverted_index":{"The":[0,62],"use":[1],"of":[2,58,72,117,152,187],"spatio-temporal":[3],"logics":[4],"in":[5,37,144,156],"control":[6,24,30,135],"is":[7,32,64,81,96,109,176],"motivated":[8],"by":[9,179],"the":[10,99,114,118,139,153,162,171,188,191],"need":[11],"to":[12,23,111,169],"impose":[13],"complex":[14],"spatial":[15,115],"and":[16,22,190],"temporal":[17,52,60,75,92,102,121],"behavior":[18],"on":[19,66],"dynamical":[20],"systems,":[21],"these":[25],"systems":[26,48],"accordingly.":[27],"Synthesizing":[28],"correct-by-design":[29],"laws":[31],"a":[33,89,157,181],"challenging":[34],"task":[35],"resulting":[36],"computationally":[38],"demanding":[39],"methods.":[40],"We":[41],"consider":[42],"efficient":[43],"automata-based":[44,70],"planning":[45,63],"for":[46,69,113],"continuous-time":[47],"under":[49],"signal":[50,59,79,100,119,165],"interval":[51,74,91,101,120],"logic":[53,93,103,122],"specifications,":[54],"an":[55,150,185],"expressive":[56],"fragment":[57],"logic.":[61,76],"based":[65],"recent":[67],"results":[68],"verification":[71],"metric":[73,90],"A":[77],"timed":[78,164],"transducer":[80,108],"obtained":[82],"accepting":[83],"all":[84,125],"Boolean":[85],"signals":[86,127],"that":[87,128,175],"satisfy":[88,129],"specification,":[94,123],"which":[95],"abstracted":[97],"from":[98],"specification":[104],"at":[105],"hand.":[106],"This":[107,167],"modified":[110,163],"account":[112],"properties":[116],"characterizing":[124],"real-valued":[126],"this":[130],"specification.":[131,192],"Using":[132],"logic-based":[133],"feedback":[134],"laws,":[136],"such":[137],"as":[138],"ones":[140],"we":[141,147],"have":[142],"presented":[143],"earlier":[145],"works,":[146],"then":[148],"provide":[149],"abstraction":[151,186],"system":[154,189],"that,":[155],"suitable":[158],"way,":[159],"aligns":[160],"with":[161],"transducer.":[166],"allows":[168],"avoid":[170],"state":[172],"space":[173],"explosion":[174],"typically":[177],"induced":[178],"forming":[180],"product":[182],"automaton":[183],"between":[184]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}