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 | 44 | 2023 |
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 | 37 | 2020 |
Computing robustly forward invariant sets for mixed-monotone systems M Abate, S Coogan IEEE Transactions on Automatic Control, 2022 | 29 | 2022 |
Extent-compatible control barrier functions M Srinivasan, M Abate, G Nilsson, S Coogan Systems & Control Letters 150, 104895, 2021 | 13 | 2021 |
Enforcing safety at runtime for systems with disturbances M Abate, S Coogan 2020 59th IEEE Conference on Decision and Control (CDC), 2038-2043, 2020 | 13 | 2020 |
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 | 12 | 2022 |
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations M Abate, S Coogan 2021 American Control Conference (ACC), 4674-4679, 2021 | 12 | 2021 |
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 | 8 | 2021 |
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 | 8 | 2020 |
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 | 6 | 2022 |
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 | 6 | 2021 |
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 | 6 | 2019 |
Mixed Monotonicity for Efficient Reachability with Applications to Robust Safe Autonomy MCL Abate Georgia Institute of Technology, 2022 | 5 | 2022 |
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 | 5 | 2020 |
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 | 4 | 2021 |
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 | 3 | 2023 |
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 | 3 | 2022 |
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 | 3 | 2018 |
Decomposition Functions for Interconnected Mixed Monotone Systems M Abate, S Coogan IEEE Control Systems Letters 6, 2120-2125, 2021 | 2 | 2021 |
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 | 2 | 2021 |