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!
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.
Talk at SRC ICT Security Workshop!
August 2020 - Dr. Pajic gave an invited talk on Autonomous System Security, at the SRC ICT Hardware Enabled Security Workshop!
Two new PhD students joined the CPSL@Duke lab!
Collaboration with NATO's CMRE!
Talk at AVSS'20!
July 2020 - Dr. Pajic gave an invited talk on Security-Aware Control of Autonomous Vehicles, at the Automated Vehicles Symposium, Session on Hot Topics in Security and Privacy of Automated Driving!
Dickinson Family Professorship!
Papers accepted at CSF'21, ESWeek'20, & ATVA'20!
June 2020 - Three papers accepted this week! A paper on “Statistical Model Checking for Probabilistic Hyperproperties” has been accepted at the 2021 IEEE Computer Security Foundations Symposium (CSF), "Extending the Lifetime of MEDA Biochips by Selective Sensing on Microelectrodes" has been accepted at the 2020 International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), part of ESWeek'20, and “Context-Aware Temporal Logic for Probabilistic Systems” has been accepted at the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA)!
Keynote at SafeThings'20!
June 2020 - Dr. Pajic gave a keynote on "Assuring Safety and Security in Cyber-Physical Systems with Varying Levels of Autonomy" at SafeThings'20!
Paper accepted at the IEEE Transactions on Industrial Informatics!
March 2020 - Our paper "Attacks on Distributed Sequential Control in Manufacturing Automation” has been accepted at the IEEE Transactions on Industrial Informatics! The paper shows how to model and analyze performance of manufacturing systems under several types of attacks.
3 Papers accepted at ICRA'20!
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 the 2020 IEEE International Conference on Robotics and Automation (ICRA)!
Paper accepted at ACM TCPS!
January 2020 - Our paper "Integrating Security in Resource-Constrained Cyber-Physical Systems" has been accepted at the ACM Transactions on Cyber-Physical Systems!