Linda Bushnell

CoRR, 2024

2022

Covert Channel-Based Transmitter Authentication in Controller Area Networks.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2022

2021

Secure Control in Partially Observable Environments to Satisfy LTL Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Truck platoon security: State-of-the-art and road ahead.

[BibT_eX]

[DOI]

Comput. Networks, 2021

2020

A Game-Theoretic Approach for Dynamic Information Flow Tracking to Detect Multistage Advanced Persistent Threats.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

A Multi-Agent Reinforcement Learning Approach for Dynamic Information Flow Tracking Games for Advanced Persistent Threats.

[BibT_eX]

[DOI]

CoRR, 2020

Quickest Detection of Advanced Persistent Threats: A Semi-Markov Game Approach.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks.

[BibT_eX]

[DOI]

Luyao Niu

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Submodular Input Selection for Synchronization in Kuramoto Networks.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Safety-Critical Online Control with Adversarial Disturbances.

[BibT_eX]

[DOI]

Baicen Xiao

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

FRESH: Interactive Reward Shaping in High-Dimensional State Spaces using Human Feedback.

[BibT_eX]

[DOI]

Baicen Xiao

Qifan Lu

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2019

Minimal Input and Output Selection for Stability of Systems With Uncertainties.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

On the Structure and Computation of Random Walk Times in Finite Graphs.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Mitigating Vulnerabilities of Voltage-based Intrusion Detection Systems in Controller Area Networks.

[BibT_eX]

[DOI]

Sang Uk Sagong

CoRR, 2019

Authors' Reply to Comments on "Distributed Observers Design for Leader-following Control of Multi-agent Networks".

[BibT_eX]

[DOI]

Guanrong Chen

Autom., 2019

Stochastic Dynamic Information Flow Tracking Game with Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 10th International Conference, 2019

Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 10th International Conference, 2019

Detecting ADS-B Spoofing Attacks Using Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE Conference on Communications and Network Security, 2019

Potential-Based Advice for Stochastic Policy Learning.

[BibT_eX]

[DOI]

Baicen Xiao

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Dynamic Information Flow Tracking Games for Simultaneous Detection of Multiple Attackers.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Learning Equilibria in Stochastic Information Flow Tracking Games with Partial Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

A Game Theoretic Approach for Dynamic Information Flow Tracking with Conditional Branching.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Secure Control under Partial Observability with Temporal Logic Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2018

Adaptive Mitigation of Multi-Virus Propagation: A Passivity-Based Approach.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2018

Combinatorial Algorithms for Control of Biological Regulatory Networks.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2018

A Game Theoretic Approach for Dynamic Information Flow Tracking to Detect Multi-Stage Advanced Persistent Threats.

[BibT_eX]

[DOI]

CoRR, 2018

Maximizing the smallest eigenvalue of a symmetric matrix: A submodular optimization approach.

[BibT_eX]

[DOI]

Autom., 2018

Cloaking the clock: emulating clock skew in controller area networks.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Input Selection for Performance, Stabilizability, and Controllability of Structured Linear Descriptor Systems.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Toward Synchronization in Networks With Nonlinear Dynamics: A Submodular Optimization Framework.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Input Selection for Performance and Controllability of Structured Linear Descriptor Systems.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2017

A submodular optimization approach to controlled islanding under cascading failure.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Minimal input selection for robust control.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

A submodular optimization approach to leader-follower consensus in networks with negative edges.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Submodularity in Input Node Selection for Networked Systems.

[BibT_eX]

[DOI]

CoRR, 2016

Towards Scalable Voltage Control in Smart Grid: A Submodular Optimization Approach.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

MinGen: Minimal generator set selection for small signal stability in power systems: A submodular framework.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Distributed adaptive patching strategies against malware propagation: A passivity approach.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Networked Control Systems: Architecture and Stability Issues.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Systems and Control, 2015

Scalable and distributed submodular maximization with matroid constraints.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Modeling and Optimization in Mobile, 2015

Passivity-Based Distributed Strategies for Stochastic Stackelberg Security Games.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 6th International Conference, 2015

A Game-Theoretic Approach to IP Address Randomization in Decoy-Based Cyber Defense.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 6th International Conference, 2015

A host takeover game model for competing malware.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Input selection for disturbance rejection in networked cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Two-degree-of-freedom damping control of driveline oscillations caused by pedal tip-in maneuver.

[BibT_eX]

[DOI]

Truc Pham

Proceedings of the American Control Conference, 2015

Passivity framework for composition and mitigation of multi-virus propagation in networked systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

Jamming-based adversarial control of network flow allocation: A passivity approach.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

Enhancing linear system theory curriculum with an inverted pendulum robot.

[BibT_eX]

[DOI]

Brian Howard

Proceedings of the American Control Conference, 2015

2014

A Passivity Framework for Modeling and Mitigating Wormhole Attacks on Networked Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

A Supermodular Optimization Framework for Leader Selection Under Link Noise in Linear Multi-Agent Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Minimizing Convergence Error in Multi-Agent Systems Via Leader Selection: A Supermodular Optimization Approach.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Global Practical Node and Edge Synchronization in Kuramoto Networks: A Submodular Optimization Framework.

[BibT_eX]

[DOI]

CoRR, 2014

