Best Paper Award at EMSOFT'17

    Our paper on Security-Aware Scheduling of Embedded Control Tasks wins the Best Paper Award at the 2017 ACM SIGBED International Conference on Embedded Software (EMSOFT), part of Embedded Systems Week (ESWeek)!

  • Model-Based Design for Deep Brain Stimulation

    Parkinson’s disease (PD) is the second most prevalent neurological disorder, affecting nearly one million people in the US, with 60,000 new cases diagnosed every year. Deep Brain Stimulation (DBS) is effective at alleviating symptoms of PD and several other neurological disorders. Yet, despite its safety-critical nature, there does not exist a platform for integrated design and testing of DBS devices. We intend to fill this gap, and provide a platform that implements an accurate physiological simulation of the region of the brain... Read more

  • Security-Aware Human-on-the-Loop CPS

    CPSs usually involve humans to aid with situations of higher degrees of uncertainty. In CPSL, we explore the impact of this human-autonomy interaction on the security of Unmanned Vehicles (UVs) supervisory systems, typically prone to cyber attacks on navigational sensors. Can we exploit this understanding to synthesize collaborative human-CPS protocols and attain higher security guarantees? Read more

Welcome to the Cyber-Physical Systems Lab

The Cyber-Physical Systems Lab at Duke (CPSL@Duke) brings together expertise from electrical, computer and biomedical engineering, as well as computer science fields to study the interaction between the physical world and computing systems with varying levels of autonomy, aka Cyber-Physical Systems (CPS). CPS are the next generation of time-critical and safety-critical, networked and embedded control systems, in domains spanning from autonomous vehicles, industrial automation and advanced manufacturing, to medical devices and systems, energy-efficient buildings, and smart cities.

We focus on fundamental and application-specific problems related to modeling, design and analysis. Our goal is to provide strong safety, efficiency, robustness, and security guarantees as part of CPS design and integration procedures.


We are looking for PhD students and postdocs with interests and expertise in embedded systems, formal methods, control theory, and cyber-physical systems!