Welcome to the DCPS Lab
The Dependable Cyber-Physical Systems (DCPS) lab is directed by Prof. Khaza Anuarul Hoque and located in the F. Robert & Patricia Naka Hall building at University of Missouri-Columbia. The research mission of the DCPS Laboratory is to develop theory, methods, and tools for supporting modeling, design, and (formal) verification of highly dependable embedded and cyber-physical systems (CPS). Specifically, the goal of DCPS lab is to enhance the reliability, safety, security and energy efficiency of complex computing systems.
To this end, we conduct interdisciplinary research to answer the scientific questions we deem most important, specifically in the following areas (see Research).
- Formal method in robotics and automation.
- Fault tolerant, secure and energy-efficient ML/AI hardware.
- Cybersecurity issues in virtual reality (VR) applications.
- Cybersecurity issues in intelligent prognostics.
We are grateful for funding from National Science Foundation (NSF), United States Naval Research Laboratory (NRL), and University of Missouri.
News
November 2022Two papers from our lab have been accepted in the Design, Automation and Test in Europe (DATE 2023) Conference titled ‘Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization’ and ‘Security-Aware Approximate Spiking Neural Network’ with an acceptance rate of 25%.
October 2022Our paper titled ‘Detection of Security and Privacy Attacks Disrupting User Immersive Experience in Virtual Reality Learning Environments’ has been accepted for publication in the IEEE Transactions on Services Computing (IEEE TSC) Journal (IF 11.02).
See Preprint.
Our paper titled ‘TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning’ has been accepted in the 21st IEEE International Symposium on Mixed and Augmented Reality (ISMAR 22) conference (core rank A*).
See Preprint, MU news.
Our paper titled ‘Runtime Monitoring of Time Window Temporal Logic’ is now available for early access in the IEEE Robotics and Automation Letters (RA-L) journal (IF 5.43).
See Early access.
Prof. Hoque has received the Junior Faculty Excellence in Teaching award from the College of Engineering, MU.
See MU news.
