Cited By
View all- Al Maruf ANiu LClark AMertoguno JPoovendran R(2023)A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety ConstraintACM Transactions on Cyber-Physical Systems10.1145/35946387:3(1-25)Online publication date: 13-Jul-2023
- Niu LSahabandu DClark APoovendran R(2022)Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS)10.1109/ICCPS54341.2022.00016(104-115)Online publication date: May-2022
- Niu LAl Maruf AClark AMertoguno JPoovendran R(2022)An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee2022 IEEE 61st Conference on Decision and Control (CDC)10.1109/CDC51059.2022.9993062(1533-1540)Online publication date: 6-Dec-2022
- Show More Cited By