{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:17:29Z","timestamp":1759331849972,"version":"3.37.3"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"13","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62033005"],"award-info":[{"award-number":["62033005"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005046","name":"Natural Science Foundation of Heilongjiang Province","doi-asserted-by":"publisher","award":["ZD2021F001"],"award-info":[{"award-number":["ZD2021F001"]}],"id":[{"id":"10.13039\/501100005046","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Natural Science Foundation of Chongqing Municipality","award":["CSTB2023NSCQ-MSX0625"],"award-info":[{"award-number":["CSTB2023NSCQ-MSX0625"]}]},{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["2023M730864"],"award-info":[{"award-number":["2023M730864"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010009","name":"Heilongjiang Provincial Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["LBHZ22150"],"award-info":[{"award-number":["LBHZ22150"]}],"id":[{"id":"10.13039\/501100010009","id-type":"DOI","asserted-by":"publisher"}]},{"name":"European Union\u2019s 2022 Research and Innovation Programme for the Marie Sk\u0142odowska-Curie Actions","award":["101108472"],"award-info":[{"award-number":["101108472"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Internet Things J."],"published-print":{"date-parts":[[2024,7,1]]},"DOI":"10.1109\/jiot.2024.3389458","type":"journal-article","created":{"date-parts":[[2024,4,16]],"date-time":"2024-04-16T17:27:09Z","timestamp":1713288429000},"page":"24061-24072","source":"Crossref","is-referenced-by-count":3,"title":["Deep-Neural-Network-Controlled Safety-Critical Systems With Uncertainty Resilience"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2647-4733","authenticated-orcid":false,"given":"Renjie","family":"Ma","sequence":"first","affiliation":[{"name":"State Key Laboratory of Robotics and Systems, Harbin Institute of Technology, Harbin, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8789-6246","authenticated-orcid":false,"given":"Zhijian","family":"Hu","sequence":"additional","affiliation":[{"name":"LAAS-CNRS, University of Toulouse, CNRS, Toulouse, France"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.088"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8618996"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683341"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2023.123111"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2020.2999556"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.2991090"},{"key":"ref7","first-page":"5286","article-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","volume-title":"Proc. 37th Int. Conf. Mach. Learn.","author":"Wong"},{"key":"ref8","first-page":"10900","article-title":"Semidefinite relaxations for certifying robustness to adversarial examples","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Raghunathan"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303895"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3046193"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3043311"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3056633"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2023.3337006"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111465"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3069388"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2023.3257269"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/tcyb.2023.3248125"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104941"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109960"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/acc50511.2021.9483029"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.07.004"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/tcns.2022.3181547"},{"key":"ref24","first-page":"708","article-title":"Learning for safety-critical control with control barrier functions","volume-title":"Proc. 2nd Learn. Dyn. Control Conf.","author":"Taylor"},{"key":"ref25","first-page":"1041","article-title":"Episodic learning for safe bipedal locomotion with control barrier functions and projection-to-state safety","volume-title":"Proc. 3rd Learn. Dyn. Control Conf.","author":"Csomay-Shanklin"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2853698"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.152"},{"key":"ref28","article-title":"On the effectiveness of interval bound propagation for training verifiably robust models","author":"Gowal","year":"2019","journal-title":"arXiv: 1810.12715"},{"key":"ref29","article-title":"Partition-based convex relaxation for certifying the robustness of ReLU neural networks","author":"Anderson","year":"2021","journal-title":"arXiv:2101.09306"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3116179"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7524935"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1080\/00423119708969327"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669862"},{"volume-title":"Mosek Optimization Toolbox for MATLAB, Version 4","year":"2019","key":"ref34"},{"volume-title":"CVX: MATLAB Software for Disciplined Convex Programming, Version 2.1","year":"2014","author":"Grant","key":"ref35"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.29007\/zbkv"}],"container-title":["IEEE Internet of Things Journal"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6488907\/10570342\/10500828.pdf?arnumber=10500828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T17:34:36Z","timestamp":1725384876000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10500828\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,1]]},"references-count":36,"journal-issue":{"issue":"13"},"URL":"https:\/\/doi.org\/10.1109\/jiot.2024.3389458","relation":{},"ISSN":["2327-4662","2372-2541"],"issn-type":[{"type":"electronic","value":"2327-4662"},{"type":"electronic","value":"2372-2541"}],"subject":[],"published":{"date-parts":[[2024,7,1]]}}}