News
New NSF AI Institute!
July 2021 - Duke will lead a new $20M NSF AI Institute for Edge Computing! CPSL@Duke leads Research Thrust 4 -- Design of Autonomous Cyber-Physical Services at the Edge!
Paper accepted at TASE!
August 2021 - Our paper that introduces a security analysis methodology for IoT-based industrial automation systems has been accepted at the IEEE Transactions on Automation Science and Engineering!
Paper accepted at Automatica!
August 2021 - A paper on requirements for intermittent authentication for attack-resilient state estimation has been accepted at Automatica!
Paper accepted at TCAD!
August 2021 - A paper on formal methods-based methodology for adative droplet routing in MEDA biochips has been accepted at the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems!
Paper accepted at CDC!
August 2021 - A paper on high-assurance model-free learning methods of safe controllers that also maximize the guarantees to complete the desired mission has been accepted at 2021 IEEE Conference on Decision and Control (CDC)!
New NIH Grant!
April 2021 - CPSL@Duke is a part of a team that received new RO1 on ``Analyzing retinal microanatomy in retinopathy of prematurity to improve care" by the NIH!
Workshop on future of CPS!
April/June 2021 - Dr. Pajic organized an NSF-supported invitation only workshop on future of CPS! The workshop discussion and findings have been reported at a short workshop during the NSF CPS PI meeting in June 2021.
Two papers accepted at ICRA'21!
February 2021 - Two papers, focused on high-assurance model free learning for stochastic games and security-aware planning using model-free learning have been accepted at 2021 IEEE International Conference on Robotics and Automation (ICRA)!
Paper accepted at the ARVO TVST Journal!
February 2021 - New work in ARVO’s Translational Vision Science & Technology (TVST) journal (premier journal in ophthalmology), part of CPSL@Duke collaboration with Duke Eye Center!
Paper accepted at ICCPS'21!
December 2020 - A paper on probabilistic conformance for cyber-physical systems has been accepted at 2021 IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS'21)!
Paper accepted at DATE'21!
December 2020 - A paper introducing formal synthesis methodology for adaptive droplet routing in MEDA biochips has been accepted at 2021 IEEE Design, Automation and Test in Europe (DATE) conference!
Paper accepted at Automatica!
September 2020 - A paper on scalable methods for state estimation in the presence of sensor attacks has been accepted at Automatica!
Talk at Galois
September 2020 - Dr. Pajic gave an invited talk on security-aware cyber-physical systems with varying levels of autonomy at Galois.
New NIH funding!
August 2020 - We received funding from the NIH for our research on closed-loop Deep-Brain Stimulation (DBS)! This 2-year effort will allow us to develop and evaluate closed-loop DBS therapies both in clinical settings as well as patient's homes using the Medtronic RC+S platform.
Collaboration with NATO's CMRE!
August 2020 - CPSL@Duke started collaboration with NATO's CMRE focusing on security-aware design and analysis of autonomous unmanned underwater systems!