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.
Our research focus is on development of high-assurance system design methodologies for Cyber-Physical Systems, which is at the confluence of embedded systems, formal methods and control theory. The long-term goal is to integrate system modeling, analysis and automatic synthesis into composable design procedures that ensure closed-loop system safety and desired performance under known and unknown operating conditions, and even in the presence of malicious activity.
Join the Lab
We are looking for PhD students and postdocs with interests and expertise in embedded systems, formal methods, control theory, and cyber-physical systems!