{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:29:08Z","timestamp":1729657748172,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/acc.2012.6314916","type":"proceedings-article","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T17:55:22Z","timestamp":1405533322000},"page":"709-714","source":"Crossref","is-referenced-by-count":11,"title":["Safety controller synthesis using human generated trajectories: Nonlinear dynamics with feedback linearization and differential flatness"],"prefix":"10.1109","author":[{"given":"A. A.","family":"Julius","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. K.","family":"Winn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00839-9"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1080\/00207179508921959"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2158135"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1239(199809)8:11<995::AID-RNC373>3.3.CO;2-N"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1201\/9781482276640","author":"sira-ramirez","year":"2004","journal-title":"Differentially Flat Systems"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910371999"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_27"},{"key":"16","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"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"14","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/11730637_22","article-title":"Verification using simulation","volume":"3927","author":"girard","year":"2006","journal-title":"Hybrid Systems Computation and Control"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.925824"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"journal-title":"Nonlinear Control Systems","year":"1994","author":"isidori","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"journal-title":"Nonlinear Systems","year":"2002","author":"khalil","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-006-9029-4"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5718138"},{"key":"7","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/978-3-642-00602-9_22","article-title":"Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems","volume":"5469","author":"reissig","year":"2009","journal-title":"Hybrid Systems Computation and Control"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"},{"key":"4","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/3-540-36580-X_22","article-title":"On systematic simulation of open continuous systems","volume":"2623","author":"kapinski","year":"2003","journal-title":"Hybrid Systems Computation and Control"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2010.5584752"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BF02192020"}],"event":{"name":"2012 American Control Conference - ACC 2012","start":{"date-parts":[[2012,6,27]]},"location":"Montreal, QC","end":{"date-parts":[[2012,6,29]]}},"container-title":["2012 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6297579\/6314593\/06314916.pdf?arnumber=6314916","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T18:25:47Z","timestamp":1565634347000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6314916\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/acc.2012.6314916","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}