Probability bounds for false alarm analysis of fault detection systems. - Bin Hu 002; Peter J. Seiler (Allerton, 2013)

Worst-case false alarm analysis of fault detection systems. - Bin Hu 002; Peter J. Seiler (ACC, 2014)

A probabilistic method for certification of analytically redundant systems. - Bin Hu 002; Peter J. Seiler (Int. J. Appl. Math. Comput. Sci., 2015)

Pivotal decomposition for reliability analysis of fault tolerant control systems on unmanned aerial vehicles. - Bin Hu 002; Peter J. Seiler (Reliab. Eng. Syst. Saf., 2015)

Exponential Decay Rate Conditions for Uncertain Linear Systems Using Integral Quadratic Constraints. - Bin Hu 002; Peter J. Seiler (IEEE Trans. Autom. Control., 2016)

Robust convergence analysis of distributed optimization algorithms. - Akhil Sundararajan; Bin Hu 002; Laurent Lessard (Allerton, 2017)

Control interpretations for first-order optimization methods. - Bin Hu 002; Laurent Lessard (ACC, 2017)

A Unified Analysis of Stochastic Optimization Methods Using Jump System Theory and Quadratic Constraints. - Bin Hu 002; Peter Seiler 001; Anders Rantzer (COLT, 2017)

Dissipativity Theory for Nesterov's Accelerated Method. - Bin Hu 002; Laurent Lessard (ICML, 2017)

A Robust Accelerated Optimization Algorithm for Strongly Convex Functions. - Saman Cyrus; Bin Hu 002; Bryan Van Scoy; Laurent Lessard (ACC, 2018)

Dissipativity Theory for Accelerating Stochastic Variance Reduction: A Unified Analysis of SVRG and Katyusha Using Semidefinite Programs. - Bin Hu 002; Stephen J. Wright 001; Laurent Lessard (ICML, 2018)

Convergence Guarantees of Policy Optimization Methods for Markovian Jump Linear Systems. - Joao Paulo Jansch-Porto; Bin Hu 002; Geir E. Dullerud (ACC, 2020)

Policy Learning of MDPs with Mixed Continuous/Discrete Variables: A Case Study on Model-Free Control of Markovian Jump Systems. - Joao Paulo Jansch-Porto; Bin Hu 002; Geir E. Dullerud (L4DC, 2020)

On the Stability and Convergence of Robust Adversarial Reinforcement Learning: A Case Study on Linear Quadratic Systems. - Kaiqing Zhang; Bin Hu 002; Tamer Basar (NeurIPS, 2020)

Analytical convergence regions of accelerated gradient descent in nonconvex optimization under Regularity Condition. - Huaqing Xiong; Yuejie Chi; Bin Hu 002; Wei Zhang 013 (Autom., 2020)

Policy Optimization for Markovian Jump Linear Quadratic Control: Gradient-Based Methods and Global Convergence. - Joao Paulo Jansch-Porto; Bin Hu 002; Geir E. Dullerud (CoRR, 2020)

On Imitation Learning of Linear Control Policies: Enforcing Stability and Robustness Constraints via LMI Conditions. - Aaron J. Havens; Bin Hu 002 (ACC, 2021)

Derivative-Free Policy Optimization for Linear Risk-Sensitive and Robust Control Design: Implicit Regularization and Sample Complexity. - Kaiqing Zhang; Xiangyuan Zhang; Bin Hu 002; Tamer Basar (NeurIPS, 2021)

Derivative-Free Policy Optimization for Risk-Sensitive and Robust Control Design: Implicit Regularization and Sample Complexity. - Kaiqing Zhang; Xiangyuan Zhang; Bin Hu 002; Tamer Basar (CoRR, 2021)

Analysis of biased stochastic gradient descent using sequential semidefinite programs. - Bin Hu 002; Peter Seiler 001; Laurent Lessard (Math. Program., 2021)

Policy Optimization for ℋ2 Linear Control with ℋ∞ Robustness Guarantee: Implicit Regularization and Global Convergence. - Kaiqing Zhang; Bin Hu 002; Tamer Basar (SIAM J. Control. Optim., 2021)

Convex Programs and Lyapunov Functions for Reinforcement Learning: A Unified Perspective on the Analysis of Value-Based Methods. - Xingang Guo; Bin Hu 002 (ACC, 2022)

Model-Free μ Synthesis via Adversarial Reinforcement Learning. - Darioush Keivan; Aaron J. Havens; Peter Seiler 001; Geir E. Dullerud; Bin Hu 002 (ACC, 2022)

Global Convergence of Direct Policy Search for State-Feedback $ mathcal{H}_ infty$ Robust Control: A Revisit of Nonsmooth Synthesis with Goldstein Subdifferential. - Xingang Guo; Bin Hu 002 (NeurIPS, 2022)

Revisiting PGD Attacks for Stability Analysis of Large-Scale Nonlinear Systems and Perception-Based Control. - Aaron J. Havens; Darioush Keivan; Peter Seiler 001; Geir E. Dullerud; Bin Hu 002 (CoRR, 2022)

Exact Formulas for Finite-Time Estimation Errors of Decentralized Temporal Difference Learning with Linear Function Approximation. - Xingang Guo; Bin Hu 002 (CoRR, 2022)

Towards a Theoretical Foundation of Policy Optimization for Learning Control Policies. - Bin Hu 002; Kaiqing Zhang; Na Li 002; Mehran Mesbahi; Maryam Fazel; Tamer Basar (CoRR, 2022)

