Group Lunch - Fall 2022 (From left to right: Ulices, Haitham, Kohei, Momina, James, Wael, Xiaowu, Valen, Goli, Yasser)
Welcome to the Resilient Cyber-Physical Systems Lab!
The Resilient Cyber-Physical Systems lab is part of the Department of Electrical Engineering and Computer Science at the University of California, Irvine. We are physically located in the Engineering Hall Building.
Our research is in the broad area of embedded and cyber-physical systems with applications in robotics, IoT, and pervasive sensing and control. We design algorithms and build systems to enable CPS to be resilient, secure, and privacy-preserving. Our research is at the intersection of theory and systems. It draws on tools from embedded systems, formal methods, control theory, and machine learning and is motivated by real-world applications. You can read more about our research here and see videos of our research on our YouTube channel.
Are you interested in joining? We are always looking for bright and motivated talents. Please read below for more information on how to join our lab.
Recent News
Recent Publications:
- Jair Certorio, Nuno C. Martins, Kevin Chang, Pierluigi Nuzzo, and Yasser Shoukry, “Passivity Tools for Hybrid Learning Rules in Large Populations,” arXiv 2024
- Wael Fatnassi, Arthur Feeney, Valen Yamamoto, Aparna Chandramowlishwaran, and Yasser Shoukry, “BERN-NN-IBF: Enhancing Neural Network Bound Propagation Through Implicit Bernstein Form and Optimized Tensor Operations,” IEEE Transactions on Computer-Aided Design (IEEE TCAD), 2024.
- Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry, “Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection,” 15th ACM/IEEE International Conference on Cyber-Physical Systems (ACM/IEEE ICCPS), 2024.
- Haitham Khedr and Yasser Shoukry, “DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation,” AAAI 2024.
- Ulices Santa Cruz and Yasser Shoukry, “Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis,” 62nd IEEE Conference on Decision and Control (IEEE CDC), December 2023
- Momina Sajid, Yanning Shen, and Yasser Shoukry, “Model Extraction Attacks Against Reinforcement Learning Based Controllers,” arXiv 2023.
- Wael Fatnassi, Haitham Khedr, Valen Yamamoto, and Yasser Shoukry, “BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic,” HSCC, 2023.
- Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Abdullah Al Faruque, “EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency,” ICCPS 2023.
- Haitham Khedr and Yasser Shoukry, “CertiFair: A Framework for Certified Global Fairness of Neural Networks,” AAAI 2023.
- James Ferlez and Yasser Shoukry, “Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers,” IEEE L-CSS, 2023.
- Xiaowu Sun and Yasser Shoukry, “Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks,” arXiv 2022.
- Xiaowu Sun and Yasser Shoukry, “NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems,” CDC 2022.
Funded Projects:
Role: Lead PI, Collaborators: Prof. Cody Fleming (Iowa State Univ), Prof. Min Kyung Lee (UT Austin), and Prof. Chandra Bhat (UT Austin)
CPS: Medium: ASTrA: Automated Synthesis for Trustworthy Autonomous Utility Services
Role: UCI PI, Collaborators: Prof. Pierluigi Nuzzo (USC) and Prof. Nuno Martins (UMD)
Role: Co-PI, Collaborators: Prof. Sanjit A. Seshia (UC Berkeley, PI) and Prof. Cathra Halabi (UCSF)
Completed Projects:
S&CC: Collaborative Research: SOCIUS: Socially Responsible Smart Cities
Role: Lead PI, Collaborators: Min Kyung Lee at CMU
Security and Networking Co-Design for Industrial IoT
Role: PI, Collaborators: Prof. Nuno C. Martins at UMD
Cross-Domain and Cross-Layer Safety and Security for Internet of Connected Autonomous Vehicles
Role: Co-PI, Collaborators: Prof. Mohammad Al-Faruque (PI), Prof. Fadi Kurdahi (Co-PI), Prof. Salma Elmalaki (Co-PI), Prof. Zhou Li (Co-PI), and Prof. Wenlong Jin (Co-PI)
CPS: Medium: Resilient-by-Cognition Cyber-Physical Systems
Role: PI, Collaborators: Prof. P. S. Krishnaprasad at UMD
Semantic Adversarial Analysis for Secure Critical Infrastructure
Role: Co-PI, Collaborators: Prof. Sanjit A. Seshia (UC Berkeley, PI)
Software/Hardware Support:
We are very grateful for the generous support given by the following companies:
