Matthew Abate

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 33

Top Topics

Mazurkiewicz Traces

Comparative Analysis

Top Venues

IEEE Control. Syst. Lett.

Publications

Matthew Abate, Mark Mote, Mehregan Dor, Corbin Klett, Sean Phillips, Kendra Lang, Panagiotis Tsiotras, Eric Feron, Samuel Coogan
Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions. IEEE Trans. Control. Syst. Technol. 32 (3) (2024)
Matthew Abate, Samuel Coogan
Robustly Forward Invariant Sets for Mixed-Monotone Systems. IEEE Trans. Autom. Control. 67 (9) (2022)
Saber Jafarpour, Matthew Abate, Alexander Davydov, Francesco Bullo, Samuel Coogan
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach. L4DC (2022)
Matthew Abate, Samuel Coogan
Decomposition Functions for Interconnected Mixed Monotone Systems. IEEE Control. Syst. Lett. 6 (2022)
Alexander Davydov, Saber Jafarpour, Matthew Abate, Francesco Bullo, Samuel Coogan
Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks. CoRR (2022)
Christian Llanes, Matthew Abate, Samuel Coogan
Safety from Fast, In-the-Loop Reachability with Application to UAVs. ICCPS (2022)
Saber Jafarpour, Alexander Davydov, Matthew Abate, Francesco Bullo, Samuel Coogan
Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach. CoRR (2022)
Alexander Davydov, Saber Jafarpour, Matthew Abate, Francesco Bullo, Samuel Coogan
Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks. CDC (2022)
Gidado-Yisa Immanuel, Matthew Abate, Eric Feron
Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Implicit Systems. ACC (2021)
Christian Llanes, Matthew Abate, Samuel Coogan
Safety from in-the-loop reachability for cyber-physical systems. CAADCPS@CPSIoTWeek (2021)
Matthew Abate, Maxence Dutreix, Samuel Coogan
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances. IEEE Control. Syst. Lett. 5 (1) (2021)
Saber Jafarpour, Matthew Abate, Alexander Davydov, Francesco Bullo, Samuel Coogan
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach. CoRR (2021)
Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan, Eric Feron
Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems. CoRR (2021)
Matthew Abate, Mark Mote, Eric Feron, Samuel Coogan
Verification and runtime assurance for dynamical systems with uncertainty. HSCC (2021)
Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron
Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. ACC (2021)
Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan
Extent-compatible control barrier functions. Syst. Control. Lett. 150 (2021)
Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron
A Numerical Method to Compute Stability Margins of Switching Linear Systems. ACC (2021)
Matthew Abate, Samuel Coogan
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations. ACC (2021)
Matthew Abate, Samuel Coogan
Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems. CDC (2020)
Matthew Abate, Samuel Coogan
Enforcing Safety at Runtime for Systems with Disturbances. CoRR (2020)
Matthew Abate, Samuel Coogan
Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems. CoRR (2020)
Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron
A Numerical Method to Compute Stability Margins of Switching Linear Systems. CoRR (2020)
Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan
Extent-Compatible Control Barrier Functions. CoRR (2020)
Matthew Abate, Samuel Coogan
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations. CoRR (2020)
Maxence Dutreix, Cesar Santoyo, Matthew Abate, Samuel Coogan
Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions. ACC (2020)
Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron
Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. CoRR (2020)
Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron
Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. ACC (2020)
Matthew Abate, Maxence Dutreix, Samuel Coogan
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances. CoRR (2020)
Corbin Klett, Matthew Abate, Yongeun Yoon, Samuel Coogan, Eric Feron
Bounding the State Covariance Matrix for Switched Linear Systems with Noise. ACC (2020)
Matthew Abate, Samuel Coogan
Enforcing Safety at Runtime for Systems with Disturbances. CDC (2020)
Matthew Abate, Samuel Coogan, Eric Feron
Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. CoRR (2019)
Matthew Abate, Eric Feron, Samuel Coogan
Monitor-Based Runtime Assurance for Temporal Logic Specifications. CoRR (2019)
Matthew Abate, Eric Feron, Samuel Coogan
Monitor-Based Runtime Assurance for Temporal Logic Specifications. CDC (2019)