Search Results for author: Dakai Zhu

Found 3 papers, 0 papers with code

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach

no code implementations13 Nov 2023 Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee

The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsiveness, and the enabling of autonomous operations.

Autonomous Vehicles

PPG-based Heart Rate Estimation with Efficient Sensor Sampling and Learning Models

no code implementations23 Mar 2023 Yuntong Zhang, Jingye Xu, Mimi Xie, Wei Wang, Keying Ye, Jing Wang, Dakai Zhu

Moreover, our analysis showed that DT models with 10 to 20 input features usually have good accuracy, while are several magnitude smaller in model sizes and faster in inference time.

Heart rate estimation

Cannot find the paper you are looking for? You can Submit a new open access paper.