2020 International Conference On Computer Aided Design

The Premier Conference Devoted to Technical Innovations in Electronic Design Automation

November 2-5, 2020VIRTUAL CONFERENCE

MP Associates, Inc.
TUESDAY November 03, 8:30am - 9:00am | Slot 4
Design Automation for Autonomous Systems: Uncertainty-Aware Behavior Assurance
Xin Li - Duke Univ., NC
Shiyan Hu - Univ. of Southampton, United Kingdom
Autonomous systems are self-governed and self-adaptive systems that comply with high assurance correctness and safety criteria. They rely on a collection of intelligent components to sense their environment for operations. Those sensing components often manifest significant uncertainties due to noise from system inputs as well as disturbances from environment interferences, system faults, malicious attacks, etc.  It is imperative to test and verify the goal-driven autonomous behavior considering various sources of uncertainties. This special session consists of four talks tackling the challenge of autonomous behavior assurance. The first talk gives an overview on the challenge to assure safe autonomous behavior at design time using appropriate architectures, supervision, and online tools. The second talk discusses how formal methods can be developed to ensure the safe application of machine learning techniques, modelling techniques, and design techniques in autonomous systems. The third talk focuses on the development of a new data analytics technique for counteracting adversarial attacks in stereo vision based autonomous driving systems. The fourth talk describes an industrial experience on preliminary evaluation of machine learning assurance technologies that have been integrated into aerospace autonomous platforms.

6D.1EDA for Autonomous Behavior Assurance
 Speaker: Selma Saidi - TU Dortmund
 Authors: Selma Saidi - TU Dortmund
Jyotirmoy Deshmukh - USC, CA
Dirk Ziegenbein - Bosch Research
Rolf Ernst - TU Braunschweig, Germany
6D.2Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems
 Speaker: Qi Zhu - Northwestern Univ.
 Authors: Qi Zhu - Northwestern Univ.
Wenchao Li - Boston Univ.
Hyoseung Kim - Univ. of California, Riverside, CA
Yecheng Xiang - Univ. of California, Riverside, CA
Kacper Wardega - Boston Univ., Boston, MA
Zhilu Wang - Northwestern Univ.
Yixuan Wang - Northwestern Univ.
Hengyi Liang - Northwestern Univ.
Chao Huang - Northwestern Univ.
Jiameng Fan - Boston Univ., MA
Hyunjong Choi - Univ. of California, Riverside, CA
6D.3Counteracting Adversarial Attacks in Autonomous Driving
 Speaker: Shiyan Hu - Univ. of Southampton, United Kingdom
 Authors: Qi Sun - Chinese Univ. of Hong Kong
Arjun Ashok Rao - Chinese Univ. of Hong Kong
Xufeng Yao - CUHK
Bei Yu - CUHK
Shiyan Hu - Univ. of Southampton, United Kingdom
6D.4Towards Assurance Evaluation of Autonomous Systems
 Speaker: Huafeng Yu - Boeing
 Authors: Steven Beland - Boeing
Isaac Chang - Boeing
Alexander Chen - Boeing
Matthew Moser - Boeing
James Paunicka - Boeing
Douglas Stuart - Boeing
John Vian - Boeing
Christina Westover - Boeing
Huafeng Yu - Boeing