Monitor-Based Runtime Assurance for Temporal Logic Specifications. - Matthew Abate; Eric Feron; Samuel Coogan 001 (CDC, 2019)

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. - Matthew Abate; Samuel Coogan 001; Eric Feron (CoRR, 2019)

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. - Matthew Abate; Corbin Klett; Samuel Coogan 001; Eric Feron (ACC, 2020)

Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions. - Maxence Dutreix; Cesar Santoyo; Matthew Abate; Samuel Coogan 001 (ACC, 2020)

Bounding the State Covariance Matrix for Switched Linear Systems with Noise. - Corbin Klett; Matthew Abate; Yongeun Yoon; Samuel Coogan 001; Eric Feron (ACC, 2020)

Enforcing Safety at Runtime for Systems with Disturbances. - Matthew Abate; Samuel Coogan 001 (CDC, 2020)

Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems. - Matthew Abate; Samuel Coogan 001 (CDC, 2020)

Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. - Matthew Abate; Corbin Klett; Samuel Coogan 001; Eric Feron (CoRR, 2020)

Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations. - Matthew Abate; Samuel Coogan 001 (ACC, 2021)

Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. - Matthew Abate; Corbin Klett; Samuel Coogan 001; Eric Feron (ACC, 2021)

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Implicit Systems. - Gidado-Yisa Immanuel; Matthew Abate; Eric Feron (ACC, 2021)

A Numerical Method to Compute Stability Margins of Switching Linear Systems. - Corbin Klett; Matthew Abate; Samuel Coogan 001; Eric Feron (ACC, 2021)

Safety from in-the-loop reachability for cyber-physical systems. - Christian Llanes; Matthew Abate; Samuel Coogan 001 (CAADCPS@CPSIoTWeek, 2021)

Verification and runtime assurance for dynamical systems with uncertainty. - Matthew Abate; Mark Mote; Eric Feron; Samuel Coogan 001 (HSCC, 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 001; Eric Feron (CoRR, 2021)

Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances. - Matthew Abate; Maxence Dutreix; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2021)

Extent-compatible control barrier functions. - Mohit Srinivasan; Matthew Abate; Gustav Nilsson; Samuel Coogan 001 (Syst. Control. Lett., 2021)

Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks. - Alexander Davydov 001; Saber Jafarpour; Matthew Abate; Francesco Bullo; Samuel Coogan 001 (CDC, 2022)

Safety from Fast, In-the-Loop Reachability with Application to UAVs. - Christian Llanes; Matthew Abate; Samuel Coogan 001 (ICCPS, 2022)

Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach. - Saber Jafarpour; Matthew Abate; Alexander Davydov 001; Francesco Bullo; Samuel Coogan 001 (L4DC, 2022)

Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach. - Saber Jafarpour; Alexander Davydov 001; Matthew Abate; Francesco Bullo; Samuel Coogan 001 (CoRR, 2022)

Decomposition Functions for Interconnected Mixed Monotone Systems. - Matthew Abate; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2022)

Robustly Forward Invariant Sets for Mixed-Monotone Systems. - Matthew Abate; Samuel Coogan 001 (IEEE Trans. Autom. Control., 2022)

Mixed Monotonicity for Efficient Reachability with Applications to Robust Safe Autonomy. - Matthew Abate (2022)

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 001 (IEEE Trans. Control. Syst. Technol., 2024)