{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:52:19Z","timestamp":1725853939295},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319288703"},{"type":"electronic","value":"9783319288727"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-28872-7_2","type":"book-chapter","created":{"date-parts":[[2016,4,22]],"date-time":"2016-04-22T10:04:33Z","timestamp":1461319473000},"page":"21-37","source":"Crossref","is-referenced-by-count":17,"title":["Optimal Control of Nonlinear Systems with Temporal Logic Specifications"],"prefix":"10.1007","author":[{"given":"Eric M.","family":"Wolff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard M.","family":"Murray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,23]]},"reference":[{"issue":"7","key":"2_CR1","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proc. IEEE 88(7), 971\u2013984 (2000)","journal-title":"Proc. IEEE"},{"key":"2_CR2","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"1749","DOI":"10.1109\/TAC.2006.884957","volume":"51","author":"C Belta","year":"2006","unstructured":"Belta, C., Habets, L.C.G.J.M.: Controlling of a class of nonlinear systems on rectangles. IEEE Trans. Autom. Control 51, 1749\u20131759 (2006)","journal-title":"IEEE Trans. Autom. Control"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/S0005-1098(98)00178-2","volume":"35","author":"A Bemporad","year":"1999","unstructured":"Bemporad, A., Morari, M.: Control of systems integrating logic, dynamics, and constraints. Automatica 35, 407\u2013427 (1999)","journal-title":"Automatica"},{"key":"2_CR5","unstructured":"Betts, J.T.: Practical Methods for Optimal Control and Estimation Using Nonlinear Programming, 2nd edition. SIAM (2000)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/MRA.2011.942115","volume":"18","author":"A Bhatia","year":"2011","unstructured":"Bhatia, A., Maly, M.R., Kavraki, L.E., Vardi, M.Y.: Motion planning with complex goals. IEEE Robot. Autom. Mag. 18, 55\u201364 (2011)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1016\/0305-0548(86)90056-0","volume":"13","author":"CE Blair","year":"1986","unstructured":"Blair, C.E., Jeroslow, R.G., Lowe, J.K.: Some results and experiments in programming techniques for propositional logic. Comput. Oper. Res. 13, 633\u2013645 (1986)","journal-title":"Comput. Oper. Res."},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"1158","DOI":"10.1109\/TRO.2005.853499","volume":"21","author":"MG Earl","year":"2005","unstructured":"Earl, M.G., D\u2019Andrea, R.: Iterative MILP methods for vehicle-control problems. IEEE Trans. Robot. 21, 1158\u20131167 (2005)","journal-title":"IEEE Trans. Robot."},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","volume":"45","author":"GE Fainekos","year":"2009","unstructured":"Fainekos, G.E., Girard, A., Kress-Gazit, H., Pappas, G.J.: Temporal logic motion planning for dynamic robots. Automatica 45, 343\u2013352 (2009)","journal-title":"Automatica"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"938","DOI":"10.1109\/TAC.2006.876952","volume":"51","author":"L Habets","year":"2006","unstructured":"Habets, L., Collins, P.J., van Schuppen, J.H.: Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Trans. Autom. Control 51, 938\u2013948 (2006)","journal-title":"IEEE Trans. Autom. Control"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF01531074","volume":"1","author":"JN Hooker","year":"1990","unstructured":"Hooker, J.N., Fedjki, C.: Branch-and-cut solution of inference problems in propositional logic. Ann. Math. Artif. Intell. 1, 123\u2013139 (1990)","journal-title":"Ann. Math. Artif. Intell."},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0166-218X(87)90026-6","volume":"17","author":"RG Jeroslow","year":"1987","unstructured":"Jeroslow, R.G.: Representability in mixed integer programming, I: Characterization results. Disc. Appl. Math. 17, 223\u2013243 (1987)","journal-title":"Disc. Appl. Math."},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"1372","DOI":"10.1002\/rnc.1715","volume":"21","author":"S Karaman","year":"2011","unstructured":"Karaman, S., Frazzoli, E.: Linear temporal logic vehicle routing with applications to multi-UAV mission planning. Int. J. Robust Nonlinear Control 21, 1372\u20131395 (2011)","journal-title":"Int. J. Robust Nonlinear Control"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Karaman, S., Frazzoli, E.: Sampling-based algorithms for optimal motion planning with deterministic \n                    \n                      \n                    \n                    $$\\mu $$\n                    \n                      \n                        \u03bc\n                      \n                    \n                  -calculus specifications. In: Proceedings of the American Control Conference (2012)","DOI":"10.1109\/ACC.2012.6315419"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Karaman, S., Sanfelice, R.G., Frazzoli, E.: Optimal control of mixed logical dynamical systems with linear temporal logic specifications. In: Proceedings of the IEEE Conference on Decision and Control, pp. 2117\u20132122 (2008)","DOI":"10.1109\/CDC.2008.4739370"},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1109\/TAC.2007.914952","volume":"53","author":"M Kloetzer","year":"2008","unstructured":"Kloetzer, M., Belta, C.: A fully automated framework for control of linear systems from temporal logic specifications. IEEE Trans. Autom. Control 53(1), 287\u2013297 (2008)","journal-title":"IEEE Trans. Autom. Control"},{"key":"2_CR17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877","volume-title":"Planning Algorithms","author":"SM LaValle","year":"2006","unstructured":"LaValle, S.M.: Planning Algorithms. Cambridge University Press, Cambridge (2006)"},{"key":"2_CR18","unstructured":"L\u00f6fberg, J.: YALMIP : A toolbox for modeling and optimization in MATLAB. In: Proceedings of the CACSD Conference. Taipei, Taiwan (2004). Software available at \n                    http:\/\/control.ee.ethz.ch\/~joloef\/yalmip.php"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Mellinger, D., Kushleyev, A., Kumar, V.: Mixed-integer quadratic program trajectory generation for heterogeneous quadrotor teams. In: Proceedings of the International Conference on Robotics and Automation (2012)","DOI":"10.1109\/ICRA.2012.6225009"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Richards, A., How, J.P.: Aircraft trajectory planning with collision avoidance using mixed integer linear programming. In: American Control Conference (2002)","DOI":"10.1109\/ACC.2002.1023918"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"1695","DOI":"10.1177\/0278364911417911","volume":"30","author":"SL Smith","year":"2011","unstructured":"Smith, S.L., Tumova, J., Belta, C., Rus, D.: Optimal path planning for surveillance with temporal-logic constraints. Int. J. Robot. Res. 30, 1695\u20131708 (2011)","journal-title":"Int. J. Robot. Res."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Toth, P., Vigo, D. (eds.): The Vehicle Routing Problem. Philadelphia, PA: SIAM (2001)","DOI":"10.1137\/1.9780898718515"},{"key":"2_CR23","unstructured":"User\u2019s Manual for CPLEX V12.2. IBM (2010)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Vitus, M.P., Pradeep, V., Hoffmann, J., Waslander, S.L., Tomlin, C.J.: Tunnel-MILP: path planning with sequential convex polytopes. In: Proceedings of the AIAA Guidance, Navigation, and Control Conference (2008)","DOI":"10.2514\/6.2008-7132"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Webb, D.J., van den Berg, J.: Kinodynamic RRT*: Asymptotically optimal motion planning for robots with linear dynamics. In: Proceedings of the IEEE International Conference on Robotics and Automation (2013)","DOI":"10.1109\/ICRA.2013.6631299"},{"key":"2_CR26","unstructured":"Wolff, E.M., Murray, R.M.: Optimal control of mixed logical dynamical systems with long-term temporal logic specifications. Technical report, California Institute of Technology (2013). \n                    http:\/\/resolver.caltech.edu\/CaltechCDSTR:2013.001"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Wolff, E.M., Topcu, U., Murray, R.M.: Optimal control with weighted average costs and temporal logic specifications. In: Proceedings of the Robotics: Science and Systems (2012)","DOI":"10.15607\/RSS.2012.VIII.057"},{"key":"2_CR28","unstructured":"Wongpiromsarn, T., Topcu, U., Ozay, N., Xu, H., Murray, R.M.: TuLiP: A software toolbox for receding horizon temporal logic planning. In: Proceedings of the International Conference on Hybrid Systems: Computation and Control (2011). \n                    http:\/\/tulip-control.sf.net"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Wongpiromsarn, T., Topcu, U., Murray, R.M.: Receding horizon temporal logic planning. IEEE Trans. Autom. Control (2012)","DOI":"10.1109\/TAC.2012.2195811"}],"container-title":["Springer Tracts in Advanced Robotics","Robotics Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28872-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:11:22Z","timestamp":1559423482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28872-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319288703","9783319288727"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28872-7_2","relation":{},"ISSN":["1610-7438","1610-742X"],"issn-type":[{"type":"print","value":"1610-7438"},{"type":"electronic","value":"1610-742X"}],"subject":[],"published":{"date-parts":[[2016]]}}}