Reference author: Necmiye Ozay

Li, Y., Liu, J., & Ozay, N. (2015). Computing finite abstractions with robustness margins via local reachable set over-approximation Presented at the Computing Finite Abstractions With Robustness Margins via Local Reachable Set Over-Approximation conference. https://doi.org/10.1016/j.ifacol.2015.11.144

Liu, J., & Ozay, N. (2016). Finite abstractions with robustness margins for temporal logic-based control synthesis Nonlinear Analysis: Hybrid Systems, 22, 1\textendash15. https://doi.org/http://dx.doi.org/10.1016/j.nahs.2016.02.002

Nilsson, P., Ozay, N., & Liu, J. (2017). Augmented finite transition systems as abstractions for control synthesis Journal of Discrete Event Dynamic Systems, 27, 301\textendash340. https://doi.org/https://doi.org/10.1007/s10626-017-0243-z