Matthew Abate

Orcid: 0000-0002-5999-5853

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions.
IEEE Trans. Control. Syst. Technol., May, 2024

2022
Robustly Forward Invariant Sets for Mixed-Monotone Systems.
IEEE Trans. Autom. Control., 2022

Decomposition Functions for Interconnected Mixed Monotone Systems.
IEEE Control. Syst. Lett., 2022

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

Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach.
Proceedings of the Learning for Dynamics and Control Conference, 2022

Safety from Fast, In-the-Loop Reachability with Application to UAVs.
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.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
Extent-compatible control barrier functions.
Syst. Control. Lett., 2021

Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances.
IEEE Control. Syst. Lett., 2021

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

Verification and runtime assurance for dynamical systems with uncertainty.
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.
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.
Proceedings of the 2021 American Control Conference, 2021

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Implicit Systems.
Proceedings of the 2021 American Control Conference, 2021

Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems.
Proceedings of the 2021 American Control Conference, 2021

Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations.
Proceedings of the 2021 American Control Conference, 2021

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

Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Enforcing Safety at Runtime for Systems with Disturbances.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Bounding the State Covariance Matrix for Switched Linear Systems with Noise.
Proceedings of the 2020 American Control Conference, 2020

Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions.
Proceedings of the 2020 American Control Conference, 2020

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems.
Proceedings of the 2020 American Control Conference, 2020

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

Monitor-Based Runtime Assurance for Temporal Logic Specifications.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019


  Loading...