Matthew Abate

According to our database, Matthew Abate authored at least 24 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions.

Matthew Abate, Mark Mote, Mehregan Dor, Corbin Klett, Sean Phillips, Kendra Lang, Panagiotis Tsiotras, Eric Feron, Samuel Coogan

IEEE Trans. Control. Syst. Technol., May, 2024

2022

Robustly Forward Invariant Sets for Mixed-Monotone Systems.

Matthew Abate, Samuel Coogan

IEEE Trans. Autom. Control., 2022

Decomposition Functions for Interconnected Mixed Monotone Systems.

Matthew Abate, Samuel Coogan

IEEE Control. Syst. Lett., 2022

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

Saber Jafarpour, Alexander Davydov, Matthew Abate, Francesco Bullo, Samuel Coogan

CoRR, 2022

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

Saber Jafarpour, Matthew Abate, Alexander Davydov, Francesco Bullo, Samuel Coogan

Proceedings of the Learning for Dynamics and Control Conference, 2022

Safety from Fast, In-the-Loop Reachability with Application to UAVs.

Christian Llanes, Matthew Abate, Samuel Coogan

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

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

Alexander Davydov, Saber Jafarpour, Matthew Abate, Francesco Bullo, Samuel Coogan

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

2021

Extent-compatible control barrier functions.

Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan

Syst. Control. Lett., 2021

Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances.

Matthew Abate, Maxence Dutreix, Samuel Coogan

IEEE Control. Syst. Lett., 2021

Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems.

Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan, Eric Feron

CoRR, 2021

Verification and runtime assurance for dynamical systems with uncertainty.

Matthew Abate, Mark Mote, Eric Feron, Samuel Coogan

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Safety from in-the-loop reachability for cyber-physical systems.

Christian Llanes, Matthew Abate, Samuel Coogan

Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

A Numerical Method to Compute Stability Margins of Switching Linear Systems.

Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron

Proceedings of the 2021 American Control Conference, 2021

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Implicit Systems.

Gidado-Yisa Immanuel, Matthew Abate, Eric Feron

Proceedings of the 2021 American Control Conference, 2021

Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems.

Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron

Proceedings of the 2021 American Control Conference, 2021

Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations.

Matthew Abate, Samuel Coogan

Proceedings of the 2021 American Control Conference, 2021

2020

Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems.

Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron

CoRR, 2020

Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems.

Matthew Abate, Samuel Coogan

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Enforcing Safety at Runtime for Systems with Disturbances.

Matthew Abate, Samuel Coogan

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Bounding the State Covariance Matrix for Switched Linear Systems with Noise.

Corbin Klett, Matthew Abate, Yongeun Yoon, Samuel Coogan, Eric Feron

Proceedings of the 2020 American Control Conference, 2020

Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions.

Maxence Dutreix, Cesar Santoyo, Matthew Abate, Samuel Coogan

Proceedings of the 2020 American Control Conference, 2020

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems.

Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron

Proceedings of the 2020 American Control Conference, 2020

2019

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems.

Matthew Abate, Samuel Coogan, Eric Feron

CoRR, 2019

Monitor-Based Runtime Assurance for Temporal Logic Specifications.

Matthew Abate, Eric Feron, Samuel Coogan

Proceedings of the 58th IEEE Conference on Decision and Control, 2019