Saber Jafarpour

IEEE Trans. Autom. Control., December, 2024

Network Critical Slowing Down: Data-Driven Detection of Critical Transitions in Nonlinear Networks.

[BibT_eX]

[DOI]

Mohammad Pirani

IEEE Trans. Control. Netw. Syst., June, 2024

Safety Verification of Stochastic Systems: A Set-Erosion Approach.

[BibT_eX]

[DOI]

Zishun Liu

Yongxin Chen

IEEE Control. Syst. Lett., 2024

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems.

[BibT_eX]

[DOI]

Zishun Liu

Yongxin Chen

CoRR, 2024

Probabilistic Reachability of Stochastic Control Systems: A Contraction-Based Approach.

[BibT_eX]

[DOI]

Yongxin Chen

CoRR, 2024

immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Non-Euclidean Contraction Theory for Monotone and Positive Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., September, 2023

Minimax Flow Over Acyclic Networks: Distributed Algorithms and Microgrid Application.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., June, 2023

Forward Invariance in Neural Network Controlled Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2023

A Contracting Dynamical System Perspective toward Interval Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Topology Inference With Multivariate Cumulants: The Möbius Inference Algorithm.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2022

Singular Perturbation and Small-Signal Stability for Inverter Networks.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2022

Transient Stability of Droop-Controlled Inverter Networks With Operating Constraints.

[BibT_eX]

[DOI]

Kevin D. Smith

IEEE Trans. Autom. Control., 2022

Weak and Semi-Contraction for Network Systems and Diffusively Coupled Oscillators.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Non-Euclidean Contraction Theory for Robust Nonlinear Stability.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Contraction Theory for Dynamical Systems on Hilbert Spaces.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

A Contraction Analysis of Primal-Dual Dynamics in Distributed and Time-Varying Implementations.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Flow and Elastic Networks on the n-Torus: Geometry, Analysis, and Computation.

[BibT_eX]

[DOI]

SIAM Rev., 2022

Monotonicity and Contraction on Polyhedral Cones.

[BibT_eX]

[DOI]

CoRR, 2022

Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach.

[BibT_eX]

[DOI]

CoRR, 2022

Multistability and Paradoxes in Lossy Oscillator Networks.

[BibT_eX]

[DOI]

Robin Delabays

CoRR, 2022

Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2022

Non-Euclidean Monotone Operator Theory with Applications to Recurrent Neural Networks.

[BibT_eX]

[DOI]

Anton V. Proskurnikov

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Resilience of Input Metering in Dynamic Flow Networks.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

Graph-Theoretic Stability Conditions for Metzler Matrices and Monotone Systems.

[BibT_eX]

[DOI]

Xiaoming Duan

SIAM J. Control. Optim., 2021

Non-Euclidean Contraction Theory via Semi-Inner Products.

[BibT_eX]

[DOI]

CoRR, 2021

Robust Implicit Networks via Non-Euclidean Contractions.

[BibT_eX]

[DOI]

Anton V. Proskurnikov

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Combining Physics and Machine Learning for Network Flow Estimation.

[BibT_eX]

[DOI]

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

From Contraction Theory to Fixed Point Algorithms on Riemannian and Non-Euclidean Spaces.

[BibT_eX]

[DOI]

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

2020

On Small-Time Local Controllability.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2020

Weak and Semi-Contraction Theory with Application to Network Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Distributed and time-varying primal-dual dynamics via contraction analysis.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Synchronization of Kuramoto Oscillators via Cutset Projections.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Markov Chains With Maximum Entropy for Robotic Surveillance.

[BibT_eX]

[DOI]

Mishel George

IEEE Trans. Autom. Control., 2019

Synchronization of Kuramoto Oscillators: Inverse Taylor Expansions.

[BibT_eX]

[DOI]

Elizabeth Y. Huang

SIAM J. Control. Optim., 2019

2018

Synchronization of Coupled Oscillators: The Taylor Expansion of the Inverse Kuramoto Map.

[BibT_eX]

[DOI]

Elizabeth Y. Huang

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

2017

Network-cognizant model reduction of grid-tied three-phase inverters.

[BibT_eX]

[DOI]

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

2016

Locally convex topologies and control theory.

[BibT_eX]

[DOI]

Andrew D. Lewis

Math. Control. Signals Syst., 2016

2014

Real analytic control systems.

[BibT_eX]

[DOI]