TY - JOUR
T1 - Know the Unknowns
T2 - 39th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2020
AU - Zhu, Qi
AU - Li, Wenchao
AU - Kim, Hyoseung
AU - Xiang, Yecheng
AU - Wardega, Kacper
AU - Wang, Zhilu
AU - Wang, Yixuan
AU - Liang, Hengyi
AU - Huang, Chao
AU - Fan, Jiameng
AU - Choi, Hyunjong
N1 - Funding Information:
We gratefully acknowledge the support from National Science Foundation (NSF) grants 1646497, 1834701, 1834324, 1839511, 1724341, and Office of Naval Research (ONR) grant N00014-19-1-2496.
Publisher Copyright:
© 2020 Association on Computer Machinery.
PY - 2020/11/2
Y1 - 2020/11/2
N2 - Future autonomous systems will employ complex sensing, computation, and communication components for their perception, planning, control, and coordination, and could operate in highly dynamic and uncertain environment with safety and security assurance. To realize this vision, we have to better understand and address the challenges from the 'unknowns' - the unexpected disturbances from component faults, environmental interference, and malicious attacks, as well as the inherent uncertainties in system inputs, model inaccuracies, and machine learning techniques (particularly those based on neural networks). In this work, we will discuss these challenges, propose our approaches in addressing them, and present some of the initial results. In particular, we will introduce a cross-layer framework for modeling and mitigating execution uncertainties (e.g., timing violations, soft errors) with weakly-hard paradigm, quantitative and formal methods for ensuring safe and time-predictable application of neural networks in both perception and decision making, and safety-assured adaptation strategies in dynamic environment.
AB - Future autonomous systems will employ complex sensing, computation, and communication components for their perception, planning, control, and coordination, and could operate in highly dynamic and uncertain environment with safety and security assurance. To realize this vision, we have to better understand and address the challenges from the 'unknowns' - the unexpected disturbances from component faults, environmental interference, and malicious attacks, as well as the inherent uncertainties in system inputs, model inaccuracies, and machine learning techniques (particularly those based on neural networks). In this work, we will discuss these challenges, propose our approaches in addressing them, and present some of the initial results. In particular, we will introduce a cross-layer framework for modeling and mitigating execution uncertainties (e.g., timing violations, soft errors) with weakly-hard paradigm, quantitative and formal methods for ensuring safe and time-predictable application of neural networks in both perception and decision making, and safety-assured adaptation strategies in dynamic environment.
KW - Autonomous systems
KW - adaptation
KW - disturbance
KW - neural networks
KW - safety verification
KW - uncertainty
KW - weakly-hard
UR - http://www.scopus.com/inward/record.url?scp=85097949098&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85097949098&partnerID=8YFLogxK
U2 - 10.1145/3400302.3415768
DO - 10.1145/3400302.3415768
M3 - Conference article
AN - SCOPUS:85097949098
SN - 1092-3152
VL - 2020-November
JO - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
JF - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
M1 - 9256731
Y2 - 2 November 2020 through 5 November 2020
ER -