Follow
Matthew C. L. Abate
Matthew C. L. Abate
Verified email at gatech.edu - Homepage
Title
Cited by
Cited by
Year
Tight decomposition functions for continuous-time mixed-monotone systems with disturbances
M Abate, M Dutreix, S Coogan
IEEE Control Systems Letters 5 (1), 139-144, 2020
312020
Computing robustly forward invariant sets for mixed-monotone systems
M Abate, S Coogan
IEEE Transactions on Automatic Control, 2022
262022
Runtime Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems
KL Hobbs, ML Mote, MCL Abate, SD Coogan, EM Feron
IEEE Control Systems Magazine 43 (2), 28-65, 2023
212023
Enforcing safety at runtime for systems with disturbances
M Abate, S Coogan
2020 59th IEEE Conference on Decision and Control (CDC), 2038-2043, 2020
112020
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations
M Abate, S Coogan
2021 American Control Conference (ACC), 4674-4679, 2021
102021
Extent-compatible control barrier functions
M Srinivasan, M Abate, G Nilsson, S Coogan
Systems & Control Letters 150, 104895, 2021
92021
Safety from Fast, In-the-Loop Reachability with Application to UAVs
C Llanes, M Abate, S Coogan
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022
82022
Robustness certificates for implicit neural networks: A mixed monotone contractive approach
S Jafarpour, M Abate, A Davydov, F Bullo, S Coogan
Learning for Dynamics and Control Conference, 917-930, 2022
72022
Verification and runtime assurance for dynamical systems with uncertainty.
M Abate, M Mote, E Feron, S Coogan
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
62021
Lyapunov differential equation hierarchy and polynomial Lyapunov functions for switched linear systems
M Abate, C Klett, S Coogan, E Feron
2020 American Control Conference (ACC), 5322-5327, 2020
62020
Monitor-based runtime assurance for temporal logic specifications
M Abate, E Feron, S Coogan
2019 IEEE 58th Conference on Decision and Control (CDC), 1997-2002, 2019
62019
Safety from in-the-loop reachability for cyber-physical systems
C Llanes, M Abate, S Coogan
Proceedings of the Workshop on Computation-Aware Algorithmic Design for …, 2021
42021
Bounding the State Covariance Matrix for Switched Linear Systems with Noise
C Klett, M Abate, Y Yoon, S Coogan, E Feron
2020 American Control Conference (ACC), 2876-2881, 2020
42020
Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks
A Davydov, S Jafarpour, M Abate, F Bullo, S Coogan
2022 IEEE 61st Conference on Decision and Control (CDC), 2073-2078, 2022
32022
Mixed Monotonicity for Efficient Reachability with Applications to Robust Safe Autonomy
MCL Abate
Georgia Institute of Technology, 2022
22022
Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems
M Abate, C Klett, S Coogan, E Feron
2021 American Control Conference (ACC), 3550-3555, 2021
22021
Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems
M Abate, C Klett, S Coogan, E Feron
arXiv preprint arXiv:2009.00727, 2020
22020
Gas-displacement volumetry
MCL Abate
US Patent 10,337,902, 2019
22019
Buckling and post-buckling of an elastic rod embedded in a bilayer matrix
D Wang, N Hu, S Huang, AM Nasab, K Yang, MC Abate, X Yu, L Tan, ...
Extreme Mechanics Letters 25, 1-6, 2018
22018
Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach
S Jafarpour, A Davydov, M Abate, F Bullo, S Coogan
arXiv preprint arXiv:2208.03889, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20