{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:20:06Z","timestamp":1779074406949,"version":"3.51.4"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/acc.2014.6859453","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T17:01:49Z","timestamp":1406653309000},"page":"2312-2317","source":"Crossref","is-referenced-by-count":31,"title":["Functional gradient descent method for Metric Temporal Logic specifications"],"prefix":"10.1109","author":[{"given":"Houssam","family":"Abbas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Winn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. Agung","family":"Julius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739366"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739370"},{"key":"18","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.nahs.2013.03.002","article-title":"Time-constrained temporal logic control of multi-affine systems","volume":"10","author":"gol","year":"2013","journal-title":"Nonlinear Analysis Hybrid Systems"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_16"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755983"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185653"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0024246"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2005-85597"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/10.68209"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-007-9305-y"},{"key":"20","first-page":"51","article-title":"A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems","author":"gonzalez","year":"2010","journal-title":"Proceedings of the 13th ACM International Conference on Hybrid Systems Computation and Control"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_39"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461345"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760488"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00020-1"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.937855"},{"key":"2","author":"ogata","year":"2001","journal-title":"Modern Control Engineering"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580513"},{"key":"1","author":"bertsekas","year":"2000","journal-title":"Dynamic Programming and Optimal Control Two Volume Set"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"5","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","article-title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems","volume":"6174","author":"donze","year":"2010","journal-title":"Computer Aided Verification Ser LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580518"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"}],"event":{"name":"2014 American Control Conference - ACC 2014","location":"Portland, OR, USA","start":{"date-parts":[[2014,6,4]]},"end":{"date-parts":[[2014,6,6]]}},"container-title":["2014 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6849600\/6858556\/06859453.pdf?arnumber=6859453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T05:45:34Z","timestamp":1565675134000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6859453\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/acc.2014.6859453","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}