research
∙
06/11/2023
Learning the Positions in CountSketch
We consider sketching algorithms which first compress data by multiplica...
share
research
∙
11/20/2022
Safe Control Under Input Limits with Neural Control Barrier Functions
We propose new methods to synthesize control barrier function (CBF)-base...
research
∙
09/19/2022
Safety Index Synthesis via Sum-of-Squares Programming
Control systems often need to satisfy strict safety requirements. Safety...
research
∙
12/23/2020
Overview of FPGA deep learning acceleration based on convolutional neural network
In recent years, deep learning has become more and more mature, and as a...
research
∙
07/20/2020