{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T02:44:21Z","timestamp":1778121861550,"version":"3.51.4"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,2,1]]},"DOI":"10.23919\/date51398.2021.9474204","type":"proceedings-article","created":{"date-parts":[[2021,8,24]],"date-time":"2021-08-24T18:11:46Z","timestamp":1629828706000},"page":"1745-1750","source":"Crossref","is-referenced-by-count":10,"title":["Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems"],"prefix":"10.23919","author":[{"given":"Zhilu","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yixuan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clara","family":"Hobbs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qi","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.01426"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3126508"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_44"},{"key":"ref13","first-page":"258","article-title":"Flow*: An analyzer for non-linear hybrid systems","author":"chen","year":"2013","journal-title":"CAV"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049811"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"ref17","article-title":"Reachnn*: A tool for reachability analysis of neural-network controlled systems","author":"fan","year":"2020","journal-title":"ATVA"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218742"},{"key":"ref19","first-page":"1","article-title":"Energy-efficient control adaptation with safety guarantees for learning-enabled cyber-physical systems","author":"wang","year":"2020","journal-title":"ICCAD"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"ref3","article-title":"Safety-assured design and adaptation of learning-enabled autonomous systems","author":"zhu","year":"2021","journal-title":"ASP-DAC"},{"key":"ref6","article-title":"Explaining and harnessing adversarial examples","author":"goodfellow","year":"2014","journal-title":"ArXiv Preprint"},{"key":"ref5","article-title":"Intriguing properties of neural networks","author":"szegedy","year":"2013","journal-title":"ArXiv Preprint"},{"key":"ref8","first-page":"52","article-title":"Shapeshifter: Robust physical adversarial attack on faster r-cnn object detector","author":"chen","year":"2018","journal-title":"ECML-PKDD"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00175"},{"key":"ref2","first-page":"1","article-title":"Know the unknowns: Addressing disturbances and uncertainties in autonomous systems: Invited paper","author":"zhu","year":"2020","journal-title":"ICCAD"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2864271"},{"key":"ref9","article-title":"Hold tight and never let go: Security of deep learning based automated lane centering under physical-world attack","author":"sato","year":"2020","journal-title":"Preprint"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/824"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3013071"},{"key":"ref21","first-page":"97","article-title":"Reluplex: An efficient smt solver for verifying deep neural networks","author":"katz","year":"2017","journal-title":"CAV"},{"key":"ref23","year":"0","journal-title":"Control tutorials for matlab and simulink - DC motor speed System modeling"}],"event":{"name":"2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Grenoble, France","start":{"date-parts":[[2021,2,1]]},"end":{"date-parts":[[2021,2,5]]}},"container-title":["2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9473901\/9473226\/09474204.pdf?arnumber=9474204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,28]],"date-time":"2022-01-28T15:48:42Z","timestamp":1643384922000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9474204\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,1]]},"references-count":23,"URL":"https:\/\/doi.org\/10.23919\/date51398.2021.9474204","relation":{},"subject":[],"published":{"date-parts":[[2021,2,1]]}}}