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
September 2022Our 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.
See Early access.
Prof. Hoque has received the Junior Faculty Excellence in Teaching award from the College of Engineering, MU.
See MU news.
Our paper titled ‘Is Approximation Universally Defensive Against Adversarial Attacks in Deep Neural Networks?’ has been accepted in the Design, Automation and Test in Europe (DATE 2022) Conference.
See Preprint, MU news.
I am serving as the organizing chair of the 14th Central Area Networking and Security Workshop (CANSec 2021) workshop.
See MU news.
