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, trustworthiness, 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 methods in robotics and automation (model checking and runtime monitoring).
- Safe, secure and energy-efficient ML/AI for embedded hardware.
- Explainable AI for trustworthy augmented/virtual reality (AR/VR) applications.
We are grateful for funding from National Science Foundation (NSF), United States Army Reserch Laboratory (ARL), and Naval Research Laboratory (NRL).
News
September 2024Our paper, ‘Efficient SMT-Based Model Checking for HyperTWTL’ has been accepted for the 25th International Conference on Formal Engineering Methods (ICFEM 2024). Congratulations Ernest!
July 2024Prof. Hoque is serving as a Technical Program Committee Co-Chair for the IEEE International Conference on Engineering Reliable Autonomous Systems (ERAS 2025).
July 2024Prof. Hoque is serving as a Technical Committee Member for ACM/IEEE Design, Automation and Test in Europe Conference (DATE 2025).
July 2024Three papers on VR privacy and safety from our group have been accepted for publication in the 23rd IEEE International Symposium on Mixed and Augmented Reality (ISMAR 2024) conference (core rank A*).
May 2024DCPS Ph.D. student Ayesha Siddique has secured an Assistant Professor position at the University of Maine, Maine (R1). Congratulations, Ayesha!