Distributed online submodular maximization in resource-constrained networks.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Modeling and Optimization in Mobile, 2014

Graph-based verification and misbehavior detection in multi-agent networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

2013

A convex optimization approach for clone detection in wireless sensor networks.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2013

Resilient Distributed Control of Multi-agent Cyber-Physical Systems.

[BibT_eX]

[DOI]

Quanyan Zhu

Tamer Basar

Proceedings of the Control of Cyber-Physical Systems, 2013

Modeling and Designing Network Defense against Control Channel Jamming Attacks: A Passivity-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Control of Cyber-Physical Systems, 2013

Joint leader and link weight selection for fast convergence in multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

Networked cyber-physical systems: Interdependence, resilience and information exchange.

[BibT_eX]

[DOI]

Quanyan Zhu

Proceedings of the 51st Annual Allerton Conference on Communication, 2013

2012

Leader selection for minimizing convergence error in leader-follower systems: A supermodular optimization approach.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Modeling and Optimization in Mobile, 2012

Leader selection games under link noise injection attacks.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on High Confidence Networked Systems (HiCoNS, 2012

Game-theoretic analysis of node capture and cloning attack with multiple attackers in wireless sensor networks.

[BibT_eX]

[DOI]

Quanyan Zhu

Tamer Basar

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

On leader selection for performance and controllability in multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Leader selection in multi-agent systems for smooth convergence via fast mixing.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A passivity-based framework for composing attacks on networked control systems.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011

Distributed clone detection in wireless sensor networks: An optimization approach.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Symposium on a World of Wireless, 2011

Node Capture Games: A Game Theoretic Approach to Modeling and Mitigating Node Capture Attacks.

[BibT_eX]

[DOI]

Tamara Bonaci

Proceedings of the Decision and Game Theory for Security - Second International Conference, 2011

2010

Modeling and LQR control of salinity in the Mekong Delta.

[BibT_eX]

[DOI]

Nghi Q. Nguyen

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Node capture attacks in wireless sensor networks: A system theoretic approach.

[BibT_eX]

[DOI]

Tamara Bonaci

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

A salinity sensor system for estuary studies.

[BibT_eX]

[DOI]

Networks Heterog. Media, 2009

Spike-Timing Error Backpropagation in Theta Neuron Networks.

[BibT_eX]

[DOI]

Thomas Voegtlin

Neural Comput., 2009

2008

Secure Operation, Control, and Maintenance of Future E-Enabled Airplanes.

[BibT_eX]

[DOI]

Krishna Sampigethaya

Proc. IEEE, 2008

Distributed observers design for leader-following control of multi-agent networks.

[BibT_eX]

[DOI]

Guanrong Chen

Autom., 2008

2007

Theta Neuron Networks: Robustness to Noise in Embedded Applications.

[BibT_eX]

[DOI]

Preethi Sundaradevan

Proceedings of the International Joint Conference on Neural Networks, 2007

2006

Fast Modifications of the SpikeProp Algorithm.

[BibT_eX]

[DOI]

Dingding Liu

Proceedings of the International Joint Conference on Neural Networks, 2006

2004

A study of group size and communication in an evolving fuzzy-controlled population.

[BibT_eX]

[DOI]

Sean Hoyt

Proceedings of the IEEE International Conference on Fuzzy Systems, 2004

Pathways to success in industry and government women in control: challenges, opportunities, and rewards.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Pathways to success in industry and government - women in control: challenges, opportunities, and rewards.

[BibT_eX]

[DOI]

Cherly Schrader

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

Control education via autonomous robotics.

[BibT_eX]

[DOI]

Andy P. Crick

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

A biologically-inspired platform for the evolution of communication in multi-agent systems.

[BibT_eX]

[DOI]

John-Michael McNew

Proceedings of the International Symposium on Intelligent Control, 2003

2002

Stability analysis of networked control systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2002

Error encoding algorithms for networked control systems.

[BibT_eX]

[DOI]

Autom., 2002

2001

Real-time mixed-traffic wireless networks.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2001

Asymptotic behavior of nonlinear networked control systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2001

Nonsmooth bifurcation control: from fractional power control to trumpet bifurcation.

[BibT_eX]

[DOI]

Hua O. Wang

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Adaptive finite-time control of nonlinear systems.

[BibT_eX]

[DOI]

Hua O. Wang

Proceedings of the American Control Conference, 2001

Fuzzy control of nonlinear time-delay systems: stability and design issues.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2001

A predictive congestion control algorithm for high speed communication networks.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2001

2000

Dynamic feedback control of bifurcations.

[BibT_eX]

[DOI]

Hua O. Wang

Dong S. Chen

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Global finite-time stabilization: from state feedback to output feedback.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Wireless local area networks in the manufacturing industry.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2000

Predictors for networked control systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2000

1998

An Equivalence Between a Control Network and a Switched Hybrid System.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1995

A multisteering trailer system: conversion into chained form using dynamic feedback.

[BibT_eX]

[DOI]

IEEE Trans. Robotics Autom., 1995

Steering Three-Input Nonholonomic Systems: The Fire Truck Example.

[BibT_eX]

[DOI]

Dawn M. Tilbury

Shankar Sastry

Int. J. Robotics Res., 1995

1990

System Integration of the VLSI-PLM Chip.

[BibT_eX]