Seguir
Matthew C. L. Abate
Título
Citado por
Citado por
Ano
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
542023
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
392020
Computing robustly forward invariant sets for mixed-monotone systems
M Abate, S Coogan
IEEE Transactions on Automatic Control, 2022
302022
Extent-compatible control barrier functions
M Srinivasan, M Abate, G Nilsson, S Coogan
Systems & Control Letters 150, 104895, 2021
152021
Enforcing safety at runtime for systems with disturbances
M Abate, S Coogan
2020 59th IEEE Conference on Decision and Control (CDC), 2038-2043, 2020
152020
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations
M Abate, S Coogan
2021 American Control Conference (ACC), 4674-4679, 2021
142021
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
132022
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
102021
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
92022
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
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
82019
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
72021
Mixed Monotonicity for Efficient Reachability with Applications to Robust Safe Autonomy
MCL Abate
Georgia Institute of Technology, 2022
62022
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
Robustly Forward Invariant Sets for Mixed-Monotone Systems
M Abate, S Coogan
IEEE Transactions on Automatic Control 67 (9), 4947-4954, 2022
42022
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
Decomposition Functions for Interconnected Mixed Monotone Systems
M Abate, S Coogan
IEEE Control Systems Letters 6, 2120-2125, 2021
32021
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
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
22022
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20