Mahyar Fazlyab

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 58

Top Topics

Reachability Analysis

Parameter Selection

Top Venues

Publications

Taha Entesari, Sina Sharifi, Mahyar Fazlyab
Compositional Curvature Bounds for Deep Neural Networks. CoRR (2024)
Shaoru Chen, Lekan P. Molu, Mahyar Fazlyab
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees. CoRR (2024)
Sina Sharifi, Mahyar Fazlyab
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis. CoRR (2024)
Jiarui Wang, Mahyar Fazlyab
Actor-Critic Physics-Informed Neural Lyapunov Control. IEEE Control. Syst. Lett. 8 (2024)
Shaoru Chen, Mahyar Fazlyab
Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation. CoRR (2024)
Jiarui Wang, Mahyar Fazlyab
Actor-Critic Physics-informed Neural Lyapunov Control. CoRR (2024)
Sina Sharifi, Taha Entesari, Bardia Safaei, Vishal M. Patel, Mahyar Fazlyab
Gradient-Regularized Out-of-Distribution Detection. CoRR (2024)
Taha Entesari, Sina Sharifi, Mahyar Fazlyab
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds. ICRA (2023)
Mahyar Fazlyab, Taha Entesari, Aniket Roy, Rama Chellappa
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization. CoRR (2023)
Taha Entesari, Mahyar Fazlyab
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes. L4DC (2023)
Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Ioannis G. Kevrekidis, Mahyar Fazlyab
Certified Invertibility in Neural Networks via Mixed-Integer Programming. CoRR (2023)
Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab
One-Shot Reachability Analysis of Neural Network Dynamical Systems. ICRA (2023)
Youbang Sun, Mahyar Fazlyab, Shahin Shahrampour
On Centralized and Distributed Mirror Descent: Convergence Analysis Using Quadratic Constraints. IEEE Trans. Autom. Control. 68 (5) (2023)
Mahyar Fazlyab, Taha Entesari, Aniket Roy, Rama Chellappa
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization. NeurIPS (2023)
Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Yannis G. Kevrekidis, Mahyar Fazlyab
Certified Invertibility in Neural Networks via Mixed-Integer Programming. L4DC (2023)
Liangzu Peng, Mahyar Fazlyab, René Vidal
Towards Understanding The Semidefinite Relaxations of Truncated Least-Squares in Robust Rotation Search. CoRR (2022)
Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab
One-Shot Reachability Analysis of Neural Network Dynamical Systems. CoRR (2022)
Liangzu Peng, Mahyar Fazlyab, René Vidal
Semidefinite Relaxations of Truncated Least-Squares in Robust Rotation Search: Tight or Not. ECCV (23) (2022)
Taha Entesari, Mahyar Fazlyab
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes. CoRR (2022)
Taha Entesari, Sina Sharifi, Mahyar Fazlyab
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds. CoRR (2022)
Mahyar Fazlyab, Manfred Morari, George J. Pappas
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming. IEEE Trans. Autom. Control. 67 (1) (2022)
Navid Hashemi, Justin Ruths, Mahyar Fazlyab
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization. L4DC (2021)
Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
Learning lyapunov functions for hybrid systems. HSCC (2021)
Priya L. Donti, Melrose Roderick, Mahyar Fazlyab, J. Zico Kolter
Enforcing robust control guarantees within neural network policies. ICLR (2021)
Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
Learning Region of Attraction for Nonlinear Systems. CDC (2021)
Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
Learning Lyapunov Functions for Hybrid Systems. CISS (2021)
Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa
Stability analysis of complementarity systems with neural network controllers. HSCC (2021)
Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
Learning Region of Attraction for Nonlinear Systems. CoRR (2021)
Mahyar Fazlyab, Manfred Morari, George J. Pappas
An Introduction to Neural Network Analysis via Semidefinite Programming. CDC (2021)
Navid Hashemi, Mahyar Fazlyab, Justin Ruths
Performance Bounds for Neural Network Estimators: Applications in Fault Detection. ACC (2021)
Shaoru Chen, Eric Wong, J. Zico Kolter, Mahyar Fazlyab
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting. CoRR (2021)
Youbang Sun, Mahyar Fazlyab, Shahin Shahrampour
On Centralized and Distributed Mirror Descent: Exponential Convergence Analysis Using Quadratic Constraints. CoRR (2021)
Navid Hashemi, Mahyar Fazlyab, Justin Ruths
Performance Bounds for Neural Network Estimators: Applications in Fault Detection. CoRR (2021)
Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa
Stability Analysis of Complementarity Systems with Neural Network Controllers. CoRR (2020)
Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas
Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming. CoRR (2020)
Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas
A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas-Rachford Splitting. IEEE Control. Syst. Lett. 4 (1) (2020)
Priya L. Donti, Melrose Roderick, Mahyar Fazlyab, J. Zico Kolter
Enforcing robust control guarantees within neural network policies. CoRR (2020)
Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas
Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming. CDC (2020)
Navid Hashemi, Justin Ruths, Mahyar Fazlyab
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization. CoRR (2020)
Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas
Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees. L4DC (2020)
Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas
Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees. CoRR (2020)
Mahyar Fazlyab, Manfred Morari, George J. Pappas
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. CDC (2019)
Mahyar Fazlyab, Manfred Morari, George J. Pappas
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming. CoRR (2019)
Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George J. Pappas
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks. NeurIPS (2019)
Santiago Paternain, Mahyar Fazlyab, Victor M. Preciado, Alejandro Ribeiro
A Prediction-Correction Primal-Dual Algorithm for Distributed Optimization. ACC (2019)
Mahyar Fazlyab, Manfred Morari, George J. Pappas
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. CoRR (2019)
Han Wang, Mahyar Fazlyab, Shaoru Chen, Victor M. Preciado
Robust Convergence Analysis of Three-Operator Splitting. Allerton (2019)
Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George J. Pappas
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks. CoRR (2019)
Jacob H. Seidman, Mahyar Fazlyab, George J. Pappas, Victor M. Preciado
A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization. CDC (2018)
Mahyar Fazlyab, Manfred Morari, Victor M. Preciado
Design of First-Order Optimization Algorithms via Sum-of-Squares Programming. CDC (2018)
Mahyar Fazlyab, Santiago Paternain, Victor M. Preciado, Alejandro Ribeiro
Prediction-Correction Interior-Point Method for Time-Varying Convex Optimization. IEEE Trans. Autom. Control. 63 (7) (2018)
Mahyar Fazlyab, Santiago Paternain, Alejandro Ribeiro, Victor M. Preciado
Distributed Smooth and Strongly Convex Optimization with Inexact Dual Methods. ACC (2018)
Mahyar Fazlyab, Alejandro Ribeiro, Manfred Morari, Victor M. Preciado
Analysis of Optimization Algorithms via Integral Quadratic Constraints: Nonstrongly Convex Problems. SIAM J. Optim. 28 (3) (2018)
Mahyar Fazlyab, Florian Dörfler, Victor M. Preciado
Optimal network design for synchronization of coupled oscillators. Autom. 84 (2017)
Mahyar Fazlyab, Alejandro Ribeiro, Manfred Morari, Victor M. Preciado
A dynamical systems perspective to convergence rate analysis of proximal algorithms. Allerton (2017)
Mahyar Fazlyab, Alec Koppel, Victor M. Preciado, Alejandro Ribeiro
A variational approach to dual methods for constrained convex optimization. ACC (2017)
Mahyar Fazlyab, Santiago Paternain, Victor M. Preciado, Alejandro Ribeiro
Interior point method for dynamic constrained optimization in continuous time. ACC (2016)
Mahyar Fazlyab, Cameron Nowzari, George J. Pappas, Alejandro Ribeiro, Victor M. Preciado
Self-triggered time-varying convex optimization. CDC (2016)
Mahyar Fazlyab, Victor M. Preciado
Robust topology identification and control of LTI networks. GlobalSIP (2014)
Mahyar Fazlyab, Victor M. Preciado
Robust Topology Identification and Control of LTI Networks. CoRR (2014)