Computing robustly forward invariant sets for mixed-monotone systems M Abate, S Coogan 2020 59th IEEE Conference on Decision and Control (CDC), 4553-4559, 2020 | 4 | 2020 |
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 | 3 | 2020 |
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 | 2 | 2020 |
Enforcing safety at runtime for systems with disturbances M Abate, S Coogan IEEE Conference on Decision and Control, submitted, 2020 | 2 | 2020 |
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 | 2 | 2019 |
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations M Abate, S Coogan arXiv preprint arXiv:2010.01065, 2020 | 1 | 2020 |
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 | 1 | 2020 |
Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions M Dutreix, C Santoyo, M Abate, S Coogan 2020 American Control Conference (ACC), 3583-3588, 2020 | 1 | 2020 |
Extent-Compatible Control Barrier Functions M Srinivasan, M Abate, G Nilsson, S Coogan arXiv preprint arXiv:2001.07210, 2020 | 1 | 2020 |
Gas-displacement volumetry MCL Abate US Patent 10,337,902, 2019 | 1 | 2019 |
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 | 1 | 2018 |
A Numerical Method to Compute Stability Margins of Switching Linear Systems C Klett, M Abate, S Coogan, E Feron arXiv preprint arXiv:2012.02874, 2020 | | 2020 |
Memory-loss resilient controller design for temporal logic constraints M Abate, W Stuckey, L Lerner, E Feron, S Coogan Cyber-Physical Systems, 1-22, 2020 | | 2020 |
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 | | 2020 |
Verification and Runtime Assurance for Dynamical Systems with Uncertainty M Abate, M Mote, E Feron, S Coogan | | 2020 |