{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:08:22Z","timestamp":1740132502155,"version":"3.37.3"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation (NSF)","doi-asserted-by":"publisher","award":["CNS-0953976","CNS-1218109"],"award-info":[{"award-number":["CNS-0953976","CNS-1218109"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Department of Defense SMART Scholarship"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/tac.2014.2382155","type":"journal-article","created":{"date-parts":[[2014,12,19]],"date-time":"2014-12-19T20:18:35Z","timestamp":1419020315000},"page":"1597-1610","source":"Crossref","is-referenced-by-count":5,"title":["Safety Controller Synthesis Using Human Generated Trajectories"],"prefix":"10.1109","volume":"60","author":[{"given":"Andrew","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":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1239(199809)8:11<995::AID-RNC373>3.3.CO;2-N"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(89)90028-5"},{"journal-title":"Approximation metrics for discrete and continuous systems","year":"2005","author":"girard","key":"ref32"},{"key":"ref31","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0109998","author":"van der schaft","year":"2000","journal-title":"An Introduction to Hybrid Dynamical Systems"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00839-9"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1080\/00207179508921959"},{"journal-title":"Nonlinear Control Systems","year":"1994","author":"isidori","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1016\/S0005-1098(98)00019-3","article-title":"On contraction analysis for nonlinear systems","volume":"34","author":"lohmiller","year":"1998","journal-title":"Automatica"},{"key":"ref10","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":"0","journal-title":"Proc Hybrid Syst Computat Control"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1994.410908"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF02192020"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2010.5584752"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5718138"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.925824"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref17","first-page":"272","article-title":"Verification using simulation","volume":"3927","year":"0","journal-title":"Proc Hybrid Syst Computat Control"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_27"},{"key":"ref19","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":"0","journal-title":"Proc Hybrid Syst Computat Control"},{"journal-title":"Nonlinear Systems","year":"2002","author":"khalil","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1049\/iet-syb.2008.0101"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6314916"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btm362"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-006-9029-4"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1201\/9781482276640","author":"sira-ramirez","year":"2004","journal-title":"Differentially Flat Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"},{"key":"ref7","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":"0","journal-title":"Proc Hybrid Syst Computat Control"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-30494-4_3","article-title":"Verification of analog and mixed-signal circuits using hybrid system techniques","volume":"3312","author":"dang","year":"0","journal-title":"Proc Formal Methods Computer-Aided Design"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898224"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2158135"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(83)90049-4"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00602-9_12"},{"key":"ref24","first-page":"294","article-title":"Captcha: Using hard AI problems for security","volume":"2656","author":"von ahn","year":"0","journal-title":"Proc Adv Cryptol"},{"journal-title":"cvx&#x2014;MATLAB Software for Disciplined Convex Programming","year":"2005","author":"boyd","key":"ref41"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5160646"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/1378704.1378719","article-title":"General techniques for designing games with a purpose","author":"von ahn","year":"2008","journal-title":"Commun ACM"},{"key":"ref25","first-page":"319","article-title":"Labeling images with a computer game","author":"von ahn","year":"0","journal-title":"Proc SIGCHI Conf Human Factors Comp Syst"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7111390\/06990506.pdf?arnumber=6990506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T15:59:51Z","timestamp":1642003191000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6990506\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":42,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tac.2014.2382155","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"type":"print","value":"0018-9286"},{"type":"electronic","value":"1558-2523"}],"subject":[],"published":{"date-parts":[[2015,6]]}}}