Matthew C. L. Abate
Matthew C. L. Abate
Verified email at
Cited by
Cited by
Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems
M Abate, S Coogan
arXiv preprint arXiv:2003.05912, 2020
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances
M Abate, M Dutreix, S Coogan
arXiv preprint arXiv:2003.07975, 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
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
Enforcing safety at runtime for systems with disturbances
M Abate, S Coogan
IEEE Conference on Decision and Control, submitted, 2020
Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions
M Dutreix, C Santoyo, M Abate, S Coogan
2020 American Control Conference, IEEE, 2020
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
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
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations
M Abate, S Coogan
arXiv preprint arXiv:2010.01065, 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
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
Extent-Compatible Control Barrier Functions
M Srinivasan, M Abate, G Nilsson, S Coogan
arXiv preprint arXiv:2001.07210, 2020
Gas-displacement volumetry
MCL Abate
US Patent 10,337,902, 2019
The system can't perform the operation now. Try again later.
Articles 1–13