campus Menu
Design Automation of Intelligent Systems Lab
Design Automation of Intelligent Systems Lab

In the IDEAS Lab, our research interests include design automation for intelligent cyber-physical systems (CPS) and Internet-of-Things (IoT) applications, cyber-physical security, machine learning for CPS/IoT, energy-efficient CPS, and system-on-chip design. Our recent projects have been focusing on synthesis, optimization, verification, and modeling methodologies for learning-based cyber-physical systems (LECPS), particularly addressing the safety, robustness, and security challenges in utilizing machine learning techniques and operating within dynamic and uncertain environment. We work on applications in the domains of connected and autonomous vehicles, robotics, smart buildings and infrastructures, and IoT.

group

NEWS