Recent News

January 2020 - Our papers on "Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning", "Hyperproperties for Robotics: Motion Planning via HyperLTL", and "Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations" have been accepted at 2020 IEEE International Conference on Robotics and Automation (ICRA)!

January 2020 - Our paper "Integrating Security in Resource-Constrained Cyber-Physical Systems" has been accepted at the ACM Transactions on Cyber-Physical Systems!

January 2020 - CPSL@Duke received new ONR grant! This 3-year single PI ($570K) grant will provide Platform-Level Services for Security of Naval Cyber-Physical Systems!

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.