Recent News

Our paper on ``Statistical Verification of Hyper-properties for Cyber-Physical Systems" has been accepted at EMSOFT'19 in NYC and will appear in the ACM Transactions on Embedded Computing Systems!

May 2019 - Dr. Pajic receives the 2019 IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Early-Career Award for "outstanding contributions to design and analysis methodologies for high-assurance cyber-physical systems"!

Pratt annoncement is here. 

April 2019 - Dr. Pajic receives the 2019 ACM SIGBED Early Career Award for "outstanding contributions by early career investigators in the area of embedded, real-time, and cyber-physical systems"!

Pratt Engineering annoncement is here. 

April 2019 - Paper "Security-Aware Synthesis using Delayed Action Games” has been accepted at the 31st International Conference on Computer-Aided Verification (CAV'19)!

April 2019 - CPSL@Duke will be leading the security thrust in the new 6-year AFOSR Center of Excellence focused on Assuring Autonomy in Contested Environments!

Pratt annoncement is here. 

January 2019 - Paper "Relaxing Integrity Requirements for Cyber-Physical Systems" has been accepted at the IEEE Transactions on Automatic Control!

May 2019 - Our paper on “Synchronization of Distributed Controllers in Cyber-Physical Systems” has been accepted at the 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'19)!

April 2019 - Our paper "Distributing Sequential Control for Manufacturing Automation Systems” has been accepted at the IEEE Transactions on Control Systems Technology!

April 2019 - We received a new NSF grant from the Communications, Circuits, and Sensing-Systems (CCSS) Program on "Adaptive Protocol Synthesis and Error Recovery in Micro-Electrode-Dot-Array (MEDA) Microfluidic Biochips"!

February 2019 - Our new NSF IUCRC for Alternative Sustainable and Intelligent Computing (ASIC) has its kickoff meeting on Feb 14-15th!

January 2019 - Our paper on "Security-Aware Synthesis of Human-UAV Protocols" has been accepted at the IEEE International Conference on Robotics and Automation (ICRA'19)!

January 2019 - Our paper on "Reliable Industrial IoT-Based Distributed Automation" has been accepted at the ACM/IEEE Conference on Internet of Things Design and Implementation (IoTDI, CPS-IoT Week 19)!

January 2019 - Our paper on "LCV: A Verification Tool for Linear Controller Software" has been accepted at the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)!

March 2019 - Dr. Pajic is now an IEEE Senior member. "IEEE Senior Membership is an honor bestowed only to those who have made significant contributions to the profession"! 

January 2019: Dr. Pajic has been elected as a member-at-large of the IEEE Technical Committee on Cyber-Physical Systems (TCCPS)!

December 2018 - Our paper on "Operator Strategy Model Development in UAV Hacking Detection" has been accepted at the IEEE Transactions on Human-Machine Systems.

August 2018: Dr. Pajic will serve as an Associate Editor of the ACM Transactions on Computing for Healthcare (ACM HEALTH)

July 2018 - CPSL has received a 3-year grant from the National Science Foundation, Cyber-Physical Systems Program for "Human-on-the-Loop Control for Smart Ultrasound Imaging", with our partners from Mayo Clinic.

July 2018 - Dr. Pajic receives IBM Faculty Award for his work on anomaly detection in cyber-physical systems!

July 2018 - Our paper on "Secure State Estimation with Cumulative Message Authentication" has been accepted at the 57th IEEE Conference on Decision and Control (CDC'18)!

June 2018 - CPSL received a 1-year grant from the Lord Foundation of North Carolina for "Development of Hardware-in-the Loop Testbeds and Course Modules for Hands-on Student Experiences in Embedded and Cyber-Physical Systems".

May 2018 - Dr. Pajic will co-chair the Technical Program Comittee for the 10thACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'19), the premier conference in the domain of cyber-physical systems! Submit your best work.

May 2018 - Our Intel/NSF project on CPS security will be funded for two more years!

February 2018 - Dr. Pajic receives Nortel Networks Professorship from Pratt School of Engineering at Duke University!

January 2018 - Paper on "Continuous Estimation Using Context-Dependent Discrete Measurement" has been accepted for publication in the IEEE Transactions on Automatic Control!