News
First CPSL@Duke PhD Graduate!
August 2019 - Congratulations to Vuk Lesi for succesfully defending his PhD Thesis! Great job Vuk!
Two papers accepted at CDC'19!
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)!
Paper accepted at EMSOFT'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!
IEEE TCCPS Early-Career Award!
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.
ACM SIGBED Early Career Award!
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.
Paper accepted at CAV'19!
April 2019 - Paper "Security-Aware Synthesis using Delayed Action Games” has been accepted at the 31st International Conference on Computer-Aided Verification (CAV'19)!
New AFOSR Center of Excellence!
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.
Paper accepted at IEEE TAC!
January 2019 - Paper "Relaxing Integrity Requirements for Cyber-Physical Systems" has been accepted at the IEEE Transactions on Automatic Control!
Paper accepted at ETFA'19!
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)!
Paper accepted at IEEE TCST!
April 2019 - Our paper "Distributing Sequential Control for Manufacturing Automation Systems” has been accepted at the IEEE Transactions on Control Systems Technology!
New NSF Grant!
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"!
NSF IUCRC for ASIC Kick-off!
February 2019 - Our new NSF IUCRC for Alternative Sustainable and Intelligent Computing (ASIC) has its kickoff meeting on Feb 14-15th!
Paper accepted at ICRA'19!
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)!
Paper accepted at IoTDI'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)!
Paper Accepted at TACAS'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)!