Paper accepted at ARVO TVST Journal!
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.
Papers accepted at ICCPS'20 and HSCC'20!
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)!
Dr. Pajic Chairs 2019 NSF CPS PI Meeting TCP!
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!
Best Paper Finalist at EMSOFT'19!
October 19 - Our paper on "Statistical Verification of Hyper-properties for Cyber-Physical Systems" is a Best Paper Finalist at EMSOFT'19!
Paper accepted at ACC'20
January 2020 - Paper “Perfect Attackability of Linear Dynamical Systems with Bounded Noise”, has been accepted at 2020 American Control Conference (ACC).
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)!
IEEE Senior Member!
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"!
IEEE TCCPS Member-at-Large
January 2019: Dr. Pajic has been elected as a member-at-large of the IEEE Technical Committee on Cyber-Physical Systems (TCCPS)!
Paper accepted at IEEE THMS!
December 2018 - Our paper on "Operator Strategy Model Development in UAV Hacking Detection" has been accepted at the IEEE Transactions on Human-Machine Systems.
AE for ACM Transactions on Computing for Healthcare
August 2018: Dr. Pajic will serve as an Associate Editor of the ACM Transactions on Computing for Healthcare (ACM HEALTH)
New NSF CPS Medium Grant!
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.