Mahyar Fazlyab

According to our database, Mahyar Fazlyab authored at least 39 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Actor-Critic Physics-informed Neural Lyapunov Control.

Jiarui Wang, Mahyar Fazlyab

CoRR, 2024

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees.

Shaoru Chen, Lekan P. Molu, Mahyar Fazlyab

CoRR, 2024

Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation.

Shaoru Chen, Mahyar Fazlyab

CoRR, 2024

2023

On Centralized and Distributed Mirror Descent: Convergence Analysis Using Quadratic Constraints.

Youbang Sun, Mahyar Fazlyab, Shahin Shahrampour

IEEE Trans. Autom. Control., May, 2023

Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization.

Mahyar Fazlyab, Taha Entesari, Aniket Roy, Rama Chellappa

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes.

Taha Entesari, Mahyar Fazlyab

Proceedings of the Learning for Dynamics and Control Conference, 2023

Certified Invertibility in Neural Networks via Mixed-Integer Programming.

Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Yannis G. Kevrekidis, Mahyar Fazlyab

Proceedings of the Learning for Dynamics and Control Conference, 2023

ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds.

Taha Entesari, Sina Sharifi, Mahyar Fazlyab

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

One-Shot Reachability Analysis of Neural Network Dynamical Systems.

Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022

Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.

Mahyar Fazlyab, Manfred Morari, George J. Pappas

IEEE Trans. Autom. Control., 2022

Towards Understanding The Semidefinite Relaxations of Truncated Least-Squares in Robust Rotation Search.

Liangzu Peng, Mahyar Fazlyab, René Vidal

CoRR, 2022

Semidefinite Relaxations of Truncated Least-Squares in Robust Rotation Search: Tight or Not.

Liangzu Peng, Mahyar Fazlyab, René Vidal

Proceedings of the Computer Vision - ECCV 2022, 2022

2021

DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting.

Shaoru Chen, Eric Wong, J. Zico Kolter, Mahyar Fazlyab

CoRR, 2021

On Centralized and Distributed Mirror Descent: Exponential Convergence Analysis Using Quadratic Constraints.

Youbang Sun, Mahyar Fazlyab, Shahin Shahrampour

CoRR, 2021

Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization.

Navid Hashemi, Justin Ruths, Mahyar Fazlyab

Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Enforcing robust control guarantees within neural network policies.

Priya L. Donti, Melrose Roderick, Mahyar Fazlyab, J. Zico Kolter

Proceedings of the 9th International Conference on Learning Representations, 2021

Learning lyapunov functions for hybrid systems.

Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Stability analysis of complementarity systems with neural network controllers.

Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

An Introduction to Neural Network Analysis via Semidefinite Programming.

Mahyar Fazlyab, Manfred Morari, George J. Pappas

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Learning Region of Attraction for Nonlinear Systems.

Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Performance Bounds for Neural Network Estimators: Applications in Fault Detection.

Navid Hashemi, Mahyar Fazlyab, Justin Ruths

Proceedings of the 2021 American Control Conference, 2021

2020

A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas-Rachford Splitting.

Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas

IEEE Control. Syst. Lett., 2020

Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees.

Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas

Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming.

Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas

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

2019

Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks.

Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George J. Pappas

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming.

Mahyar Fazlyab, Manfred Morari, George J. Pappas

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

A Prediction-Correction Primal-Dual Algorithm for Distributed Optimization.

Santiago Paternain, Mahyar Fazlyab, Victor M. Preciado, Alejandro Ribeiro

Proceedings of the 2019 American Control Conference, 2019

Robust Convergence Analysis of Three-Operator Splitting.

Han Wang, Mahyar Fazlyab, Shaoru Chen, Victor M. Preciado

Proceedings of the 57th Annual Allerton Conference on Communication, 2019

2018

Prediction-Correction Interior-Point Method for Time-Varying Convex Optimization.

Mahyar Fazlyab, Santiago Paternain, Victor M. Preciado, Alejandro Ribeiro

IEEE Trans. Autom. Control., 2018

Analysis of Optimization Algorithms via Integral Quadratic Constraints: Nonstrongly Convex Problems.

Mahyar Fazlyab, Alejandro Ribeiro, Manfred Morari, Victor M. Preciado

SIAM J. Optim., 2018

A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization.

Jacob H. Seidman, Mahyar Fazlyab, George J. Pappas, Victor M. Preciado

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

Design of First-Order Optimization Algorithms via Sum-of-Squares Programming.

Mahyar Fazlyab, Manfred Morari, Victor M. Preciado

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

Distributed Smooth and Strongly Convex Optimization with Inexact Dual Methods.

Mahyar Fazlyab, Santiago Paternain, Alejandro Ribeiro, Victor M. Preciado

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Optimal network design for synchronization of coupled oscillators.

Mahyar Fazlyab, Florian Dörfler, Victor M. Preciado

Autom., 2017

A variational approach to dual methods for constrained convex optimization.

Mahyar Fazlyab, Alec Koppel, Victor M. Preciado, Alejandro Ribeiro

Proceedings of the 2017 American Control Conference, 2017

A dynamical systems perspective to convergence rate analysis of proximal algorithms.

Mahyar Fazlyab, Alejandro Ribeiro, Manfred Morari, Victor M. Preciado

Proceedings of the 55th Annual Allerton Conference on Communication, 2017

2016

Self-triggered time-varying convex optimization.

Mahyar Fazlyab, Cameron Nowzari, George J. Pappas, Alejandro Ribeiro, Victor M. Preciado

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

Interior point method for dynamic constrained optimization in continuous time.

Mahyar Fazlyab, Santiago Paternain, Victor M. Preciado, Alejandro Ribeiro

Proceedings of the 2016 American Control Conference, 2016

2014

Robust topology identification and control of LTI networks.

Mahyar Fazlyab, Victor M. Preciado

Proceedings of the 2014 IEEE Global Conference on Signal and Information Processing, 2014