{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T14:47:55Z","timestamp":1787496475992,"version":"build-2736575974"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7798419","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T12:11:18Z","timestamp":1483618278000},"page":"1131-1138","source":"Crossref","is-referenced-by-count":2,"title":["Automated synthesis of low-rank control systems from sc-LTL specifications using tensor-train decompositions"],"prefix":"10.1109","author":[{"given":"John Irvin","family":"Alora","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Gorodetsky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sertac","family":"Karaman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Youssef","family":"Marzouk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nathan","family":"Lowry","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","article-title":"A compositional approach to stochastic optimal control with co-safe temporal logic specifications","author":"matanya","year":"2014","journal-title":"Intelligent Robots and Systems (IROS 2014) 2014 IEEE\/RSJ International Conference on"},{"key":"ref11","article-title":"Computational methods for stochastic control with metric interval temporal logic specifications","author":"jie","year":"2015","journal-title":"arXiv preprint arXiv 1503"},{"key":"ref12","volume":"24","author":"harold","year":"2013","journal-title":"Numerical Methods for Stochastic Control Problems in Continuous Time"},{"key":"ref13","first-page":"74","article-title":"Efficient model checking of safety properties.","author":"timo","year":"2003","journal-title":"Model Checking Software"},{"key":"ref14","article-title":"Efficient high-dimensional stochastic optimal motion control using tensor-train decomposition","author":"alex","year":"2015","journal-title":"Robotics Science and Systems Rome Italy"},{"key":"ref15","article-title":"Dynamic programming and optimal control 3rd edition, volume II","year":"2011"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48320-9_7"},{"key":"ref17","article-title":"Linear Hamilton Jacobi Bellman equations in high dimensions","author":"matanya","year":"2014","journal-title":"Decision and Control (CDC) 2014 IEEE 53rd Annual Conference on"},{"key":"ref18","article-title":"Suboptimality bounds for stochastic shortest path problems","author":"hansen","year":"2012","journal-title":"arXiv preprint arXiv 1202 3729"},{"key":"ref19","first-page":"29","article-title":"Speeding up the convergence of value iteration in partially observable Markov decision processes","author":"nevin lianwen","year":"2001","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref4","article-title":"Sampling-based motion planning with deterministic mu-calculus specifications","author":"sertac","year":"2009","journal-title":"Decision and Control (CDC) 2009 IEEE Conference on IEEE"},{"key":"ref3","article-title":"Sampling-based algorithms for optimal motion planning using process algebra specifications","author":"valerio","year":"2014","journal-title":"Robotics and Automation (ICRA) 2014 IEEE International Conference On IEEE"},{"key":"ref6","article-title":"Miti-gating the State Explosion Problem of Temporal Logic Synthesis","author":"hadas","year":"2011","journal-title":"IEEE Robotics and Automation magazine"},{"key":"ref5","article-title":"Symbolic Control and Planning of Robotic Motion [Grand Challenges of Robotics]","author":"calin","year":"2007"},{"key":"ref8","first-page":"1244","article-title":"Optimal control of Markov decision processes with linear temporal logic constraints","volume":"5","author":"xuchu","year":"2014","journal-title":"Automatic Control IEEE Transactions on"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"151","DOI":"10.3233\/AIC-150682","article-title":"Motion planning with temporal-logic specifications: Progress and challenges","volume":"29","author":"erion","year":"2015","journal-title":"AI communications"},{"key":"ref2","first-page":"1862","article-title":"Linear time logic control of discrete-time linear systems","volume":"12","author":"paulo","year":"2006","journal-title":"Automatic Control IEEE Transactions on"},{"key":"ref9","article-title":"Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees","author":"morteza","year":"2010","journal-title":"Robotics and Automation (ICRA) 2010 IEEE International Conference On IEEE"},{"key":"ref1","article-title":"A fully automated framework for control of linear systems from LTL specifications","volume":"3927","author":"marius","year":"2006","journal-title":"HSCC"},{"key":"ref20","article-title":"Initial guess generation for aircraft landing trajectory optimization","author":"efstathios","year":"2011","journal-title":"AIAA Guidance Navigation and Control Conference"},{"key":"ref22","first-page":"644","article-title":"Tensor rank is NP-complete","volume":"4","author":"johan","year":"1990","journal-title":"Journal of Algorithms"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/06066518X"},{"key":"ref24","first-page":"70","article-title":"TT-cross approximation for multidimensional arrays","volume":"1","author":"ivan","year":"2010","journal-title":"Linear Algebra and its Applications"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/090752286"},{"key":"ref26","article-title":"Fast adaptive interpolation of multi-dimensional arrays in tensor train format","author":"dmitry","year":"2011","journal-title":"Multidimensional (ND) Systems (NDs) 2011 7th International Workshop on"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1142\/9789812836021_0015"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","location":"Las Vegas, NV, USA","start":{"date-parts":[[2016,12,12]]},"end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07798419.pdf?arnumber=7798419","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T01:40:34Z","timestamp":1568684434000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7798419\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7798419","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}