Publications

2022

Learning Certifiably Robust Controllers Using Fragile Perception

Sun, Dawei; Musavi, Negin; Dullerud, Geir; Shakkottai, Sanjay; Mitra, Sayan

Learning Certifiably Robust Controllers Using Fragile Perception Workshop

5th Robot Learning Workshop: Trustworthy Robotics @ NeurIPS 2022, 2022.

Links | BibTeX

DistPro: Searching A Fast Knowledge Distillation Process via Meta Optimization

Deng, Xueqing*; Sun, Dawei*; Newsam, Shawn; Wang, Peng

DistPro: Searching A Fast Knowledge Distillation Process via Meta Optimization Inproceedings

European Conference on Computer Vision (ECCV), 2022.

Links | BibTeX

Multi-agent Motion Planning from Signal Temporal Logic Specifications

Sun, Dawei; Chen, Jingkai; Mitra, Sayan; Fan, Chuchu

Multi-agent Motion Planning from Signal Temporal Logic Specifications Journal Article

IEEE Robotics and Automation Letters (RA-L), 2022.

Links | BibTeX

SABLAS: Learning Safe Control for Black-box Dynamical Systems

Qin, Zengyi; Sun, Dawei; Fan, Chuchu

SABLAS: Learning Safe Control for Black-box Dynamical Systems Journal Article

IEEE Robotics and Automation Letters (RA-L), 2022.

Links | BibTeX

NeuReach: Learning Reachability Functions from Simulations

Sun, Dawei; Mitra, Sayan

NeuReach: Learning Reachability Functions from Simulations Conference

International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2022.

Links | BibTeX

2021

HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization

Musavi, Negin; Sun, Dawei; Mitra, Sayan; Dullerud, Geir; Shakkottai, Sanjay

HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization Inproceedings

Conference on Control Technology and Applications (CCTA), 2021.

Links | BibTeX

Learning Density Distribution of Reachable States for Autonomous Systems

Meng, Yue; Sun, Dawei; Qiu, Zeng; Waez, Md Tawhid Bin; Fan, Chuchu

Learning Density Distribution of Reachable States for Autonomous Systems Conference

Conference on Robot Learning (CoRL), 2021.

Links | BibTeX

Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric

Sun, Dawei; Khojasteh, Mohammad Javad; Shekhar, Shubhanshu; Fan, Chuchu

Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric Inproceedings

Learning for Dynamics and Control (L4DC), 2021.

Links | BibTeX

2020

Learning Certified Control using Contraction Metric

Sun, Dawei; Jha, Susmit; Fan, Chuchu

Learning Certified Control using Contraction Metric Inproceedings

Conference on Robot Learning (CoRL), 2020.

Links | BibTeX

Optimistic Optimization for Statistical Model Checking with Regret Bounds

Musavi, Negin; Sun, Dawei; Mitra, Sayan; Dullerud, Geir; Shakkottai, Sanjay

Optimistic Optimization for Statistical Model Checking with Regret Bounds Workshop

International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR), 2020.

Links | BibTeX

Knowledge Transfer via Dense Cross-layer Mutual-distillation

Sun, Dawei*; Yao, Anbang*

Knowledge Transfer via Dense Cross-layer Mutual-distillation Inproceedings

European Conference on Computer Vision (ECCV), 2020.

Links | BibTeX

2019

Learning Two-View Correspondences and Geometry Using Order-Aware Network

Zhang, Jiahui*; Sun, Dawei*; Luo, Zixin; Yao, Anbang; Zhou, Lei; Shen, Tianwei; Chen, Yurong; Quan, Long; Liao, Hongen

Learning Two-View Correspondences and Geometry Using Order-Aware Network Inproceedings

International Conference in Computer Vision (ICCV 2019), 2019.

Links | BibTeX

Deeply-Supervised Knowledge Synergy

Sun, Dawei; Yao, Anbang; Zhou, Aojun; Zhao, Hao

Deeply-Supervised Knowledge Synergy Inproceedings

Proceedings of the IEEE conference on computer vision and pattern recognition (CVPR 2019), 2019.

Links | BibTeX

Unified Mathematical Model for Multilayer-Multiframe Compressive Light Field Displays Using LCDs

Zhang, Jiahui; Fan, Zhencheng; Sun, Dawei; Liao, Hongen

Unified Mathematical Model for Multilayer-Multiframe Compressive Light Field Displays Using LCDs Journal Article

IEEE transactions on visualization and computer graphics (TVCG), 25 (3), pp. 1603–1614, 2019.

Links | BibTeX

2017

Enabling Deep Learning on IoT Devices

Tang, Jie; Sun, Dawei; Liu, Shaoshan; Gaudiot, Jean-Luc

Enabling Deep Learning on IoT Devices Journal Article

Computer, 50 (10), pp. 92–96, 2017.

Links | BibTeX

Enabling Embedded Inference Engine with ARM Compute Library: A Case Study

Sun, Dawei; Liu, Shaoshan; Gaudiot, Jean-Luc

Enabling Embedded Inference Engine with ARM Compute Library: A Case Study Journal Article

arXiv preprint arXiv:1704.03751, 2017.

Links | BibTeX

Learn-Memorize-Recall-Reduce A Robotic Cloud Computing Paradigm

Liu, Shaoshan; Ding, Bolin; Tang, Jie; Sun, Dawei; Zhang, Zhe; Tsai, Grace; Gaudiot, Jean-Luc

Learn-Memorize-Recall-Reduce A Robotic Cloud Computing Paradigm Journal Article

arXiv preprint arXiv:1704.04712, 2017.

Links | BibTeX

Lessons learned from a lightweight autonomous vehicle implementation

Wang, Kuan; Sun, Dawei; Ma, Xiaojian; Gu, Zhaoyuan; Zhao, Hao

Lessons learned from a lightweight autonomous vehicle implementation Inproceedings

Workshop on Scene Understanding, CVPR 2017, 2017.

Links | BibTeX