Mahyar Fazlyab

75 papers A* 6C 8Misc 2Journal 40Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Model Predictive Path Integral Control as Preconditioned Gradient Descent. CoRR Mahyar Fazlyab, Sina Sharifi, Jiarui Wang
2025	J	`jnl`	Anytime-Feasible First-Order Optimization via Safe Sequential QCQP. CoRR Jiarui Wang, Mahyar Fazlyab
2025	J	`jnl`	Constrained Entropic Unlearning: A Primal-Dual Framework for Large Language Models. CoRR Taha Entesari, Arman Hatami, Rinat Khaziev, Anil Ramakrishna, Mahyar Fazlyab
2025	C	`conf`	Safe Gradient Flow for Bilevel Optimization. ACC Sina Sharifi, Nazanin Abolfazli, Erfan Yazdandoost Hamedani, Mahyar Fazlyab
2025	J	`jnl`	Safe Gradient Flow for Bilevel Optimization. CoRR Sina Sharifi, Nazanin Abolfazli, Erfan Yazdandoost Hamedani, Mahyar Fazlyab
2025	J	`jnl`	Safe Physics-Informed Machine Learning for Dynamics and Control. CoRR Ján Drgona, Truong X. Nghiem, Thomas Beckers, Mahyar Fazlyab, Enrique Mallada, Colin N. Jones, Draguna L. Vrabie, Steven L. Brunton, Rolf Findeisen
2025	C	`conf`	Safe Physics-informed Machine Learning for Dynamics and Control. ACC Ján Drgona, Truong X. Nghiem, Thomas Beckers, Mahyar Fazlyab, Enrique Mallada, Colin N. Jones, Draguna L. Vrabie, Steven L. Brunton, Rolf Findeisen
2025	J	`jnl`	Sequential QCQP for Bilevel Optimization With Line Search. IEEE Control. Syst. Lett. Sina Sharifi, Erfan Yazdandoost Hamedani, Mahyar Fazlyab
2025	J	`jnl`	Sequential QCQP for Bilevel Optimization with Line Search. CoRR Sina Sharifi, Erfan Yazdandoost Hamedani, Mahyar Fazlyab
2024	J	`jnl`	Actor-Critic Physics-Informed Neural Lyapunov Control. IEEE Control. Syst. Lett. Jiarui Wang, Mahyar Fazlyab
2024	J	`jnl`	Actor-Critic Physics-informed Neural Lyapunov Control. CoRR Jiarui Wang, Mahyar Fazlyab
2024	A*	`conf`	Compositional Curvature Bounds for Deep Neural Networks. ICML Taha Entesari, Sina Sharifi, Mahyar Fazlyab
2024	J	`jnl`	Compositional Curvature Bounds for Deep Neural Networks. CoRR Taha Entesari, Sina Sharifi, Mahyar Fazlyab
2024	—	`conf`	Domain Adaptive Safety Filters via Deep Operator Learning. CDC Lakshmideepakreddy Manda, Shaoru Chen, Mahyar Fazlyab
2024	J	`jnl`	Domain Adaptive Safety Filters via Deep Operator Learning. CoRR Lakshmideepakreddy Manda, Shaoru Chen, Mahyar Fazlyab
2024	—	`conf`	Gradient-Regularized Out-of-Distribution Detection. ECCV (13) Sina Sharifi, Taha Entesari, Bardia Safaei, Vishal M. Patel, Mahyar Fazlyab
2024	J	`jnl`	Gradient-Regularized Out-of-Distribution Detection. CoRR Sina Sharifi, Taha Entesari, Bardia Safaei, Vishal M. Patel, Mahyar Fazlyab
2024	J	`jnl`	Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation. CoRR Shaoru Chen, Mahyar Fazlyab
2024	Misc	`conf`	Learning Performance-oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation. CoRL Lakshmideepakreddy Manda, Shaoru Chen, Mahyar Fazlyab
2024	J	`jnl`	Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis. CoRR Sina Sharifi, Mahyar Fazlyab
2024	C	`conf`	Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees. ACC Shaoru Chen, Lekan P. Molu, Mahyar Fazlyab
2024	J	`jnl`	Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees. CoRR Shaoru Chen, Lekan P. Molu, Mahyar Fazlyab
2023	—	`conf`	Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes. L4DC Taha Entesari, Mahyar Fazlyab
2023	—	`conf`	Certified Invertibility in Neural Networks via Mixed-Integer Programming. L4DC Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Yannis G. Kevrekidis, Mahyar Fazlyab
2023	J	`jnl`	Certified Invertibility in Neural Networks via Mixed-Integer Programming. CoRR Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Ioannis G. Kevrekidis, Mahyar Fazlyab
2023	A*	`conf`	Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization. NeurIPS Mahyar Fazlyab, Taha Entesari, Aniket Roy, Rama Chellappa
2023	J	`jnl`	Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization. CoRR Mahyar Fazlyab, Taha Entesari, Aniket Roy, Rama Chellappa
2023	J	`jnl`	On Centralized and Distributed Mirror Descent: Convergence Analysis Using Quadratic Constraints. IEEE Trans. Autom. Control. Youbang Sun, Mahyar Fazlyab, Shahin Shahrampour
2023	A*	`conf`	One-Shot Reachability Analysis of Neural Network Dynamical Systems. ICRA Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab
2023	A*	`conf`	ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds. ICRA Taha Entesari, Sina Sharifi, Mahyar Fazlyab
2022	J	`jnl`	Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes. CoRR Taha Entesari, Mahyar Fazlyab
2022	J	`jnl`	One-Shot Reachability Analysis of Neural Network Dynamical Systems. CoRR Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab
2022	J	`jnl`	ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds. CoRR Taha Entesari, Sina Sharifi, Mahyar Fazlyab
2022	J	`jnl`	Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming. IEEE Trans. Autom. Control. Mahyar Fazlyab, Manfred Morari, George J. Pappas
2022	—	`conf`	Semidefinite Relaxations of Truncated Least-Squares in Robust Rotation Search: Tight or Not. ECCV (23) Liangzu Peng, Mahyar Fazlyab, René Vidal
2022	J	`jnl`	Towards Understanding The Semidefinite Relaxations of Truncated Least-Squares in Robust Rotation Search. CoRR Liangzu Peng, Mahyar Fazlyab, René Vidal
2021	—	`conf`	An Introduction to Neural Network Analysis via Semidefinite Programming. CDC Mahyar Fazlyab, Manfred Morari, George J. Pappas
2021	—	`conf`	Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization. L4DC Navid Hashemi, Justin Ruths, Mahyar Fazlyab
2021	J	`jnl`	DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting. CoRR Shaoru Chen, Eric Wong, J. Zico Kolter, Mahyar Fazlyab
2021	A*	`conf`	Enforcing robust control guarantees within neural network policies. ICLR Priya L. Donti, Melrose Roderick, Mahyar Fazlyab, J. Zico Kolter
2021	Misc	`conf`	Learning Lyapunov Functions for Hybrid Systems. CISS Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
2021	—	`conf`	Learning Region of Attraction for Nonlinear Systems. CDC Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
2021	J	`jnl`	Learning Region of Attraction for Nonlinear Systems. CoRR Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
2021	—	`conf`	Learning lyapunov functions for hybrid systems. HSCC Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado
2021	J	`jnl`	On Centralized and Distributed Mirror Descent: Exponential Convergence Analysis Using Quadratic Constraints. CoRR Youbang Sun, Mahyar Fazlyab, Shahin Shahrampour
2021	C	`conf`	Performance Bounds for Neural Network Estimators: Applications in Fault Detection. ACC Navid Hashemi, Mahyar Fazlyab, Justin Ruths
2021	J	`jnl`	Performance Bounds for Neural Network Estimators: Applications in Fault Detection. CoRR Navid Hashemi, Mahyar Fazlyab, Justin Ruths
2021	—	`conf`	Stability analysis of complementarity systems with neural network controllers. HSCC Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa
2020	J	`jnl`	A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas-Rachford Splitting. IEEE Control. Syst. Lett. Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas
2020	J	`jnl`	Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization. CoRR Navid Hashemi, Justin Ruths, Mahyar Fazlyab
2020	J	`jnl`	Enforcing robust control guarantees within neural network policies. CoRR Priya L. Donti, Melrose Roderick, Mahyar Fazlyab, J. Zico Kolter
2020	—	`conf`	Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming. CDC Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas
2020	J	`jnl`	Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming. CoRR Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas
2020	—	`conf`	Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees. L4DC Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas
2020	J	`jnl`	Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees. CoRR Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas
2020	J	`jnl`	Stability Analysis of Complementarity Systems with Neural Network Controllers. CoRR Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa
2019	C	`conf`	A Prediction-Correction Primal-Dual Algorithm for Distributed Optimization. ACC Santiago Paternain, Mahyar Fazlyab, Victor M. Preciado, Alejandro Ribeiro
2019	A*	`conf`	Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks. NeurIPS Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George J. Pappas
2019	J	`jnl`	Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks. CoRR Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George J. Pappas
2019	—	`conf`	Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. CDC Mahyar Fazlyab, Manfred Morari, George J. Pappas
2019	J	`jnl`	Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. CoRR Mahyar Fazlyab, Manfred Morari, George J. Pappas
2019	—	`conf`	Robust Convergence Analysis of Three-Operator Splitting. Allerton Han Wang, Mahyar Fazlyab, Shaoru Chen, Victor M. Preciado
2019	J	`jnl`	Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming. CoRR Mahyar Fazlyab, Manfred Morari, George J. Pappas
2018	—	`conf`	A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization. CDC Jacob H. Seidman, Mahyar Fazlyab, George J. Pappas, Victor M. Preciado
2018	J	`jnl`	Analysis of Optimization Algorithms via Integral Quadratic Constraints: Nonstrongly Convex Problems. SIAM J. Optim. Mahyar Fazlyab, Alejandro Ribeiro, Manfred Morari, Victor M. Preciado
2018	—	`conf`	Design of First-Order Optimization Algorithms via Sum-of-Squares Programming. CDC Mahyar Fazlyab, Manfred Morari, Victor M. Preciado
2018	C	`conf`	Distributed Smooth and Strongly Convex Optimization with Inexact Dual Methods. ACC Mahyar Fazlyab, Santiago Paternain, Alejandro Ribeiro, Victor M. Preciado
2018	J	`jnl`	Prediction-Correction Interior-Point Method for Time-Varying Convex Optimization. IEEE Trans. Autom. Control. Mahyar Fazlyab, Santiago Paternain, Victor M. Preciado, Alejandro Ribeiro
2017	—	`conf`	A dynamical systems perspective to convergence rate analysis of proximal algorithms. Allerton Mahyar Fazlyab, Alejandro Ribeiro, Manfred Morari, Victor M. Preciado
2017	C	`conf`	A variational approach to dual methods for constrained convex optimization. ACC Mahyar Fazlyab, Alec Koppel, Victor M. Preciado, Alejandro Ribeiro
2017	J	`jnl`	Optimal network design for synchronization of coupled oscillators. Autom. Mahyar Fazlyab, Florian Dörfler, Victor M. Preciado
2016	C	`conf`	Interior point method for dynamic constrained optimization in continuous time. ACC Mahyar Fazlyab, Santiago Paternain, Victor M. Preciado, Alejandro Ribeiro
2016	—	`conf`	Self-triggered time-varying convex optimization. CDC Mahyar Fazlyab, Cameron Nowzari, George J. Pappas, Alejandro Ribeiro, Victor M. Preciado
2014	J	`jnl`	Robust Topology Identification and Control of LTI Networks. CoRR Mahyar Fazlyab, Victor M. Preciado
2014	—	`conf`	Robust topology identification and control of LTI networks. GlobalSIP Mahyar Fazlyab, Victor M. Preciado