Global Convergence of Direct Policy Search for State-Feedback H∞ Robust Control: A Revisit of Nonsmooth Synthesis with Goldstein Subdifferential. - Xingang Guo; Bin Hu 002 (CoRR, 2022)

Learning the Kalman Filter with Fine-Grained Sample Complexity. - Xiangyuan Zhang; Bin Hu 002; Tamer Basar (ACC, 2023)

A Unified Algebraic Perspective on Lipschitz Neural Networks. - Alexandre Araujo; Aaron J. Havens; Blaise Delattre; Alexandre Allauzen; Bin Hu 002 (ICLR, 2023)

Complexity of Derivative-Free Policy Optimization for Structured H∞ Control. - Xingang Guo; Darioush Keivan; Geir E. Dullerud; Peter J. Seiler; Bin Hu 002 (NeurIPS, 2023)

Exploiting Connections between Lipschitz Structures for Certifiably Robust Deep Equilibrium Models. - Aaron J. Havens; Alexandre Araujo; Siddharth Garg; Farshad Khorrami; Bin Hu 002 (NeurIPS, 2023)

Diffusion-Based Adversarial Sample Generation for Improved Stealthiness and Controllability. - Haotian Xue 002; Alexandre Araujo; Bin Hu 002; Yongxin Chen (NeurIPS, 2023)

Revisiting PGD Attacks for Stability Analysis of High-Dimensional Nonlinear Systems and Perception-Based Control. - Aaron J. Havens; Darioush Keivan; Peter J. Seiler; Geir E. Dullerud; Bin Hu 002 (IEEE Control. Syst. Lett., 2023)

Connectivity of the Feasible and Sublevel Sets of Dynamic Output Feedback Control With Robustness Constraints. - Bin Hu 002; Yang Zheng 001 (IEEE Control. Syst. Lett., 2023)

Policy Optimization for Markovian Jump Linear Quadratic Control: Gradient Method and Global Convergence. - Joao Paulo Jansch-Porto; Bin Hu 002; Geir E. Dullerud (IEEE Trans. Autom. Control., 2023)

Toward a Theoretical Foundation of Policy Optimization for Learning Control Policies. - Bin Hu 002; Kaiqing Zhang; Na Li 002; Mehran Mesbahi; Maryam Fazel; Tamer Basar (Annu. Rev. Control. Robotics Auton. Syst., 2023)

A Case Study on the Convergence of Direct Policy Search for Linear Quadratic Gaussian Control. - Darioush Keivan; Peter J. Seiler; Geir E. Dullerud; Bin Hu 002 (ACC, 2024)

Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks. - Sahel Vahedi Noori; Bin Hu 002; Geir E. Dullerud; Peter J. Seiler (CDC, 2024)

Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations. - Patricia Pauli; Aaron J. Havens; Alexandre Araujo; Siddharth Garg; Farshad Khorrami; Frank Allgöwer; Bin Hu 002 (ICLR, 2024)

On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation of Neural Networks. - Zi Wang; Bin Hu 002; Aaron J. Havens; Alexandre Araujo; Yang Zheng 001; Yudong Chen; Somesh Jha (ICLR, 2024)

COLD-Attack: Jailbreaking LLMs with Stealthiness and Controllability. - Xingang Guo; Fangxu Yu; Huan Zhang; Lianhui Qin; Bin Hu 002 (ICML, 2024)

Fine-grained Local Sensitivity Analysis of Standard Dot-Product Self-Attention. - Aaron J. Havens; Alexandre Araujo; Huan Zhang; Bin Hu 002 (ICML, 2024)

Model-Free μ-Synthesis: A Nonsmooth Optimization Perspective. - Darioush Keivan; Xingang Guo; Peter J. Seiler; Geir E. Dullerud; Bin Hu 002 (CoRR, 2024)

Capabilities of Large Language Models in Control Engineering: A Benchmark Study on GPT-4, Claude 3 Opus, and Gemini 1.0 Ultra. - Darioush Kevian; Usman Syed; Xingang Guo; Aaron J. Havens; Geir E. Dullerud; Peter J. Seiler; Lianhui Qin; Bin Hu 002 (CoRR, 2024)

A Complete Set of Quadratic Constraints For Repeated ReLU. - Sahel Vahedi Noori; Bin Hu 002; Geir E. Dullerud; Peter Seiler 001 (CoRR, 2024)

Benchmarking the Capabilities of Large Language Models in Transportation System Engineering: Accuracy, Consistency, and Reasoning Behaviors. - Usman Syed; Ethan Light; Xingang Guo; Huan Zhang; Lianhui Qin; Yanfeng Ouyang; Bin Hu 002 (CoRR, 2024)

ControlAgent: Automating Control System Design via Novel Integration of LLM Agents and Domain Expertise. - Xingang Guo; Darioush Keivan; Usman Syed; Lianhui Qin; Huan Zhang; Geir E. Dullerud; Peter J. Seiler; Bin Hu 002 (CoRR, 2024)

Online Nonstochastic Control Versus Retrospective Cost Adaptive Control. - Usman Syed; Yingying Li; Bin Hu 002 (IEEE Control. Syst. Lett., 2024)

Improved Scalable Lipschitz Bounds for Deep Neural Networks. - Usman Syed; Bin Hu 002 (CoRR, 2025)