Matthew Abate

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