Follow
Matthew C. L. Abate
Matthew C. L. Abate
Verified email at gatech.edu - Homepage
Title
Cited by
Cited by
Year
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
442023
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
372020
Computing robustly forward invariant sets for mixed-monotone systems
M Abate, S Coogan
IEEE Transactions on Automatic Control, 2022
292022
Extent-compatible control barrier functions
M Srinivasan, M Abate, G Nilsson, S Coogan
Systems & Control Letters 150, 104895, 2021
132021
Enforcing safety at runtime for systems with disturbances
M Abate, S Coogan
2020 59th IEEE Conference on Decision and Control (CDC), 2038-2043, 2020
132020
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
122022
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations
M Abate, S Coogan
2021 American Control Conference (ACC), 4674-4679, 2021
122021
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
82021
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
82020
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
62022
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
62021
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
Mixed Monotonicity for Efficient Reachability with Applications to Robust Safe Autonomy
MCL Abate
Georgia Institute of Technology, 2022
52022
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
52020
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
42021
Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions
M Abate, M Mote, M Dor, C Klett, S Phillips, K Lang, P Tsiotras, E Feron, ...
IEEE Transactions on Control Systems Technology, 2023
32023
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
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
32018
Decomposition Functions for Interconnected Mixed Monotone Systems
M Abate, S Coogan
IEEE Control Systems Letters 6, 2120-2125, 2021
22021
A Numerical Method to Compute Stability Margins of Switching Linear Systems
C Klett, M Abate, S Coogan, E Feron
2021 American Control Conference (ACC), 864-869, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20