Andrew Clark

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 16

Top Topics

Computationally Efficient

Energy Function

Top Venues

Publications

Hongchao Zhang, Luyao Niu, Andrew Clark, Radha Poovendran
Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks. ICRA (2024)
Hongchao Zhang, Luyao Niu, Andrew Clark, Radha Poovendran
Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks. CoRR (2024)
Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya
Learning a Formally Verified Control Barrier Function in Stochastic Environment. CoRR (2024)
Hongkai Dai, Chuanrui Jiang, Hongchao Zhang, Andrew Clark
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions. CoRR (2024)
Aobo Lyu, Andrew Clark, Netanel Raviv
Explicit Formula for Partial Information Decomposition. CoRR (2024)
Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments. Games 14 (2) (2023)
Luyao Niu, Andrew Clark, Radha Poovendran
Necessary and Sufficient Conditions for Satisfying Linear Temporal Logic Constraints Using Control Barrier Certificates. CDC (2023)
Hongchao Zhang, Zhouchi Li, Hongkai Dai, Andrew Clark
Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties. CDC (2023)
Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik, Andrew Clark
Exact Verification of ReLU Neural Control Barrier Functions. CoRR (2023)
Luyao Niu, Abdullah Al Maruf, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran
A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems. CDC (2023)
Junlin Wu, Andrew Clark, Yiannis Kantaros, Yevgeniy Vorobeychik
Neural Lyapunov Control for Discrete-Time Systems. NeurIPS (2023)
Shiyu Cheng, Luyao Niu, Andrew Clark, Radha Poovendran
A Submodular Energy Function Approach to Controlled Islanding with Provable Stability. CDC (2023)
Luyao Niu, Abdullah Al Maruf, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran
POSTER: A Common Framework for Resilient and Safe Cyber-Physical System Design. AsiaCCS (2023)
Abdullah Al Maruf, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
Learning Dissemination Strategies for External Sources in Opinion Dynamic Models with Cognitive Biases. IJCAI (2023)
Abdullah Al Maruf, Luyao Niu, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran
A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint. ACM Trans. Cyber Phys. Syst. 7 (3) (2023)
Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik, Andrew Clark
Exact Verification of ReLU Neural Control Barrier Functions. NeurIPS (2023)