{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:14:27Z","timestamp":1730294067662,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/rttas.2004.1317280","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"341-350","source":"Crossref","is-referenced-by-count":3,"title":["Statistical verification of two non-linear real-time UAV controllers"],"prefix":"10.1109","author":[{"given":"P.","family":"Binns","sequence":"first","affiliation":[]},{"given":"M.","family":"Elgersma","sequence":"additional","affiliation":[]},{"given":"S.","family":"Ganguli","sequence":"additional","affiliation":[]},{"given":"V.","family":"Ha","sequence":"additional","affiliation":[]},{"given":"T.","family":"Samad","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"An introduction to aspects of statistical learning theory","volume":"aes r03 1","author":"binns","year":"2003","journal-title":"Honeywell Laboratories Technical Report"},{"key":"2","article-title":"Statistical verification for UAV autonomy","author":"binns","year":"2003","journal-title":"Annual Forum Proceedings of the American Helicopter Society"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1137\/1116025"},{"key":"1","article-title":"Implementation of control algorithms in an environment of dynamically scheduled CPU time using balanced truncation","author":"bhattacharya","year":"2003","journal-title":"AIAA GNC Conference"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.2514\/2.4523"},{"journal-title":"Integrated Control and Real-Time Scheduling","year":"2003","author":"cervin","key":"6"},{"key":"5","article-title":"A probabilistic framework for schedulability analysis","author":"burns","year":"2003","journal-title":"The ACM Third International Conference on Embedded Software"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2003.1209967"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.2514\/6.2002-4439"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ISIC.2004.1387650"},{"journal-title":"Statistical Learning Theory","year":"1998","author":"vapnik","key":"11"}],"event":{"name":"Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004.","location":"Toronto, Canada"},"container-title":["Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9204\/29179\/01317280.pdf?arnumber=1317280","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T22:19:00Z","timestamp":1489443540000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1317280\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/rttas.2004.1317280","relation":{},"subject":[]}}