{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:14:05Z","timestamp":1729678445381,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/acc.2013.6580513","type":"proceedings-article","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T21:48:51Z","timestamp":1405547331000},"page":"4374-4379","source":"Crossref","is-referenced-by-count":11,"title":["Optimization of human generated trajectories for safety controller synthesis"],"prefix":"10.1109","author":[{"given":"Andrew K.","family":"Winn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. Agung","family":"Julius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1007\/s10626-007-0029-9"},{"key":"17","first-page":"540","article-title":"Results and perspectives on computational methods for optimal control of switched systems","author":"antsaklis","year":"2003","journal-title":"Hybrid Systems Computation and Control LNCS 2623"},{"key":"18","first-page":"5893","article-title":"Synthesis using approximately bisimilar abstractions: Timeoptimal control problems","author":"girard","year":"2010","journal-title":"Proc IEEE Conf Decision and Control"},{"doi-asserted-by":"publisher","key":"33","DOI":"10.1109\/TAC.2010.2084810"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/TAC.2002.802753"},{"key":"34","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/978-3-642-00602-9_12","article-title":"Parameter synthesis for hybrid systems with an application to Simulink models","author":"donze","year":"2009","journal-title":"Hybrid Systems Computation and Control Ser LNCS 5469"},{"key":"16","article-title":"Optimal control of switched autonomous systems","author":"xu","year":"2002","journal-title":"Proc IEEE Conf Decision and Control"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/ACC.2012.6314916"},{"key":"14","article-title":"Optimal control of hybrid systems","author":"hedlund","year":"1999","journal-title":"Proc IEEE Conf Decision and Control"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/TAC.2011.2176409"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/CDC.2011.6160759"},{"year":"1970","author":"kirk","journal-title":"Optimal Control Theory","key":"21"},{"year":"1969","author":"luenberger","journal-title":"Optimization by vector space methods","key":"20"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.2514\/2.4231"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1017\/CBO9780511546877"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1002\/(SICI)1099-1239(199809)8:11<995::AID-RNC373>3.3.CO;2-N"},{"year":"2003","author":"milam","journal-title":"Real-time optimal trajectory generation for constrained dynamical systems","key":"25"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1109\/TAC.2004.832972"},{"doi-asserted-by":"publisher","key":"27","DOI":"10.1109\/TRO.2005.852260"},{"doi-asserted-by":"publisher","key":"28","DOI":"10.1109\/CDC.2003.1272639"},{"key":"29","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-540-24743-2_10","article-title":"Incremental search methods for reachability analysis of continuous and hybrid systems","author":"bhatia","year":"2004","journal-title":"Hybrid Systems Computation and Control LNCS 2993"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/TAC.2008.925824"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/CDC.2010.5718138"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/TAC.2011.2158135"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/COASE.2010.5584752"},{"doi-asserted-by":"publisher","key":"30","DOI":"10.1177\/0278364911406761"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1007\/978-3-540-71493-4_27"},{"key":"6","first-page":"272","article-title":"Verification using simulation","author":"pappas","year":"2006","journal-title":"Hybrid Systems Computation and Control ser LNCS"},{"doi-asserted-by":"publisher","key":"32","DOI":"10.1016\/j.automatica.2005.04.017"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/TAC.2007.895849"},{"doi-asserted-by":"publisher","key":"31","DOI":"10.1109\/TAC.2002.805688"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1016\/j.automatica.2008.02.021"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/CDC.2011.6160424"},{"key":"8","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/978-3-540-78929-1_25","article-title":"Verification of supervisory control software using state proximity and merging","volume":"4981","author":"lerda","year":"2008","journal-title":"Hybrid Systems Computation and Control ser LNCS"}],"event":{"name":"2013 American Control Conference (ACC)","start":{"date-parts":[[2013,6,17]]},"location":"Washington, DC","end":{"date-parts":[[2013,6,19]]}},"container-title":["2013 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6573242\/6579790\/06580513.pdf?arnumber=6580513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T22:20:29Z","timestamp":1565648429000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6580513\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/acc.2013.6580513","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}