Recent News

January 2020 - Our paper on "Automated Recognition of Retinal Pigment Epithelium Cells on Limited Training Samples Using Neural Networks" has been accepted at the ARVO’s Translational Vision Science & Technology (TVST) journal. This is part of our collaboration with Duke Medicine and Duke Eye Center on using AI in ophthalmology. 

December 2019 - Two papers accepted at CPSWeek'20! Paper “Model-based Design of Closed-Loop Deep Brain Stimulation Controllers using Reinforcement Learning”, will be presented at the 11th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'20), while paper “Statistical Verification of Learning-Enabled Controlled Systems” will appear at the23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC'20)!

November 2019 - Dr. Pajic is the Technical Program Committee Chair for the 2019 NSF Cyber-Physical Systems (CPS) Principal Investigator (PI) Meeting in Washington, DC!

October 19 - Our paper on "Statistical Verification of Hyper-properties for Cyber-Physical Systems" is a Best Paper Finalist at EMSOFT'19!

January 2020 - Paper “Perfect Attackability of Linear Dynamical Systems with Bounded Noise”, has been accepted at 2020 American Control Conference (ACC).

August 2019 - Congratulations to Vuk Lesi for succesfully defending his PhD Thesis! Great job Vuk!

July 2019 - Papers on “Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks” and “Attack-Resilient Supervisory Control with Intermittently Secure Communication” have been accepted at the 58th IEEE Conference on Decision and Control(CDC'19)!

July 2019 - Our paper on "Statistical Verification of Hyper-properties for Cyber-Physical Systems" has been accepted at EMSOFT'19, and will also 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.