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 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
March 2022Our 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.
Our paper titled ‘ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing’ has been accepted in the IEEE International Conference on Blockchain (IEEE Blockchain 2021) with an acceptance rate of 14.5%.
