Web Analytics

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 2022

Two 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 2022

Our 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.

September 2022

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.

March 2022

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.

February 2022

Prof. Hoque has received the Junior Faculty Excellence in Teaching award from the College of Engineering, MU.
See MU news.

... see all News