DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting<\/strong> (arXiv<\/a>) On Centralized and Distributed Mirror Descent: Exponential Convergence Analysis Using Quadratic Constraints<\/strong> (arXiv<\/a>) Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming<\/a><\/strong> (arXiv<\/a>) Learning region of attraction of nonlinear systems<\/a><\/strong> (arXiv<\/a>) Learning Lyapunov functions for hybrid systems<\/a><\/strong> Stability analysis of complementarity systems with neural network controllers<\/strong><\/a> (arXiv<\/a>) Performance Bounds for Neural Network Estimators: Applications in Fault Detection<\/a><\/strong> (arXiv<\/a>) Enforcing robust control guarantees within neural network policies<\/a><\/strong> (arXiv<\/a>) Certifying Incremental Quadratic Constraints for Neural Networks Reach-SDP: Reachability a<\/strong><\/a>nalysis of closed-loop systems with neural network controllers via Robust deep learning as optimal control: Insights and convergence guarantees<\/strong><\/a> (arXiv<\/strong><\/a>) Network statistics estimation and prediction<\/strong><\/a> Probabilistic verification and reachability analysis of neural networks via semidefinite programming <\/strong><\/a>(arXiv<\/strong><\/a>) Robust convergence analysis of Three-Operator Splitting<\/a><\/strong> (arXiv<\/a>) A Prediction-Correction Primal-Dual Algorithm for Distributed Optimization<\/a><\/strong> Efficient and accurate estimation of Lipschitz constants for deep neural networks<\/strong><\/a> (arXiv<\/a>) A control-theoretic approach to analysis and parameter selection of Douglas\u2013Rachford splitting<\/strong><\/a> (arXiv<\/a>) A Chebyshev-accelerated primal-dual method for distributed optimization<\/strong><\/a> (arXiv<\/a>) Design of first-order optimization algorithms via sum-of-squares programming<\/strong><\/a> (arXiv<\/a>) Distributed smooth and strongly convex optimization with inexact dual methods<\/a><\/strong> Analysis of optimization algorithms via integral quadratic constraints: Nonstrongly convex problems<\/a> <\/strong>(arXiv<\/a>) Prediction-correction interior-point method for time-varying convex optimization<\/a><\/strong> (arXiv<\/a>) A dynamical systems perspective to convergence rate analysis of proximal algorithms<\/a> Optimal network design for synchronization of coupled oscillators<\/strong><\/a> (arXiv<\/a>) A variational approach to dual methods for constrained convex optimization<\/strong><\/a> Self-triggered time-varying convex optimization<\/a><\/strong> (arXiv<\/a>) Interior point method for dynamic constrained optimization in continuous time<\/a><\/strong> (arXiv<\/a>) Rotation rate estimation in parametrically excited micro gyroscopes<\/a> Robust topology identification and control of LTI networks<\/a> Parameter estimation and interval type-2 fuzzy sliding mode control of a z-axis MEMS gyroscope<\/a><\/strong> <\/p>\n","protected":false},"excerpt":{"rendered":" Forthcoming DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting (arXiv)Shaoru Chen, Eric Wong, J Zico Kolter, Mahyar Fazlyab On Centralized and Distributed Mirror Descent: Exponential Convergence Analysis Using Quadratic Constraints (arXiv)Youbang Sun, Mahyar Fazlyab, Shahin Shahrampour 2022 Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming (arXiv)Mahyar Fazlyab, … Continue reading “Publications”<\/span><\/a><\/p>\n","protected":false},"author":23,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1178","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.ece.jhu.edu\/mahyarfazlyab\/wp-json\/wp\/v2\/pages\/1178","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ece.jhu.edu\/mahyarfazlyab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ece.jhu.edu\/mahyarfazlyab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ece.jhu.edu\/mahyarfazlyab\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ece.jhu.edu\/mahyarfazlyab\/wp-json\/wp\/v2\/comments?post=1178"}],"version-history":[{"count":18,"href":"https:\/\/www.ece.jhu.edu\/mahyarfazlyab\/wp-json\/wp\/v2\/pages\/1178\/revisions"}],"predecessor-version":[{"id":1248,"href":"https:\/\/www.ece.jhu.edu\/mahyarfazlyab\/wp-json\/wp\/v2\/pages\/1178\/revisions\/1248"}],"wp:attachment":[{"href":"https:\/\/www.ece.jhu.edu\/mahyarfazlyab\/wp-json\/wp\/v2\/media?parent=1178"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
Shaoru Chen, Eric Wong, J Zico Kolter, Mahyar Fazlyab<\/p>\n\n\n\n
Youbang Sun, Mahyar Fazlyab, Shahin Shahrampour<\/p>\n\n\n\n
\n\n\n\n2022<\/h3>\n\n\n\n
Mahyar Fazlyab, Manfred Morari, George J Pappas
IEEE Transactions on Automatic Control, 2020<\/p>\n\n\n\n
\n\n\n\n2021<\/h3>\n\n\n\n
Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J Pappas, Victor M Preciado
American Control Conference, 2021<\/p>\n\n\n\n
Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J Pappas, Victor M Preciado
International Conference on Hybrid Systems: Computation and Control, 2021<\/p>\n\n\n\n
Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa
International Conference on Hybrid Systems: Computation and Control, 2021<\/p>\n\n\n\n
Navid Hashemi, Mahyar Fazlyab, Justin Ruths
American Control Conference, 2021<\/p>\n\n\n\n
Priya L Donti, Melrose Roderick, Mahyar Fazlyab, J Zico Kolter
International Conference on Learning Representations, 2021<\/p>\n\n\n\n
via Convex Optimization<\/strong><\/a> (arXiv<\/a>)
Navid Hashemi, Justin Ruths, Mahyar Fazlyab
Learning for Dynamics & Control Conference (L4DC), 2021<\/p>\n\n\n\n
\n\n\n\n2020<\/h3>\n\n\n\n
semidefinite programming<\/strong><\/a> (arXiv<\/strong><\/a>)
Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J Pappas
IEEE Conference on Decision and Control (CDC), 2020<\/p>\n\n\n\n
Jacob H Seidman, Mahyar Fazlyab, Victor M Preciado, George J Pappas
Learning for Dynamics & Control Conference (L4DC), 2020
<\/p>\n\n\n\n
Mahyar Fazlyab, Mehdi Nikkhah, Mark Allen Webb
US Patent
<\/p>\n\n\n\n
\n\n\n\n2019<\/h3>\n\n\n\n
Mahyar Fazlyab, Manfred Morari, George J Pappas
IEEE Conference on Decision and Control (CDC), 2019<\/p>\n\n\n\n
Han Wang, Mahyar Fazlyab, Shaoru Chen, Victor M Preciado
Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2019<\/p>\n\n\n\n
Santiago Paternain, Mahyar Fazlyab, Victor M Preciado, Alejandro Ribeiro
2019 American Control Conference (ACC), 2019<\/p>\n\n\n\n
Mahyar Fazlyab, Alexander Robey, Hamed Hassani, Manfred Morari, George Pappas
Advances in Neural Information Processing Systems (NeurIPS), 2019<\/p>\n\n\n\n
Jacob H Seidman, Mahyar Fazlyab, Victor M Preciado, George J Pappas
IEEE Control Systems Letters, 2019<\/p>\n\n\n\n
\n\n\n\n2018<\/h3>\n\n\n\n
Jacob H Seidman, Mahyar Fazlyab, George J Pappas, Victor M Preciado
IEEE Conference on Decision and Control (CDC), 2018<\/p>\n\n\n\n
Mahyar Fazlyab, Manfred Morari, Victor M. Preciado
IEEE Conference on Decision and Control (CDC), 2018<\/p>\n\n\n\n
Mahyar Fazlyab, Santiago Paternain, Alejandro Ribeiro, Victor M Preciado
Annual American Control Conference (ACC), 2018<\/p>\n\n\n\n
Mahyar Fazlyab, Alejandro Ribeiro, Manfred Morari, Victor M Preciado
SIAM Journal on Optimization, 2018<\/p>\n\n\n\n
Mahyar Fazlyab, Santiago Paternain, Victor M Preciado, Alejandro Ribeiro
IEEE Transactions on Automatic Control, 2018<\/p>\n\n\n\n
\n\n\n\n2017<\/h3>\n\n\n\n
<\/strong>Mahyar Fazlyab, Alejandro Ribeiro, Manfred Morari, Victor M Preciado
Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2017<\/p>\n\n\n\n
Mahyar Fazlyab, Florian D\u00f6rfler, Victor M Preciado
Automatica, 2017<\/p>\n\n\n\n
Mahyar Fazlyab, Alec Koppel, Victor M Preciado, Alejandro Ribeiro
American Control Conference (ACC), 2017 <\/p>\n\n\n\n
\n\n\n\n2016<\/h3>\n\n\n\n
Mahyar Fazlyab, Cameron Nowzari, George J Pappas, Alejandro Ribeiro, Victor M Preciado
55th Conference on Decision and Control (CDC), 2016<\/p>\n\n\n\n
Mahyar Fazlyab, Santiago Paternain, Victor M Preciado, Alejandro Ribeiro
American Control Conference (ACC), 2016<\/p>\n\n\n\n2015 and Prior<\/h3>\n\n\n\n
<\/strong>Mahyar Fazlyab, Hassan Salarieh, Aria Alasty
Mechatronics, 2015<\/p>\n\n\n\n
<\/strong>Mahyar Fazlyab, Victor M Preciado
IEEE Global Conference on Signal and Information Processing (GlobalSIP), 2014<\/p>\n\n\n\n
Mahyar Fazlyab, Maysam Zamani Pedram, Hassan Salarieh, Aria Alasty
ISA transactions, 2013<\/p>\n\n\n\n
<\/p>\n\n\n\n
<\/p>\n\n\n\n