default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMahyar Fazlyab
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j7]Jiarui Wang, Mahyar Fazlyab
:
Actor-Critic Physics-Informed Neural Lyapunov Control. IEEE Control. Syst. Lett. 8: 1751-1756 (2024)- [c31]Shaoru Chen, Lekan P. Molu, Mahyar Fazlyab:
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees. ACC 2024: 3610-3617 - [c30]Sina Sharifi, Taha Entesari, Bardia Safaei, Vishal M. Patel, Mahyar Fazlyab:
Gradient-Regularized Out-of-Distribution Detection. ECCV (13) 2024: 459-478 - [c29]Taha Entesari, Sina Sharifi, Mahyar Fazlyab:
Compositional Curvature Bounds for Deep Neural Networks. ICML 2024 - [i26]Shaoru Chen, Mahyar Fazlyab:
Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation. CoRR abs/2401.05629 (2024) - [i25]Shaoru Chen, Lekan P. Molu, Mahyar Fazlyab:
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees. CoRR abs/2403.07308 (2024) - [i24]Jiarui Wang, Mahyar Fazlyab:
Actor-Critic Physics-informed Neural Lyapunov Control. CoRR abs/2403.08448 (2024) - [i23]Sina Sharifi, Taha Entesari, Bardia Safaei, Vishal M. Patel, Mahyar Fazlyab:
Gradient-Regularized Out-of-Distribution Detection. CoRR abs/2404.12368 (2024) - [i22]Sina Sharifi, Mahyar Fazlyab:
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis. CoRR abs/2406.04476 (2024) - [i21]Taha Entesari, Sina Sharifi, Mahyar Fazlyab:
Compositional Curvature Bounds for Deep Neural Networks. CoRR abs/2406.05119 (2024) - [i20]Lakshmideepakreddy Manda, Shaoru Chen, Mahyar Fazlyab:
Domain Adaptive Safety Filters via Deep Operator Learning. CoRR abs/2410.14528 (2024) - 2023
- [j6]Youbang Sun, Mahyar Fazlyab, Shahin Shahrampour:
On Centralized and Distributed Mirror Descent: Convergence Analysis Using Quadratic Constraints. IEEE Trans. Autom. Control. 68(5): 3139-3146 (2023) - [c28]Taha Entesari, Sina Sharifi, Mahyar Fazlyab:
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds. ICRA 2023: 1003-1010 - [c27]Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab:
One-Shot Reachability Analysis of Neural Network Dynamical Systems. ICRA 2023: 10546-10552 - [c26]Taha Entesari, Mahyar Fazlyab:
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes. L4DC 2023: 407-419 - [c25]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: 483-496 - [c24]Mahyar Fazlyab, Taha Entesari, Aniket Roy, Rama Chellappa:
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization. NeurIPS 2023 - [i19]Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Ioannis G. Kevrekidis, Mahyar Fazlyab:
Certified Invertibility in Neural Networks via Mixed-Integer Programming. CoRR abs/2301.11783 (2023) - [i18]Mahyar Fazlyab, Taha Entesari, Aniket Roy, Rama Chellappa:
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization. CoRR abs/2310.00116 (2023) - 2022
- [j5]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): 1-15 (2022) - [c23]Liangzu Peng, Mahyar Fazlyab, René Vidal:
Semidefinite Relaxations of Truncated Least-Squares in Robust Rotation Search: Tight or Not. ECCV (23) 2022: 673-691 - [i17]Liangzu Peng, Mahyar Fazlyab, René Vidal:
Towards Understanding The Semidefinite Relaxations of Truncated Least-Squares in Robust Rotation Search. CoRR abs/2207.08350 (2022) - [i16]Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab:
One-Shot Reachability Analysis of Neural Network Dynamical Systems. CoRR abs/2209.11827 (2022) - [i15]Taha Entesari, Sina Sharifi, Mahyar Fazlyab:
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds. CoRR abs/2211.00608 (2022) - [i14]Taha Entesari, Mahyar Fazlyab:
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes. CoRR abs/2212.07553 (2022) - 2021
- [c22]Navid Hashemi, Mahyar Fazlyab, Justin Ruths:
Performance Bounds for Neural Network Estimators: Applications in Fault Detection. ACC 2021: 3260-3266 - [c21]Mahyar Fazlyab, Manfred Morari, George J. Pappas:
An Introduction to Neural Network Analysis via Semidefinite Programming. CDC 2021: 6341-6350 - [c20]Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado:
Learning Region of Attraction for Nonlinear Systems. CDC 2021: 6477-6484 - [c19]Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado:
Learning Lyapunov Functions for Hybrid Systems. CISS 2021: 1 - [c18]Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado:
Learning lyapunov functions for hybrid systems. HSCC 2021: 13:1-13:11 - [c17]Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa:
Stability analysis of complementarity systems with neural network controllers. HSCC 2021: 19:1-19:10 - [c16]Priya L. Donti, Melrose Roderick, Mahyar Fazlyab, J. Zico Kolter:
Enforcing robust control guarantees within neural network policies. ICLR 2021 - [c15]Navid Hashemi, Justin Ruths, Mahyar Fazlyab:
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization. L4DC 2021: 842-853 - [i13]Navid Hashemi, Mahyar Fazlyab, Justin Ruths:
Performance Bounds for Neural Network Estimators: Applications in Fault Detection. CoRR abs/2103.12141 (2021) - [i12]Youbang Sun, Mahyar Fazlyab, Shahin Shahrampour:
On Centralized and Distributed Mirror Descent: Exponential Convergence Analysis Using Quadratic Constraints. CoRR abs/2105.14385 (2021) - [i11]Shaoru Chen, Eric Wong, J. Zico Kolter, Mahyar Fazlyab:
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting. CoRR abs/2106.09117 (2021) - [i10]Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado:
Learning Region of Attraction for Nonlinear Systems. CoRR abs/2110.00731 (2021) - 2020
- [j4]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): 199-204 (2020) - [c14]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: 5929-5934 - [c13]Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas:
Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees. L4DC 2020: 884-893 - [i9]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 abs/2004.07876 (2020) - [i8]Jacob H. Seidman, Mahyar Fazlyab, Victor M. Preciado, George J. Pappas:
Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees. CoRR abs/2005.00616 (2020) - [i7]Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa:
Stability Analysis of Complementarity Systems with Neural Network Controllers. CoRR abs/2011.07626 (2020) - [i6]Priya L. Donti, Melrose Roderick, Mahyar Fazlyab, J. Zico Kolter:
Enforcing robust control guarantees within neural network policies. CoRR abs/2011.08105 (2020) - [i5]Navid Hashemi, Justin Ruths, Mahyar Fazlyab:
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization. CoRR abs/2012.05981 (2020)
2010 – 2019
- 2019
- [c12]Han Wang, Mahyar Fazlyab, Shaoru Chen, Victor M. Preciado:
Robust Convergence Analysis of Three-Operator Splitting. Allerton 2019: 391-398 - [c11]Santiago Paternain, Mahyar Fazlyab, Victor M. Preciado, Alejandro Ribeiro:
A Prediction-Correction Primal-Dual Algorithm for Distributed Optimization. ACC 2019: 835-841 - [c10]Mahyar Fazlyab, Manfred Morari, George J. Pappas:
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. CDC 2019: 2726-2731 - [c9]Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George J. Pappas:
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks. NeurIPS 2019: 11423-11434 - [i4]Mahyar Fazlyab, Manfred Morari, George J. Pappas:
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming. CoRR abs/1903.01287 (2019) - [i3]Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George J. Pappas:
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks. CoRR abs/1906.04893 (2019) - [i2]Mahyar Fazlyab, Manfred Morari, George J. Pappas:
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. CoRR abs/1910.04249 (2019) - 2018
- [j3]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): 2654-2689 (2018) - [j2]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): 1973-1986 (2018) - [c8]Mahyar Fazlyab, Santiago Paternain, Alejandro Ribeiro, Victor M. Preciado:
Distributed Smooth and Strongly Convex Optimization with Inexact Dual Methods. ACC 2018: 3768-3773 - [c7]Jacob H. Seidman, Mahyar Fazlyab, George J. Pappas, Victor M. Preciado:
A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization. CDC 2018: 1775-1781 - [c6]Mahyar Fazlyab, Manfred Morari, Victor M. Preciado:
Design of First-Order Optimization Algorithms via Sum-of-Squares Programming. CDC 2018: 4445-4452 - 2017
- [j1]Mahyar Fazlyab, Florian Dörfler, Victor M. Preciado:
Optimal network design for synchronization of coupled oscillators. Autom. 84: 181-189 (2017) - [c5]Mahyar Fazlyab, Alejandro Ribeiro, Manfred Morari, Victor M. Preciado:
A dynamical systems perspective to convergence rate analysis of proximal algorithms. Allerton 2017: 354-360 - [c4]Mahyar Fazlyab, Alec Koppel, Victor M. Preciado, Alejandro Ribeiro:
A variational approach to dual methods for constrained convex optimization. ACC 2017: 5269-5275 - 2016
- [c3]Mahyar Fazlyab, Santiago Paternain, Victor M. Preciado, Alejandro Ribeiro:
Interior point method for dynamic constrained optimization in continuous time. ACC 2016: 5612-5618 - [c2]Mahyar Fazlyab, Cameron Nowzari, George J. Pappas, Alejandro Ribeiro, Victor M. Preciado:
Self-triggered time-varying convex optimization. CDC 2016: 3090-3097 - 2014
- [c1]Mahyar Fazlyab, Victor M. Preciado:
Robust topology identification and control of LTI networks. GlobalSIP 2014: 918-922 - [i1]Mahyar Fazlyab, Victor M. Preciado:
Robust Topology Identification and Control of LTI Networks. CoRR abs/1406.4201 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
