Andrew Clark - RankMe

184 papers A* 7A 5B 6C 16Journal 90Unranked 60

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Introduction to Special Issue on Security and Privacy in Safety-Critical Cyber-Physical Systems - Part 2. ACM Trans. Cyber Phys. Syst. Ning Zhang, Bryan C. Ward, Andrew Clark, Ziming Zhao, Aiping Xiong
2025	J	`jnl`	A Semialgebraic Framework for Verification and Synthesis of Control Barrier Functions. IEEE Trans. Autom. Control. Andrew Clark
2025	A*	`conf`	ConTest: Taming the Cyber-physical Input Space in Fuzz Testing with Control Theory. CCS Jinwen Wang, Hongchao Zhang, Chuanrui Jiang, Andrew Clark, Ning Zhang
2025	A	`conf`	Integrated Real-Time Control and Scheduling for Safety Critical Cyber-Physical Systems. RTAS Marion Sudvarg, Andrew Clark, Chris Gill
2025	J	`jnl`	Introduction to the Special Issue on Security and Privacy in Safety-Critical Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. Ning Zhang, Bryan C. Ward, Andrew Clark, Ziming Zhao, Aiping Xiong
2025	J	`jnl`	Multivariate Partial Information Decomposition: Constructions, Inconsistencies, and Alternative Measures. CoRR Aobo Lyu, Andrew Clark, Netanel Raviv
2025	J	`jnl`	Safe Control for Nonlinear Systems Under Faults and Attacks via Control Barrier Functions. IEEE Trans. Autom. Control. Hongchao Zhang, Zhouchi Li, Andrew Clark
2025	J	`jnl`	Stochastic Neural Control Barrier Functions. CoRR Hongchao Zhang, Manan Tayal, Jackson Cox, Pushpak Jagtap, Shishir Kolathaya, Andrew Clark
2025	—	`conf`	Submodular Swarm Assignment for Multi-Agent Systems under Linear Temporal Logic Constraints. CDC Luyao Niu, Shiyu Cheng, Bhaskar Ramasubramanian, Linda Bushnell, Andrew Clark, Radha Poovendran
2025	J	`jnl`	Swarm-STL: A Framework for Motion Planning in Large-Scale, Multi-Swarm Systems. CoRR Shiyu Cheng, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
2025	J	`jnl`	The Whole Is Less than the Sum of Parts: Subsystem Inconsistency in Partial Information Decomposition. CoRR Aobo Lyu, Andrew Clark, Netanel Raviv
2024	C	`conf`	A Submodular Approach to Controlled Islanding for Multi-Agent Network Stability. ACC Shiyu Cheng, Andrew Clark
2024	J	`jnl`	Dynamic Information Flow Tracking for Detection of Advanced Persistent Threats: A Stochastic Game Approach. IEEE Trans. Autom. Control. Shana Moothedath, Dinuka Sahabandu, Joey Allen, Andrew Clark, Linda Bushnell, Wenke Lee, Radha Poovendran
2024	B	`conf`	Explicit Formula for Partial Information Decomposition. ISIT Aobo Lyu, Andrew Clark, Netanel Raviv
2024	J	`jnl`	Explicit Formula for Partial Information Decomposition. CoRR Aobo Lyu, Andrew Clark, Netanel Raviv
2024	A*	`conf`	Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks. ICRA Hongchao Zhang, Luyao Niu, Andrew Clark, Radha Poovendran
2024	J	`jnl`	Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks. CoRR Hongchao Zhang, Luyao Niu, Andrew Clark, Radha Poovendran
2024	—	`conf`	Learning a Formally Verified Control Barrier Function in Stochastic Environment. CDC Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya
2024	J	`jnl`	Learning a Formally Verified Control Barrier Function in Stochastic Environment. CoRR Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya
2024	J	`jnl`	Modeling and Designing Non-Pharmaceutical Interventions in Epidemics: A Submodular Approach. CoRR Shiyu Cheng, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
2024	J	`jnl`	Modeling and Designing Non-Pharmaceutical Interventions in Epidemics: A Submodular Approach. IEEE Control. Syst. Lett. Shiyu Cheng, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
2024	C	`conf`	Risk-Aware Distributed Multi-Agent Reinforcement Learning. ACC Abdullah Al Maruf, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
2024	A*	`conf`	SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions. NeurIPS Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark
2024	J	`jnl`	SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions. CoRR Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark
2024	—	`conf`	Sampling and Quantization-Aware Control Barrier Functions for Safety-Critical Control of Cyber-Physical Systems. CDC Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
2024	—	`conf`	Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions. CDC Hongkai Dai, Chuanrui Jiang, Hongchao Zhang, Andrew Clark
2024	J	`jnl`	Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions. CoRR Hongkai Dai, Chuanrui Jiang, Hongchao Zhang, Andrew Clark
2024	—	`conf`	Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems. ICAA Luyao Niu, Hongchao Zhang, Dinuka Sahabandu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
2024	J	`jnl`	Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems. CoRR Luyao Niu, Hongchao Zhang, Dinuka Sahabandu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
2023	—	`conf`	A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems. CDC Luyao Niu, Abdullah Al Maruf, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran
2023	J	`jnl`	A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems. CoRR Luyao Niu, Abdullah Al Maruf, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran
2023	J	`jnl`	A Hybrid Submodular Optimization Approach to Controlled Islanding with Post-Disturbance Stability Guarantees. CoRR Luyao Niu, Dinuka Sahabandu, Andrew Clark, Radha Poovendran
2023	—	`conf`	A Submodular Energy Function Approach to Controlled Islanding with Provable Stability. CDC Shiyu Cheng, Luyao Niu, Andrew Clark, Radha Poovendran
2023	J	`jnl`	A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint. ACM Trans. Cyber Phys. Syst. Abdullah Al Maruf, Luyao Niu, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran
2023	A	`conf`	Cognitive Bias-Aware Dissemination Strategies for Opinion Dynamics with External Information Sources. AAMAS Abdullah Al Maruf, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
2023	—	`conf`	Cooperative Perception for Safe Control of Autonomous Vehicles under LiDAR Spoofing Attacks. VehicleSec Hongchao Zhang, Zhouchi Li, Shiyu Cheng, Andrew Clark
2023	J	`jnl`	Cooperative Perception for Safe Control of Autonomous Vehicles under LiDAR Spoofing Attacks. CoRR Hongchao Zhang, Zhouchi Li, Shiyu Cheng, Andrew Clark
2023	—	`conf`	Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties. CDC Hongchao Zhang, Zhouchi Li, Hongkai Dai, Andrew Clark
2023	A*	`conf`	Exact Verification of ReLU Neural Control Barrier Functions. NeurIPS Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik, Andrew Clark
2023	J	`jnl`	Exact Verification of ReLU Neural Control Barrier Functions. CoRR Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik, Andrew Clark
2023	J	`jnl`	LQG Reference Tracking With Safety and Reachability Guarantees Under Unknown False Data Injection Attacks. IEEE Trans. Autom. Control. Zhouchi Li, Luyao Niu, Andrew Clark
2023	A*	`conf`	Learning Dissemination Strategies for External Sources in Opinion Dynamic Models with Cognitive Biases. IJCAI Abdullah Al Maruf, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
2023	—	`conf`	Necessary and Sufficient Conditions for Satisfying Linear Temporal Logic Constraints Using Control Barrier Certificates. CDC Luyao Niu, Andrew Clark, Radha Poovendran
2023	A*	`conf`	Neural Lyapunov Control for Discrete-Time Systems. NeurIPS Junlin Wu, Andrew Clark, Yiannis Kantaros, Yevgeniy Vorobeychik
2023	J	`jnl`	Neural Lyapunov Control for Discrete-Time Systems. CoRR Junlin Wu, Andrew Clark, Yiannis Kantaros, Yevgeniy Vorobeychik
2023	A	`conf`	POSTER: A Common Framework for Resilient and Safe Cyber-Physical System Design. AsiaCCS Luyao Niu, Abdullah Al Maruf, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran
2023	J	`jnl`	Risk-Aware Distributed Multi-Agent Reinforcement Learning. CoRR Abdullah Al Maruf, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
2023	J	`jnl`	Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments. Games Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran
2023	J	`jnl`	System Information Decomposition. CoRR Aobo Lyu, Bing Yuan, Ou Deng, Mingzhe Yang, Andrew Clark, Jiang Zhang
2022	—	`conf`	A Compositional Approach to Safety-Critical Resilient Control for Systems with Coupled Dynamics. CDC Abdullah Al Maruf, Luyao Niu, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran
2022	J	`jnl`	A Compositional Approach to Safety-Critical Resilient Control for Systems with Coupled Dynamics. CoRR Abdullah Al Maruf, Luyao Niu, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran
2022	—	`conf`	A Hybrid Submodular Optimization Approach to Controlled Islanding with Heterogeneous Loads. SmartGridComm Dinuka Sahabandu, Luyao Niu, Andrew Clark, Radha Poovendran
2022	C	`conf`	A Submodular Optimization Approach to Stable and Minimally Disruptive Controlled Islanding in Power Systems. ACC Dinuka Sahabandu, Luyao Niu, Andrew Clark, Radha Poovendran
2022	J	`jnl`	A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint. CoRR Abdullah Al Maruf, Luyao Niu, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran
2022	—	`conf`	Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks. CDC Luyao Niu, Zhouchi Li, Andrew Clark
2022	J	`jnl`	Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks. CoRR Luyao Niu, Zhouchi Li, Andrew Clark
2022	—	`conf`	An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee. CDC Luyao Niu, Abdullah Al Maruf, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran
2022	J	`jnl`	An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee. CoRR Luyao Niu, Abdullah Al Maruf, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran
2022	—	`conf`	Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks. CDC Hongchao Zhang, Shiyu Cheng, Luyao Niu, Andrew Clark
2022	J	`jnl`	Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks. CoRR Hongchao Zhang, Shiyu Cheng, Luyao Niu, Andrew Clark
2022	J	`jnl`	Preface to the Special Issue on Privacy and Security for Internet of Things. Int. J. Wirel. Inf. Networks Rutvij H. Jhaveri, G. Thippa Reddy, Andrew Clark
2022	J	`jnl`	Safe Control for Nonlinear Systems under Faults and Attacks via Control Barrier Functions. CoRR Hongchao Zhang, Zhouchi Li, Andrew Clark
2022	—	`conf`	Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart. ICCPS Luyao Niu, Dinuka Sahabandu, Andrew Clark, Radha Poovendran
2021	J	`jnl`	A Differentially Private Incentive Design for Traffic Offload to Public Transportation. ACM Trans. Cyber Phys. Syst. Luyao Niu, Andrew Clark
2021	—	`conf`	A Game-Theoretic Framework for Controlled Islanding in the Presence of Adversaries. GameSec Luyao Niu, Dinuka Sahabandu, Andrew Clark, Radha Poovendran
2021	J	`jnl`	A Game-Theoretic Framework for Controlled Islanding in the Presence of Adversaries. CoRR Luyao Niu, Dinuka Sahabandu, Andrew Clark, Radha Poovendran
2021	J	`jnl`	Control barrier functions for stochastic systems. Autom. Andrew Clark
2021	J	`jnl`	LQG Reference Tracking with Safety and Reachability Guarantees under Unknown False Data Injection Attacks. CoRR Zhouchi Li, Luyao Niu, Andrew Clark
2021	A*	`conf`	Model-based Reinforcement Learning with Provable Safety Guarantees via Control Barrier Functions. ICRA Hongchao Zhang, Zhouchi Li, Andrew Clark
2021	J	`jnl`	Optimal Minimum Violation Control Synthesis of Cyber-Physical Systems Under Attacks. IEEE Trans. Autom. Control. Luyao Niu, Jie Fu, Andrew Clark
2021	—	`conf`	Reinforcement Learning Beyond Expectation. CDC Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Radha Poovendran
2021	J	`jnl`	Reinforcement Learning Beyond Expectation. CoRR Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Radha Poovendran
2021	J	`jnl`	Robust Maximization of Correlated Submodular Functions Under Cardinality and Matroid Constraints. IEEE Trans. Autom. Control. Qiqiang Hou, Andrew Clark
2021	—	`conf`	Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions. CDC Luyao Niu, Hongchao Zhang, Andrew Clark
2021	J	`jnl`	Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions. CoRR Luyao Niu, Hongchao Zhang, Andrew Clark
2021	—	`conf`	Scalable Planning in Multi-Agent MDPs. CDC Dinuka Sahabandu, Luyao Niu, Andrew Clark, Radha Poovendran
2021	J	`jnl`	Scalable Planning in Multi-Agent MDPs. CoRR Dinuka Sahabandu, Luyao Niu, Andrew Clark, Radha Poovendran
2021	J	`jnl`	Secure Control in Partially Observable Environments to Satisfy LTL Specifications. IEEE Trans. Autom. Control. Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran
2021	—	`conf`	Verification and Synthesis of Control Barrier Functions. CDC Andrew Clark
2020	J	`jnl`	A Game-Theoretic Approach for Dynamic Information Flow Tracking to Detect Multistage Advanced Persistent Threats. IEEE Trans. Autom. Control. Shana Moothedath, Dinuka Sahabandu, Joey Allen, Andrew Clark, Linda Bushnell, Wenke Lee, Radha Poovendran
2020	—	`conf`	Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints. CDC Luyao Niu, Andrew Clark
2020	J	`jnl`	Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints. CoRR Luyao Niu, Andrew Clark
2020	—	`conf`	Control Barrier Functions for Safe CPS Under Sensor Faults and Attacks. CDC Andrew Clark, Zhouchi Li, Hongchao Zhang
2020	—	`conf`	Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks. ICCPS Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran
2020	J	`jnl`	Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks. CoRR Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran
2020	J	`jnl`	Dynamic Information Flow Tracking for Detection of Advanced Persistent Threats: A Stochastic Game Approach. CoRR Shana Moothedath, Dinuka Sahabandu, Joey Allen, Andrew Clark, Linda Bushnell, Wenke Lee, Radha Poovendran
2020	A	`conf`	FRESH: Interactive Reward Shaping in High-Dimensional State Spaces using Human Feedback. AAMAS Baicen Xiao, Qifan Lu, Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran
2020	J	`jnl`	FRESH: Interactive Reward Shaping in High-Dimensional State Spaces using Human Feedback. CoRR Baicen Xiao, Qifan Lu, Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran
2020	J	`jnl`	Optimal Secure Control With Linear Temporal Logic Constraints. IEEE Trans. Autom. Control. Luyao Niu, Andrew Clark
2020	—	`conf`	Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries. CDC Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran
2020	J	`jnl`	Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries. CoRR Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran
2020	J	`jnl`	Secure Control in Partially Observable Environments to Satisfy LTL Specifications. CoRR Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran
2020	J	`jnl`	Sensor Placement for Optimal Control of Infinite-Dimensional Systems. IEEE Trans. Control. Netw. Syst. Qiqiang Hou, Andrew Clark
2020	—	`conf`	Submodular Input Selection for Synchronization in Kuramoto Networks. CDC Dinuka Sahabandu, Andrew Clark, Linda Bushnell, Radha Poovendran
2020	J	`jnl`	Submodular Input Selection for Synchronization in Kuramoto Networks. CoRR Dinuka Sahabandu, Andrew Clark, Linda Bushnell, Radha Poovendran
2019	J	`jnl`	A Differentially Private Incentive Design for Traffic Offload to Public Transportation. CoRR Luyao Niu, Andrew Clark
2019	—	`conf`	A Framework for Joint Attack Detection and Control Under False Data Injection. GameSec Luyao Niu, Andrew Clark
2019	C	`conf`	A Game Theoretic Approach for Dynamic Information Flow Tracking with Conditional Branching. ACC Dinuka Sahabandu, Shana Moothedath, Linda Bushnell, Radha Poovendran, Joey Allen, Wenke Lee, Andrew Clark
2019	—	`conf`	A Submodular Optimization Approach to the Metric Traveling Salesman Problem with Neighborhoods. CDC Andrew Clark
2019	C	`conf`	Control Barrier Functions for Complete and Incomplete Information Stochastic Systems. ACC Andrew Clark
2019	J	`jnl`	Cyber-Physical Resilience: Definition and Assessment Metric. IEEE Trans. Smart Grid Andrew Clark, Saman A. Zonouz
2019	—	`conf`	Dynamic Information Flow Tracking Games for Simultaneous Detection of Multiple Attackers. CDC Dinuka Sahabandu, Shana Moothedath, Joey Allen, Andrew Clark, Linda Bushnell, Wenke Lee, Radha Poovendran
2019	C	`conf`	LQG Reference Tracking with Safety and Reachability Guarantees under False Data Injection Attacks. ACC Luyao Niu, Zhouchi Li, Andrew Clark
2019	—	`conf`	Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates. GameSec Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran
2019	J	`jnl`	Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates. CoRR Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran
2019	J	`jnl`	Minimal Input and Output Selection for Stability of Systems With Uncertainties. IEEE Trans. Autom. Control. Zhipeng Liu, Yao Long, Andrew Clark, Linda Bushnell, Daniel S. Kirschen, Radha Poovendran
2019	J	`jnl`	On the Structure and Computation of Random Walk Times in Finite Graphs. IEEE Trans. Autom. Control. Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2019	J	`jnl`	Optimal Secure Control with Linear Temporal Logic Constraints. CoRR Luyao Niu, Andrew Clark
2019	—	`conf`	Potential-Based Advice for Stochastic Policy Learning. CDC Baicen Xiao, Bhaskar Ramasubramanian, Andrew Clark, Hannaneh Hajishirzi, Linda Bushnell, Radha Poovendran
2019	J	`jnl`	Potential-Based Advice for Stochastic Policy Learning. CoRR Baicen Xiao, Bhaskar Ramasubramanian, Andrew Clark, Hannaneh Hajishirzi, Linda Bushnell, Radha Poovendran
2019	—	`conf`	Resilient Trajectory Planning in Adversarial Environments. CDC Andrew Clark, Zhouchi Li
2019	—	`conf`	Robust Maximization of Correlated Submodular Functions. CDC Qiqiang Hou, Andrew Clark
2019	C	`conf`	Secure Control under Partial Observability with Temporal Logic Constraints. ACC Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran
2019	J	`jnl`	Secure Control under Partial Observability with Temporal Logic Constraints. CoRR Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran
2019	J	`jnl`	Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks. IEEE Trans. Inf. Forensics Secur. Xuhang Ying, Sang Uk Sagong, Andrew Clark, Linda Bushnell, Radha Poovendran
2018	—	`conf`	A Differentially Private and Truthful Incentive Mechanism for Traffic Offload to Public Transportation. GameSec Luyao Niu, Andrew Clark
2018	J	`jnl`	A Game Theoretic Approach for Dynamic Information Flow Tracking to Detect Multi-Stage Advanced Persistent Threats. CoRR Shana Moothedath, Dinuka Sahabandu, Joey Allen, Andrew Clark, Linda Bushnell, Wenke Lee, Radha Poovendran
2018	J	`jnl`	Adaptive Mitigation of Multi-Virus Propagation: A Passivity-Based Approach. IEEE Trans. Control. Netw. Syst. Phillip Lee, Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2018	—	`conf`	Cloaking the clock: emulating clock skew in controller area networks. ICCPS Sang Uk Sagong, Xuhang Ying, Andrew Clark, Linda Bushnell, Radha Poovendran
2018	J	`jnl`	Combinatorial Algorithms for Control of Biological Regulatory Networks. IEEE Trans. Control. Netw. Syst. Andrew Clark, Phillip Lee, Basel Alomair, Linda Bushnell, Radha Poovendran
2018	—	`conf`	DIFT Games: Dynamic Information Flow Tracking Games for Advanced Persistent Threats. CDC Dinuka Sahabandu, Baicen Xiao, Andrew Clark, Sangho Lee, Wenke Lee, Radha Poovendran
2018	—	`conf`	Input Selection for Performance, Stabilizability, and Controllability of Structured Linear Descriptor Systems. CDC Andrew Clark, Linda Bushnell, Radha Poovendran
2018	C	`conf`	Linear Quadratic Gaussian Control Under False Data Injection Attacks. ACC Andrew Clark, Luyao Niu
2018	J	`jnl`	Maximizing the smallest eigenvalue of a symmetric matrix: A submodular optimization approach. Autom. Andrew Clark, Qiqiang Hou, Linda Bushnell, Radha Poovendran
2018	—	`conf`	Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks. CDC Luyao Niu, Jie Fu, Andrew Clark
2018	J	`jnl`	Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks. CoRR Luyao Niu, Jie Fu, Andrew Clark
2018	C	`conf`	Modeling and Mitigating the Coremelt Attack. ACC Guosong Yang, Hossein Hosseini, Dinuka Sahabandu, Andrew Clark, João P. Hespanha, Radha Poovendran
2018	—	`conf`	Multi-stage Dynamic Information Flow Tracking Game. GameSec Shana Moothedath, Dinuka Sahabandu, Andrew Clark, Sangho Lee, Wenke Lee, Radha Poovendran
2018	C	`conf`	Secure Control Under Linear Temporal Logic Constraints. ACC Luyao Niu, Andrew Clark
2018	J	`jnl`	Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks. CoRR Xuhang Ying, Sang Uk Sagong, Andrew Clark, Linda Bushnell, Radha Poovendran
2017	—	`conf`	A submodular optimization approach to controlled islanding under cascading failure. ICCPS Zhipeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel S. Kirschen, Radha Poovendran
2017	C	`conf`	A submodular optimization approach to leader-follower consensus in networks with negative edges. ACC Andrew Clark, Qiqiang Hou, Linda Bushnell, Radha Poovendran
2017	—	`conf`	Attacking Automatic Video Analysis Algorithms: A Case Study of Google Cloud Video Intelligence API. MPS@CCS Hossein Hosseini, Baicen Xiao, Andrew Clark, Radha Poovendran
2017	J	`jnl`	Attacking Automatic Video Analysis Algorithms: A Case Study of Google Cloud Video Intelligence API. CoRR Hossein Hosseini, Baicen Xiao, Andrew Clark, Radha Poovendran
2017	J	`jnl`	Cloaking the Clock: Emulating Clock Skew in Controller Area Networks. CoRR Sang Uk Sagong, Xuhang Ying, Andrew Clark, Linda Bushnell, Radha Poovendran
2017	J	`jnl`	Combinatorial Algorithms for Control of Biological Regulatory Networks. CoRR Andrew Clark, Phillip Lee, Basel Alomair, Linda Bushnell, Radha Poovendran
2017	C	`conf`	Discrete-time fractional-order multiple scenario-based sensor selection. ACC Sérgio Pequito, Andrew Clark, George J. Pappas
2017	J	`jnl`	Input Selection for Performance and Controllability of Structured Linear Descriptor Systems. SIAM J. Control. Optim. Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2017	J	`jnl`	Maximizing the Smallest Eigenvalue of a Symmetric Matrix: A Submodular Optimization Approach. CoRR Andrew Clark, Qiqiang Hou, Linda Bushnell, Radha Poovendran
2017	—	`conf`	Minimal input selection for robust control. CDC Zhipeng Liu, Yao Long, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel S. Kirschen, Radha Poovendran
2017	J	`jnl`	On the Structure and Computation of Random Walk Times in Finite Graphs. CoRR Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2017	J	`jnl`	Toward Synchronization in Networks With Nonlinear Dynamics: A Submodular Optimization Framework. IEEE Trans. Autom. Control. Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2016	J	`jnl`	Adaptive Mitigation of Multi-Virus Propagation: A Passivity-Based Approach. CoRR Phillip Lee, Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2016	—	`conf`	Distributed adaptive patching strategies against malware propagation: A passivity approach. CDC Phillip Lee, Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2016	—	`conf`	MinGen: Minimal generator set selection for small signal stability in power systems: A submodular framework. CDC Zhipeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel S. Kirschen, Radha Poovendran
2016	J	`jnl`	Submodularity in Input Node Selection for Networked Systems. CoRR Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2016	—	`conf`	Towards Scalable Voltage Control in Smart Grid: A Submodular Optimization Approach. ICCPS Zhipeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel S. Kirschen, Radha Poovendran
2015	—	`conf`	A Game-Theoretic Approach to IP Address Randomization in Decoy-Based Cyber Defense. GameSec Andrew Clark, Kun Sun, Linda Bushnell, Radha Poovendran
2015	—	`conf`	A host takeover game model for competing malware. CDC Phillip Lee, Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2015	—	`conf`	Input selection for disturbance rejection in networked cyber-physical systems. CDC Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2015	C	`conf`	Jamming-based adversarial control of network flow allocation: A passivity approach. ACC Phillip Lee, Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2015	C	`conf`	Passivity framework for composition and mitigation of multi-virus propagation in networked systems. ACC Phillip Lee, Andrew Clark, Linda Bushnell, Radha Poovendran
2015	—	`conf`	Passivity-Based Distributed Strategies for Stochastic Stackelberg Security Games. GameSec Phillip Lee, Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2015	B	`conf`	Scalable and distributed submodular maximization with matroid constraints. WiOpt Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2014	J	`jnl`	A Passivity Framework for Modeling and Mitigating Wormhole Attacks on Networked Control Systems. IEEE Trans. Autom. Control. Phillip Lee, Andrew Clark, Linda Bushnell, Radha Poovendran
2014	J	`jnl`	A Supermodular Optimization Framework for Leader Selection Under Link Noise in Linear Multi-Agent Systems. IEEE Trans. Autom. Control. Andrew Clark, Linda Bushnell, Radha Poovendran
2014	B	`conf`	Distributed online submodular maximization in resource-constrained networks. WiOpt Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2014	J	`jnl`	Global Practical Node and Edge Synchronization in Kuramoto Networks: A Submodular Optimization Framework. CoRR Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2014	J	`jnl`	Minimizing Convergence Error in Multi-Agent Systems Via Leader Selection: A Supermodular Optimization Approach. IEEE Trans. Autom. Control. Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2013	J	`jnl`	A Passivity Framework for Modeling and Mitigating Wormhole Attacks on Networked Control Systems. CoRR Phillip Lee, Andrew Clark, Linda Bushnell, Radha Poovendran
2013	C	`conf`	An impact-aware defense against Stuxnet. ACC Andrew Clark, Quanyan Zhu, Radha Poovendran, Tamer Basar
2013	—	`conf`	Deployment and exploitation of deceptive honeybots in social networks. CDC Quanyan Zhu, Andrew Clark, Radha Poovendran, Tamer Basar
2013	—	`conf`	Effectiveness of IP address randomization in decoy-based moving target defense. CDC Andrew Clark, Kun Sun, Radha Poovendran
2013	C	`conf`	Joint leader and link weight selection for fast convergence in multi-agent systems. ACC Andrew Clark, Linda Bushnell, Radha Poovendran
2013	J	`jnl`	Minimizing Convergence Error in Multi-Agent Systems via Leader Selection: A Supermodular Optimization Approach. CoRR Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2013	—	`conf`	Modeling and Designing Network Defense against Control Channel Jamming Attacks: A Passivity-Based Approach. CPSW@CISS Phillip Lee, Andrew Clark, Linda Bushnell, Radha Poovendran
2013	J	`jnl`	Toward a Statistical Framework for Source Anonymity in Sensor Networks. IEEE Trans. Mob. Comput. Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran
2013	J	`jnl`	Using Social Information for Flow Allocation in MANETs. CoRR Andrew Clark, Amit Pande, Kannan Govindan, Radha Poovendran, Prasant Mohapatra
2012	J	`jnl`	A Supermodular Optimization Framework for Leader Selection under Link Noise in Linear Multi-Agent Systems CoRR Andrew Clark, Linda Bushnell, Radha Poovendran
2012	—	`conf`	A passivity-based framework for composing attacks on networked control systems. Allerton Conference Andrew Clark, Linda Bushnell, Radha Poovendran
2012	—	`conf`	Deceptive Routing in Relay Networks. GameSec Andrew Clark, Quanyan Zhu, Radha Poovendran, Tamer Basar
2012	—	`conf`	Deceptive routing games. CDC Quanyan Zhu, Andrew Clark, Radha Poovendran, Tamer Basar
2012	B	`conf`	Leader selection for minimizing convergence error in leader-follower systems: A supermodular optimization approach. WiOpt Andrew Clark, Linda Bushnell, Radha Poovendran
2012	—	`conf`	Leader selection games under link noise injection attacks. HiCoNS Andrew Clark, Linda Bushnell, Radha Poovendran
2012	—	`conf`	Leader selection in multi-agent systems for smooth convergence via fast mixing. CDC Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran
2012	—	`conf`	On leader selection for performance and controllability in multi-agent systems. CDC Andrew Clark, Linda Bushnell, Radha Poovendran
2012	J	`jnl`	SODEXO: A System Framework for Deployment and Exploitation of Deceptive Honeybots in Social Networks CoRR Quanyan Zhu, Andrew Clark, Radha Poovendran, Tamer Basar
2012	J	`jnl`	Scalable RFID Systems: A Privacy-Preserving Protocol with Constant-Time Identification. IEEE Trans. Parallel Distributed Syst. Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran
2011	—	`conf`	A submodular optimization framework for leader selection in linear multi-agent systems. CDC/ECC Andrew Clark, Radha Poovendran
2011	—	`conf`	Maximizing Influence in Competitive Environments: A Game-Theoretic Approach. GameSec Andrew Clark, Radha Poovendran
2010	B	`conf`	A Metric for Quantifying Key Exposure Vulnerability in Wireless Sensor Networks. WCNC Andrew Clark, Radha Poovendran
2010	A	`conf`	Scalable RFID systems: a privacy-preserving protocol with constant-time identification. DSN Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran
2010	B	`conf`	Statistical Framework for Source Anonymity in Sensor Networks. GLOBECOM Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran
2010	J	`jnl`	The power of primes: security of authentication based on a universal hash-function family. J. Math. Cryptol. Basel Alomair, Andrew Clark, Radha Poovendran