default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrew Clark 0001
Person information
- affiliation: Washington University in St. Louis, Department of Electrical and Systems Engineering, MO, USA
Other persons with the same name
- Andrew Clark — disambiguation page
Other persons with a similar name
- Andrew C. Clark
- Andrew E. Clark
- Andrew G. Clark
- Andrew J. Clark — Information Security Institute, Queensland University of Technology (QUT), Brisbane, Queensland, Australia
- Andrew L. Clark
- Andrew M. Clark
- Andrew P. Clark
- John A. Clark
![[0000-0002-9230-9739]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-9230-9739")
(aka: John Andrew Clark) — University of Sheffield, UK (and 1 more) - John Ewer (aka: John Andrew Clark Ewer) — University of Greenwich, School of Computing and Mathematics, London, UK
- Andrew Stanford-Clark
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j29]Shiyu Cheng, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran:
Modeling and Designing Non-Pharmaceutical Interventions in Epidemics: A Submodular Approach. IEEE Control. Syst. Lett. 8: 2601-2606 (2024)- [j28]Shana Moothedath, Dinuka Sahabandu, Joey Allen, Andrew Clark, Linda Bushnell, Wenke Lee, Radha Poovendran:
Dynamic Information Flow Tracking for Detection of Advanced Persistent Threats: A Stochastic Game Approach. IEEE Trans. Autom. Control. 69(10): 6684-6699 (2024) - [c90]Shiyu Cheng, Andrew Clark:
A Submodular Approach to Controlled Islanding for Multi-Agent Network Stability. ACC 2024: 2405-2411 - [c89]Abdullah Al Maruf, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran:
Risk-Aware Distributed Multi-Agent Reinforcement Learning. ACC 2024: 4012-4019 - [c88]Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran:
Sampling and Quantization-Aware Control Barrier Functions for Safety-Critical Control of Cyber-Physical Systems. CDC 2024: 1637-1644 - [c87]Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya:
Learning a Formally Verified Control Barrier Function in Stochastic Environment. CDC 2024: 4098-4104 - [c86]Hongkai Dai, Chuanrui Jiang, Hongchao Zhang, Andrew Clark:
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions. CDC 2024: 8178-8185 - [c85]Luyao Niu, Hongchao Zhang, Dinuka Sahabandu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran:
Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems. ICAA 2024: 11-20 - [c84]Hongchao Zhang, Luyao Niu, Andrew Clark, Radha Poovendran:
Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks. ICRA 2024: 9901-9907 - [c83]Aobo Lyu, Andrew Clark, Netanel Raviv:
Explicit Formula for Partial Information Decomposition. ISIT 2024: 2329-2334 - [c82]Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark:
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions. NeurIPS 2024 - [i53]Aobo Lyu, Andrew Clark, Netanel Raviv:
Explicit Formula for Partial Information Decomposition. CoRR abs/2402.03554 (2024) - [i52]Hongchao Zhang, Luyao Niu, Andrew Clark, Radha Poovendran:
Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks. CoRR abs/2402.18677 (2024) - [i51]Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya:
Learning a Formally Verified Control Barrier Function in Stochastic Environment. CoRR abs/2403.19332 (2024) - [i50]Hongkai Dai, Chuanrui Jiang, Hongchao Zhang, Andrew Clark:
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions. CoRR abs/2406.18914 (2024) - [i49]Luyao Niu, Hongchao Zhang, Dinuka Sahabandu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran:
Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems. CoRR abs/2410.20288 (2024) - [i48]Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark:
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions. CoRR abs/2410.20326 (2024) - [i47]Shiyu Cheng, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran:
Modeling and Designing Non-Pharmaceutical Interventions in Epidemics: A Submodular Approach. CoRR abs/2411.18982 (2024) - 2023
- [j27]Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran:
Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments. Games 14(2): 30 (2023) - [j26]Zhouchi Li, Luyao Niu, Andrew Clark:
LQG Reference Tracking With Safety and Reachability Guarantees Under Unknown False Data Injection Attacks. IEEE Trans. Autom. Control. 68(2): 1245-1252 (2023) - [j25]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): 19:1-19:25 (2023) - [c81]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: 1025-1027 - [c80]Abdullah Al Maruf, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran:
Cognitive Bias-Aware Dissemination Strategies for Opinion Dynamics with External Information Sources. AAMAS 2023: 2769-2771 - [c79]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: 5384-5391 - [c78]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: 7554-7561 - [c77]Shiyu Cheng, Luyao Niu, Andrew Clark, Radha Poovendran:
A Submodular Energy Function Approach to Controlled Islanding with Provable Stability. CDC 2023: 7635-7642 - [c76]Luyao Niu, Andrew Clark, Radha Poovendran:
Necessary and Sufficient Conditions for Satisfying Linear Temporal Logic Constraints Using Control Barrier Certificates. CDC 2023: 8589-8595 - [c75]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: 3-11 - [c74]Junlin Wu, Andrew Clark, Yiannis Kantaros, Yevgeniy Vorobeychik:
Neural Lyapunov Control for Discrete-Time Systems. NeurIPS 2023 - [c73]Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik, Andrew Clark:
Exact Verification of ReLU Neural Control Barrier Functions. NeurIPS 2023 - [i46]Hongchao Zhang, Zhouchi Li, Shiyu Cheng, Andrew Clark:
Cooperative Perception for Safe Control of Autonomous Vehicles under LiDAR Spoofing Attacks. CoRR abs/2302.07341 (2023) - [i45]Luyao Niu, Dinuka Sahabandu, Andrew Clark, Radha Poovendran:
A Hybrid Submodular Optimization Approach to Controlled Islanding with Post-Disturbance Stability Guarantees. CoRR abs/2302.10308 (2023) - [i44]Abdullah Al Maruf, Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran:
Risk-Aware Distributed Multi-Agent Reinforcement Learning. CoRR abs/2304.02005 (2023) - [i43]Luyao Niu, Abdullah Al Maruf, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran:
A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems. CoRR abs/2304.02058 (2023) - [i42]Junlin Wu, Andrew Clark, Yiannis Kantaros, Yevgeniy Vorobeychik:
Neural Lyapunov Control for Discrete-Time Systems. CoRR abs/2305.06547 (2023) - [i41]Aobo Lyu, Bing Yuan, Ou Deng, Mingzhe Yang, Andrew Clark, Jiang Zhang:
System Information Decomposition. CoRR abs/2306.08288 (2023) - [i40]Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik, Andrew Clark:
Exact Verification of ReLU Neural Control Barrier Functions. CoRR abs/2310.09360 (2023) - 2022
- [j24]Rutvij H. Jhaveri, G. Thippa Reddy, Andrew Clark:
Preface to the Special Issue on Privacy and Security for Internet of Things. Int. J. Wirel. Inf. Networks 29(4): 405-406 (2022) - [c72]Dinuka Sahabandu, Luyao Niu, Andrew Clark, Radha Poovendran:
A Submodular Optimization Approach to Stable and Minimally Disruptive Controlled Islanding in Power Systems. ACC 2022: 4587-4594 - [c71]Abdullah Al Maruf, Luyao Niu, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran:
A Compositional Approach to Safety-Critical Resilient Control for Systems with Coupled Dynamics. CDC 2022: 910-917 - [c70]Luyao Niu, Abdullah Al Maruf, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran:
An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee. CDC 2022: 1533-1540 - [c69]Luyao Niu, Zhouchi Li, Andrew Clark:
Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks. CDC 2022: 1568-1575 - [c68]Hongchao Zhang, Shiyu Cheng, Luyao Niu, Andrew Clark:
Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks. CDC 2022: 2256-2263 - [c67]Luyao Niu, Dinuka Sahabandu, Andrew Clark, Radha Poovendran:
Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart. ICCPS 2022: 104-115 - [c66]Dinuka Sahabandu, Luyao Niu, Andrew Clark, Radha Poovendran:
A Hybrid Submodular Optimization Approach to Controlled Islanding with Heterogeneous Loads. SmartGridComm 2022: 252-258 - [i39]Abdullah Al Maruf, Luyao Niu, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran:
A Compositional Approach to Safety-Critical Resilient Control for Systems with Coupled Dynamics. CoRR abs/2204.00512 (2022) - [i38]Luyao Niu, Abdullah Al Maruf, Andrew Clark, J. Sukarno Mertoguno, Radha Poovendran:
An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee. CoRR abs/2204.00514 (2022) - [i37]Hongchao Zhang, Zhouchi Li, Andrew Clark:
Safe Control for Nonlinear Systems under Faults and Attacks via Control Barrier Functions. CoRR abs/2207.05146 (2022) - [i36]Hongchao Zhang, Shiyu Cheng, Luyao Niu, Andrew Clark:
Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks. CoRR abs/2208.05944 (2022) - [i35]Luyao Niu, Zhouchi Li, Andrew Clark:
Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks. CoRR abs/2208.10060 (2022) - [i34]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. CoRR abs/2208.14282 (2022) - 2021
- [j23]Andrew Clark:
Control barrier functions for stochastic systems. Autom. 130: 109688 (2021) - [j22]Luyao Niu, Jie Fu, Andrew Clark:
Optimal Minimum Violation Control Synthesis of Cyber-Physical Systems Under Attacks. IEEE Trans. Autom. Control. 66(3): 995-1008 (2021) - [j21]Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran:
Secure Control in Partially Observable Environments to Satisfy LTL Specifications. IEEE Trans. Autom. Control. 66(12): 5665-5679 (2021) - [j20]Qiqiang Hou, Andrew Clark:
Robust Maximization of Correlated Submodular Functions Under Cardinality and Matroid Constraints. IEEE Trans. Autom. Control. 66(12): 6148-6155 (2021) - [j19]Luyao Niu, Andrew Clark:
A Differentially Private Incentive Design for Traffic Offload to Public Transportation. ACM Trans. Cyber Phys. Syst. 5(2): 20:1-20:27 (2021) - [c65]Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Radha Poovendran:
Reinforcement Learning Beyond Expectation. CDC 2021: 1528-1535 - [c64]Dinuka Sahabandu, Luyao Niu, Andrew Clark, Radha Poovendran:
Scalable Planning in Multi-Agent MDPs. CDC 2021: 5932-5939 - [c63]Andrew Clark:
Verification and Synthesis of Control Barrier Functions. CDC 2021: 6105-6112 - [c62]Luyao Niu, Hongchao Zhang, Andrew Clark:
Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions. CDC 2021: 6806-6813 - [c61]Luyao Niu, Dinuka Sahabandu, Andrew Clark, Radha Poovendran:
A Game-Theoretic Framework for Controlled Islanding in the Presence of Adversaries. GameSec 2021: 231-250 - [c60]Hongchao Zhang, Zhouchi Li, Andrew Clark:
Model-based Reinforcement Learning with Provable Safety Guarantees via Control Barrier Functions. ICRA 2021: 792-798 - [i33]Zhouchi Li, Luyao Niu, Andrew Clark:
LQG Reference Tracking with Safety and Reachability Guarantees under Unknown False Data Injection Attacks. CoRR abs/2103.00387 (2021) - [i32]Dinuka Sahabandu, Luyao Niu, Andrew Clark, Radha Poovendran:
Scalable Planning in Multi-Agent MDPs. CoRR abs/2103.15894 (2021) - [i31]Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Radha Poovendran:
Reinforcement Learning Beyond Expectation. CoRR abs/2104.00540 (2021) - [i30]Luyao Niu, Dinuka Sahabandu, Andrew Clark, Radha Poovendran:
A Game-Theoretic Framework for Controlled Islanding in the Presence of Adversaries. CoRR abs/2108.01628 (2021) - [i29]Luyao Niu, Hongchao Zhang, Andrew Clark:
Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions. CoRR abs/2109.13415 (2021) - 2020
- [j18]Luyao Niu, Andrew Clark:
Optimal Secure Control With Linear Temporal Logic Constraints. IEEE Trans. Autom. Control. 65(6): 2434-2449 (2020) - [j17]Shana Moothedath, Dinuka Sahabandu, Joey Allen, Andrew Clark, Linda Bushnell, Wenke Lee, Radha Poovendran:
A Game-Theoretic Approach for Dynamic Information Flow Tracking to Detect Multistage Advanced Persistent Threats. IEEE Trans. Autom. Control. 65(12): 5248-5263 (2020) - [j16]Qiqiang Hou, Andrew Clark:
Sensor Placement for Optimal Control of Infinite-Dimensional Systems. IEEE Trans. Control. Netw. Syst. 7(1): 360-371 (2020) - [c59]Baicen Xiao, Qifan Lu, Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran:
FRESH: Interactive Reward Shaping in High-Dimensional State Spaces using Human Feedback. AAMAS 2020: 1512-1520 - [c58]Andrew Clark, Zhouchi Li, Hongchao Zhang:
Control Barrier Functions for Safe CPS Under Sensor Faults and Attacks. CDC 2020: 796-803 - [c57]Luyao Niu, Andrew Clark:
Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints. CDC 2020: 816-823 - [c56]Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran:
Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries. CDC 2020: 3785-3792 - [c55]Dinuka Sahabandu, Andrew Clark, Linda Bushnell, Radha Poovendran:
Submodular Input Selection for Synchronization in Kuramoto Networks. CDC 2020: 5840-5847 - [c54]Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran:
Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks. ICCPS 2020: 162-173 - [i28]Baicen Xiao, Qifan Lu, Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran:
FRESH: Interactive Reward Shaping in High-Dimensional State Spaces using Human Feedback. CoRR abs/2001.06781 (2020) - [i27]Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran:
Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks. CoRR abs/2001.09978 (2020) - [i26]Dinuka Sahabandu, Andrew Clark, Linda Bushnell, Radha Poovendran:
Submodular Input Selection for Synchronization in Kuramoto Networks. CoRR abs/2003.12733 (2020) - [i25]Shana Moothedath, Dinuka Sahabandu, Joey Allen, Andrew Clark, Linda Bushnell, Wenke Lee, Radha Poovendran:
Dynamic Information Flow Tracking for Detection of Advanced Persistent Threats: A Stochastic Game Approach. CoRR abs/2006.12327 (2020) - [i24]Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran:
Secure Control in Partially Observable Environments to Satisfy LTL Specifications. CoRR abs/2007.12501 (2020) - [i23]Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran:
Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries. CoRR abs/2007.13272 (2020) - [i22]Luyao Niu, Andrew Clark:
Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints. CoRR abs/2007.13925 (2020)
2010 – 2019
- 2019
- [j15]Zhipeng Liu, Yao Long, Andrew Clark, Linda Bushnell, Daniel S. Kirschen, Radha Poovendran:
Minimal Input and Output Selection for Stability of Systems With Uncertainties. IEEE Trans. Autom. Control. 64(4): 1456-1471 (2019) - [j14]Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
On the Structure and Computation of Random Walk Times in Finite Graphs. IEEE Trans. Autom. Control. 64(11): 4470-4483 (2019) - [j13]Xuhang Ying, Sang Uk Sagong, Andrew Clark, Linda Bushnell, Radha Poovendran:
Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks. IEEE Trans. Inf. Forensics Secur. 14(9): 2300-2314 (2019) - [j12]Andrew Clark, Saman A. Zonouz:
Cyber-Physical Resilience: Definition and Assessment Metric. IEEE Trans. Smart Grid 10(2): 1671-1684 (2019) - [c53]Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran:
Secure Control under Partial Observability with Temporal Logic Constraints. ACC 2019: 1181-1188 - [c52]Dinuka Sahabandu, Shana Moothedath, Linda Bushnell, Radha Poovendran, Joey Allen, Wenke Lee, Andrew Clark:
A Game Theoretic Approach for Dynamic Information Flow Tracking with Conditional Branching. ACC 2019: 2289-2296 - [c51]Andrew Clark:
Control Barrier Functions for Complete and Incomplete Information Stochastic Systems. ACC 2019: 2928-2935 - [c50]Luyao Niu, Zhouchi Li, Andrew Clark:
LQG Reference Tracking with Safety and Reachability Guarantees under False Data Injection Attacks. ACC 2019: 2950-2957 - [c49]Dinuka Sahabandu, Shana Moothedath, Joey Allen, Andrew Clark, Linda Bushnell, Wenke Lee, Radha Poovendran:
Dynamic Information Flow Tracking Games for Simultaneous Detection of Multiple Attackers. CDC 2019: 567-574 - [c48]Baicen Xiao, Bhaskar Ramasubramanian, Andrew Clark, Hannaneh Hajishirzi, Linda Bushnell, Radha Poovendran:
Potential-Based Advice for Stochastic Policy Learning. CDC 2019: 1842-1849 - [c47]Andrew Clark:
A Submodular Optimization Approach to the Metric Traveling Salesman Problem with Neighborhoods. CDC 2019: 3383-3390 - [c46]Andrew Clark, Zhouchi Li:
Resilient Trajectory Planning in Adversarial Environments. CDC 2019: 3839-3846 - [c45]Qiqiang Hou, Andrew Clark:
Robust Maximization of Correlated Submodular Functions. CDC 2019: 7177-7183 - [c44]Luyao Niu, Andrew Clark:
A Framework for Joint Attack Detection and Control Under False Data Injection. GameSec 2019: 352-363 - [c43]Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran:
Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates. GameSec 2019: 385-403 - [i21]Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran:
Secure Control under Partial Observability with Temporal Logic Constraints. CoRR abs/1903.06873 (2019) - [i20]Luyao Niu, Andrew Clark:
A Differentially Private Incentive Design for Traffic Offload to Public Transportation. CoRR abs/1906.01683 (2019) - [i19]Luyao Niu, Andrew Clark:
Optimal Secure Control with Linear Temporal Logic Constraints. CoRR abs/1907.07556 (2019) - [i18]Baicen Xiao, Bhaskar Ramasubramanian, Andrew Clark, Hannaneh Hajishirzi, Linda Bushnell, Radha Poovendran:
Potential-Based Advice for Stochastic Policy Learning. CoRR abs/1907.08823 (2019) - [i17]Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark, Linda Bushnell, Radha Poovendran:
Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates. CoRR abs/1910.12282 (2019) - 2018
- [j11]Andrew Clark, Qiqiang Hou, Linda Bushnell, Radha Poovendran:
Maximizing the smallest eigenvalue of a symmetric matrix: A submodular optimization approach. Autom. 95: 446-454 (2018) - [j10]Phillip Lee, Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Adaptive Mitigation of Multi-Virus Propagation: A Passivity-Based Approach. IEEE Trans. Control. Netw. Syst. 5(1): 583-596 (2018) - [j9]Andrew Clark, Phillip Lee, Basel Alomair, Linda Bushnell, Radha Poovendran:
Combinatorial Algorithms for Control of Biological Regulatory Networks. IEEE Trans. Control. Netw. Syst. 5(2): 748-759 (2018) - [c42]Guosong Yang, Hossein Hosseini, Dinuka Sahabandu, Andrew Clark, João P. Hespanha, Radha Poovendran:
Modeling and Mitigating the Coremelt Attack. ACC 2018: 3410-3416 - [c41]Luyao Niu, Andrew Clark:
Secure Control Under Linear Temporal Logic Constraints. ACC 2018: 3544-3551 - [c40]Andrew Clark, Luyao Niu:
Linear Quadratic Gaussian Control Under False Data Injection Attacks. ACC 2018: 5737-5743 - [c39]Luyao Niu, Jie Fu, Andrew Clark:
Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks. CDC 2018: 262-269 - [c38]Dinuka Sahabandu, Baicen Xiao, Andrew Clark, Sangho Lee, Wenke Lee, Radha Poovendran:
DIFT Games: Dynamic Information Flow Tracking Games for Advanced Persistent Threats. CDC 2018: 1136-1143 - [c37]Andrew Clark, Linda Bushnell, Radha Poovendran:
Input Selection for Performance, Stabilizability, and Controllability of Structured Linear Descriptor Systems. CDC 2018: 6918-6925 - [c36]Shana Moothedath, Dinuka Sahabandu, Andrew Clark, Sangho Lee, Wenke Lee, Radha Poovendran:
Multi-stage Dynamic Information Flow Tracking Game. GameSec 2018: 80-101 - [c35]Luyao Niu, Andrew Clark:
A Differentially Private and Truthful Incentive Mechanism for Traffic Offload to Public Transportation. GameSec 2018: 366-385 - [c34]Sang Uk Sagong, Xuhang Ying, Andrew Clark, Linda Bushnell, Radha Poovendran:
Cloaking the clock: emulating clock skew in controller area networks. ICCPS 2018: 32-42 - [i16]Xuhang Ying, Sang Uk Sagong, Andrew Clark, Linda Bushnell, Radha Poovendran:
Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks. CoRR abs/1807.09432 (2018) - [i15]Luyao Niu, Jie Fu, Andrew Clark:
Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks. CoRR abs/1809.00975 (2018) - [i14]Shana Moothedath, Dinuka Sahabandu, Joey Allen, Andrew Clark, Linda Bushnell, Wenke Lee, Radha Poovendran:
A Game Theoretic Approach for Dynamic Information Flow Tracking to Detect Multi-Stage Advanced Persistent Threats. CoRR abs/1811.05622 (2018) - 2017
- [j8]Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Input Selection for Performance and Controllability of Structured Linear Descriptor Systems. SIAM J. Control. Optim. 55(1): 457-485 (2017) - [j7]Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Toward Synchronization in Networks With Nonlinear Dynamics: A Submodular Optimization Framework. IEEE Trans. Autom. Control. 62(10): 5055-5068 (2017) - [c33]Andrew Clark, Qiqiang Hou, Linda Bushnell, Radha Poovendran:
A submodular optimization approach to leader-follower consensus in networks with negative edges. ACC 2017: 1346-1352 - [c32]Sérgio Pequito, Andrew Clark, George J. Pappas:
Discrete-time fractional-order multiple scenario-based sensor selection. ACC 2017: 5488-5493 - [c31]Hossein Hosseini, Baicen Xiao, Andrew Clark, Radha Poovendran:
Attacking Automatic Video Analysis Algorithms: A Case Study of Google Cloud Video Intelligence API. MPS@CCS 2017: 21-32 - [c30]Zhipeng Liu, Yao Long, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel S. Kirschen, Radha Poovendran:
Minimal input selection for robust control. CDC 2017: 2659-2966 - [c29]Zhipeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel S. Kirschen, Radha Poovendran:
A submodular optimization approach to controlled islanding under cascading failure. ICCPS 2017: 187-196 - [i13]Andrew Clark, Phillip Lee, Basel Alomair, Linda Bushnell, Radha Poovendran:
Combinatorial Algorithms for Control of Biological Regulatory Networks. CoRR abs/1701.05273 (2017) - [i12]Hossein Hosseini, Baicen Xiao, Andrew Clark, Radha Poovendran:
Attacking Automatic Video Analysis Algorithms: A Case Study of Google Cloud Video Intelligence API. CoRR abs/1708.04301 (2017) - [i11]Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
On the Structure and Computation of Random Walk Times in Finite Graphs. CoRR abs/1709.01633 (2017) - [i10]Andrew Clark, Qiqiang Hou, Linda Bushnell, Radha Poovendran:
Maximizing the Smallest Eigenvalue of a Symmetric Matrix: A Submodular Optimization Approach. CoRR abs/1709.02212 (2017) - [i9]Sang Uk Sagong, Xuhang Ying, Andrew Clark, Linda Bushnell, Radha Poovendran:
Cloaking the Clock: Emulating Clock Skew in Controller Area Networks. CoRR abs/1710.02692 (2017) - 2016
- [c28]Phillip Lee, Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Distributed adaptive patching strategies against malware propagation: A passivity approach. CDC 2016: 2587-2594 - [c27]Zhipeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel S. Kirschen, Radha Poovendran:
MinGen: Minimal generator set selection for small signal stability in power systems: A submodular framework. CDC 2016: 4122-4129 - [c26]Zhipeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel S. Kirschen, Radha Poovendran:
Towards Scalable Voltage Control in Smart Grid: A Submodular Optimization Approach. ICCPS 2016: 20:1-20:10 - [i8]Phillip Lee, Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Adaptive Mitigation of Multi-Virus Propagation: A Passivity-Based Approach. CoRR abs/1603.04374 (2016) - [i7]Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Submodularity in Input Node Selection for Networked Systems. CoRR abs/1605.09465 (2016) - 2015
- [c25]Phillip Lee, Andrew Clark, Linda Bushnell, Radha Poovendran:
Passivity framework for composition and mitigation of multi-virus propagation in networked systems. ACC 2015: 2453-2460 - [c24]Phillip Lee, Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Jamming-based adversarial control of network flow allocation: A passivity approach. ACC 2015: 4710-4716 - [c23]Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Input selection for disturbance rejection in networked cyber-physical systems. CDC 2015: 954-961 - [c22]Phillip Lee, Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
A host takeover game model for competing malware. CDC 2015: 4523-4530 - [c21]Andrew Clark, Kun Sun, Linda Bushnell, Radha Poovendran:
A Game-Theoretic Approach to IP Address Randomization in Decoy-Based Cyber Defense. GameSec 2015: 3-21 - [c20]Phillip Lee, Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Passivity-Based Distributed Strategies for Stochastic Stackelberg Security Games. GameSec 2015: 113-129 - [c19]Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Scalable and distributed submodular maximization with matroid constraints. WiOpt 2015: 435-442 - 2014
- [j6]Andrew Clark, Linda Bushnell, Radha Poovendran:
A Supermodular Optimization Framework for Leader Selection Under Link Noise in Linear Multi-Agent Systems. IEEE Trans. Autom. Control. 59(2): 283-296 (2014) - [j5]Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Minimizing Convergence Error in Multi-Agent Systems Via Leader Selection: A Supermodular Optimization Approach. IEEE Trans. Autom. Control. 59(6): 1480-1494 (2014) - [j4]Phillip Lee, Andrew Clark, Linda Bushnell, Radha Poovendran:
A Passivity Framework for Modeling and Mitigating Wormhole Attacks on Networked Control Systems. IEEE Trans. Autom. Control. 59(12): 3224-3237 (2014) - [c18]Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Distributed online submodular maximization in resource-constrained networks. WiOpt 2014: 397-404 - [i6]Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Global Practical Node and Edge Synchronization in Kuramoto Networks: A Submodular Optimization Framework. CoRR abs/1411.5797 (2014) - 2013
- [j3]Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran:
Toward a Statistical Framework for Source Anonymity in Sensor Networks. IEEE Trans. Mob. Comput. 12(2): 248-260 (2013) - [c17]Andrew Clark, Linda Bushnell, Radha Poovendran:
Joint leader and link weight selection for fast convergence in multi-agent systems. ACC 2013: 3814-3820 - [c16]Andrew Clark, Quanyan Zhu, Radha Poovendran, Tamer Basar:
An impact-aware defense against Stuxnet. ACC 2013: 4140-4147 - [c15]Quanyan Zhu, Andrew Clark, Radha Poovendran, Tamer Basar:
Deployment and exploitation of deceptive honeybots in social networks. CDC 2013: 212-219 - [c14]Andrew Clark, Kun Sun, Radha Poovendran:
Effectiveness of IP address randomization in decoy-based moving target defense. CDC 2013: 678-685 - [c13]Phillip Lee, Andrew Clark, Linda Bushnell, Radha Poovendran:
Modeling and Designing Network Defense against Control Channel Jamming Attacks: A Passivity-Based Approach. CPSW@CISS 2013: 161-175 - [i5]Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Minimizing Convergence Error in Multi-Agent Systems via Leader Selection: A Supermodular Optimization Approach. CoRR abs/1306.4949 (2013) - [i4]Andrew Clark, Amit Pande, Kannan Govindan, Radha Poovendran, Prasant Mohapatra:
Using Social Information for Flow Allocation in MANETs. CoRR abs/1311.3226 (2013) - [i3]Phillip Lee, Andrew Clark, Linda Bushnell, Radha Poovendran:
A Passivity Framework for Modeling and Mitigating Wormhole Attacks on Networked Control Systems. CoRR abs/1312.1397 (2013) - 2012
- [j2]Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran:
Scalable RFID Systems: A Privacy-Preserving Protocol with Constant-Time Identification. IEEE Trans. Parallel Distributed Syst. 23(8): 1536-1550 (2012) - [c12]Andrew Clark, Linda Bushnell, Radha Poovendran:
A passivity-based framework for composing attacks on networked control systems. Allerton Conference 2012: 1814-1821 - [c11]Andrew Clark, Linda Bushnell, Radha Poovendran:
On leader selection for performance and controllability in multi-agent systems. CDC 2012: 86-93 - [c10]Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Leader selection in multi-agent systems for smooth convergence via fast mixing. CDC 2012: 818-824 - [c9]Quanyan Zhu, Andrew Clark, Radha Poovendran, Tamer Basar:
Deceptive routing games. CDC 2012: 2704-2711 - [c8]Andrew Clark, Quanyan Zhu, Radha Poovendran, Tamer Basar:
Deceptive Routing in Relay Networks. GameSec 2012: 171-185 - [c7]Andrew Clark, Linda Bushnell, Radha Poovendran:
Leader selection games under link noise injection attacks. HiCoNS 2012: 31-40 - [c6]Andrew Clark, Linda Bushnell, Radha Poovendran:
Leader selection for minimizing convergence error in leader-follower systems: A supermodular optimization approach. WiOpt 2012: 111-115 - [i2]Quanyan Zhu, Andrew Clark, Radha Poovendran, Tamer Basar:
SODEXO: A System Framework for Deployment and Exploitation of Deceptive Honeybots in Social Networks. CoRR abs/1207.5844 (2012) - [i1]Andrew Clark, Linda Bushnell, Radha Poovendran:
A Supermodular Optimization Framework for Leader Selection under Link Noise in Linear Multi-Agent Systems. CoRR abs/1208.0946 (2012) - 2011
- [c5]Andrew Clark, Radha Poovendran:
A submodular optimization framework for leader selection in linear multi-agent systems. CDC/ECC 2011: 3614-3621 - [c4]Andrew Clark, Radha Poovendran:
Maximizing Influence in Competitive Environments: A Game-Theoretic Approach. GameSec 2011: 151-162 - 2010
- [j1]Basel Alomair, Andrew Clark, Radha Poovendran:
The power of primes: security of authentication based on a universal hash-function family. J. Math. Cryptol. 4(2): 121-148 (2010) - [c3]Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran:
Scalable RFID systems: a privacy-preserving protocol with constant-time identification. DSN 2010: 1-10 - [c2]Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran:
Statistical Framework for Source Anonymity in Sensor Networks. GLOBECOM 2010: 1-6 - [c1]Andrew Clark, Radha Poovendran:
A Metric for Quantifying Key Exposure Vulnerability in Wireless Sensor Networks. WCNC 2010: 1-6
Coauthor Index
[j28] [j21] [j17] [c59] [c56] [c55] [c54] [i28] [i27] [i26] [i25] [i24] [i23] [j15] [j14] [j13] [c53] [c52] [c49] [c48] [c43] [i21] [i18] [i17] [j11] [j10] [j9] [c37] [c34] [i16] [i14] [j8] [j7] [c33] [c30] [c29] [i13] [i11] [i10] [i9] [c28] [c27] [c26] [i8] [i7] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [j6] [j5] [j4] [c18] [i6] [c17] [c13] [i5] [i3] [c12] [c11] [c10] [c7] [c6] [i1]
[j29] [c89] [c88] [c85] [c84] [i52] [i49] [i47] [j27] [j26] [j25] [c81] [c80] [c78] [c77] [c76] [c75] [i45] [i44] [i43] [c72] [c71] [c70] [c69] [c68] [c67] [c66] [i39] [i38] [i36] [i35] [i34] [j22] [j21] [j19] [c65] [c64] [c62] [c61] [i33] [i32] [i31] [i30] [i29] [j18] [c57] [c56] [c54] [i27] [i24] [i23] [i22] [c50] [c44] [c43] [i20] [i19] [i17] [c41] [c40] [c39] [c35] [i15]
[j29] [j28] [c89] [c88] [c85] [c84] [i52] [i49] [i47] [j27] [j25] [c81] [c80] [c78] [c77] [c76] [c75] [i45] [i44] [i43] [c72] [c71] [c70] [c67] [c66] [i39] [i38] [i34] [j21] [c65] [c64] [c61] [i32] [i31] [i30] [j17] [c59] [c56] [c55] [c54] [i28] [i27] [i26] [i25] [i24] [i23] [j15] [j14] [j13] [c53] [c52] [c49] [c48] [c43] [i21] [i18] [i17] [j11] [j10] [j9] [c42] [c38] [c37] [c36] [c34] [i16] [i14] [j8] [j7] [c33] [c31] [c30] [c29] [i13] [i12] [i11] [i10] [i9] [c28] [c27] [c26] [i8] [i7] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [j6] [j5] [j4] [c18] [i6] [j3] [c17] [c16] [c15] [c14] [c13] [i5] [i4] [i3] [j2] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [i2] [i1] [c5] [c4] [j1] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-05 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
