{"id":"https://openalex.org/W2952454357","doi":"https://doi.org/10.1109/tac.2019.2902643","title":"Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems","display_name":"Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems","publication_year":2019,"publication_date":"2019-03-05","ids":{"openalex":"https://openalex.org/W2952454357","doi":"https://doi.org/10.1109/tac.2019.2902643","mag":"2952454357"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2019.2902643","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2019.2902643","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":"https://hal.science/hal-01672060","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052787005","display_name":"Pierre-Jean Meyer","orcid":"https://orcid.org/0000-0002-8167-3156"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Pierre-Jean Meyer","raw_affiliation_strings":["Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, USA","Department of Electromagnetic Engineering [Stockholm] (Sweden)"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"Department of Electromagnetic Engineering [Stockholm] (Sweden)","institution_ids":[]}]},{"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":["Department of Automatic Control, KTH Royal Institute of Technology, Stockholm, Sweden","Department of Electromagnetic Engineering [Stockholm] (Sweden)"],"affiliations":[{"raw_affiliation_string":"Department of Automatic Control, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"Department of Electromagnetic Engineering [Stockholm] (Sweden)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5052787005"],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":4.7894,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.9539875,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"64","issue":"11","first_page":"4676","last_page":"4683"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9962999820709229,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9926000237464905,"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/linear-temporal-logic","display_name":"Linear temporal logic","score":0.727603018283844},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5870051980018616},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.5461581349372864},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5251445770263672},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.488445907831192},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.48699551820755005},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4654676914215088},{"id":"https://openalex.org/keywords/workspace","display_name":"Workspace","score":0.46235570311546326},{"id":"https://openalex.org/keywords/differentiable-function","display_name":"Differentiable function","score":0.459150493144989},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.45818179845809937},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.45578259229660034},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4556494355201721},{"id":"https://openalex.org/keywords/dynamical-system","display_name":"Dynamical system (definition)","score":0.4506917893886566},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4488412141799927},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4235732853412628},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3939051628112793},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34255629777908325},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.19990935921669006},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1388930380344391},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.08384251594543457}],"concepts":[{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.727603018283844},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5870051980018616},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.5461581349372864},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5251445770263672},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.488445907831192},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.48699551820755005},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4654676914215088},{"id":"https://openalex.org/C58581272","wikidata":"https://www.wikidata.org/wiki/Q12741163","display_name":"Workspace","level":3,"score":0.46235570311546326},{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.459150493144989},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.45818179845809937},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.45578259229660034},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4556494355201721},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.4506917893886566},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4488412141799927},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4235732853412628},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3939051628112793},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34255629777908325},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.19990935921669006},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1388930380344391},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.08384251594543457},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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":2,"locations":[{"id":"doi:10.1109/tac.2019.2902643","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2019.2902643","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:HAL:hal-01672060v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01672060","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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, 2019, 64 (11), pp.4676-4683. ⟨10.1109/TAC.2019.2902643⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01672060v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01672060","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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, 2019, 64 (11), pp.4676-4683. ⟨10.1109/TAC.2019.2902643⟩","raw_type":"Journal articles"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.7599999904632568}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320940","display_name":"Stiftelsen f\u00f6r\u00a0Strategisk Forskning","ror":"https://ror.org/044wr7g58"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W246120801","https://openalex.org/W1483893502","https://openalex.org/W1498432697","https://openalex.org/W1565544898","https://openalex.org/W1838714828","https://openalex.org/W1851248039","https://openalex.org/W1887552673","https://openalex.org/W1927741686","https://openalex.org/W1943502734","https://openalex.org/W1983481903","https://openalex.org/W1987111197","https://openalex.org/W2004796166","https://openalex.org/W2052412483","https://openalex.org/W2056864430","https://openalex.org/W2065798383","https://openalex.org/W2077578897","https://openalex.org/W2091932875","https://openalex.org/W2122410182","https://openalex.org/W2145970716","https://openalex.org/W2147741970","https://openalex.org/W2151958719","https://openalex.org/W2164451522","https://openalex.org/W2165364079","https://openalex.org/W2337661843","https://openalex.org/W2487779201","https://openalex.org/W2594891385","https://openalex.org/W2623293810","https://openalex.org/W2734416033","https://openalex.org/W2735612372","https://openalex.org/W2752573522","https://openalex.org/W2765420240","https://openalex.org/W2768422353","https://openalex.org/W2949475222","https://openalex.org/W2963343932","https://openalex.org/W3103359841","https://openalex.org/W3104168345","https://openalex.org/W3145128584","https://openalex.org/W4285719527","https://openalex.org/W4300655539","https://openalex.org/W4300916993","https://openalex.org/W6734870313","https://openalex.org/W6845184579"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W3021103820","https://openalex.org/W4285022830","https://openalex.org/W2763487042","https://openalex.org/W2468920154","https://openalex.org/W2546438959","https://openalex.org/W2158345050"],"abstract_inverted_index":{"This":[0],"paper":[1],"deals":[2],"with":[3],"the":[4,30,38,43,46,61,67,79,84,94,118,132,143],"control":[5,31],"synthesis":[6],"problem":[7,32,163],"for":[8,117,159],"a":[9,15,25,55,87,115,137,160,165,170],"continuous":[10],"nonlinear":[11],"dynamical":[12,119],"system":[13,58,120],"under":[14],"linear":[16],"temporal":[17],"logic":[18],"(LTL)":[19],"formula.":[20,69],"The":[21,48,126,152],"proposed":[22,153],"solution":[23],"is":[24,51,90,111,136,155],"top-down":[26],"hierarchical":[27],"decomposition":[28],"of":[29,37,63,73,76,147,164],"involving":[33],"three":[34],"abstraction":[35,108,134],"layers":[36],"problem,":[39],"iteratively":[40],"solved":[41,53],"from":[42],"coarsest":[44],"to":[45,97,113,121,141],"finest.":[47],"LTL":[49,68,85],"planning":[50,162],"first":[52],"on":[54],"small":[56],"transition":[57],"only":[59],"describing":[60],"regions":[62,75,101],"interest":[64,77],"involved":[65],"in":[66,78,93,131,157],"For":[70],"each":[71,123],"pair":[72],"consecutive":[74],"resulting":[80],"accepting":[81],"path":[82],"satisfying":[83],"formula,":[86],"discrete":[88,124],"plan":[89],"then":[91],"constructed":[92],"partitioned":[95],"workspace":[96],"connect":[98],"these":[99],"two":[100],"while":[102],"avoiding":[103],"unsafe":[104],"regions.":[105],"Finally,":[106],"an":[107],"refinement":[109],"approach":[110],"applied":[112],"synthesize":[114],"controller":[116],"follow":[122],"plan.":[125],"second":[127],"main":[128],"contribution,":[129],"used":[130],"third":[133],"layer,":[135],"new":[138],"monotonicity-based":[139],"method":[140],"overapproximate":[142],"finite-time":[144],"reachable":[145],"set":[146],"any":[148],"continuously":[149],"differentiable":[150],"system.":[151],"framework":[154],"demonstrated":[156],"simulation":[158],"motion":[161],"mobile":[166],"robot":[167],"modeled":[168],"as":[169],"disturbed":[171],"unicycle.":[172]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2019-06-27T00:00:00"}