Liu, J., Ozay, N., Topcu, U., & Murray, R. M. (2012). Switching protocol synthesis for temporal logic specifications Presented at the Switching Protocol Synthesis for Temporal Logic Specifications conference. https://doi.org/10.1109/ACC.2012.6315040
Reference author: Necmiye Ozay
First name
Necmiye
Last name
Ozay
Liu, J., Ozay, N., Topcu, U., & Murray, R. M. (2012). Switching protocol synthesis for temporal logic specifications Presented at the Switching Protocol Synthesis for Temporal Logic Specifications conference. https://doi.org/10.1109/ACC.2012.6315040
Topcu, U., Ozay, N., Liu, J., & Murray, R. M. (2012). On synthesizing robust discrete controllers under modeling uncertainty Presented at the On Synthesizing Robust Discrete Controllers under Modeling Uncertainty conference. https://doi.org/10.1145/2185632.2185648
Topcu, U., Ozay, N., Liu, J., & Murray, R. M. (2012). On synthesizing robust discrete controllers under modeling uncertainty Presented at the On Synthesizing Robust Discrete Controllers under Modeling Uncertainty conference. https://doi.org/10.1145/2185632.2185648
Liu, J., Topcu, U., Ozay, N., & Murray, R. M. (2012). Reactive controllers for differentially flat systems with temporal logic constraints Presented at the Reactive Controllers for Differentially Flat Systems With Temporal Logic Constraints conference. https://doi.org/http://dx.doi.org/10.1109/CDC.2012.6425981
Liu, J., Topcu, U., Ozay, N., & Murray, R. M. (2012). Reactive controllers for differentially flat systems with temporal logic constraints Presented at the Reactive Controllers for Differentially Flat Systems With Temporal Logic Constraints conference. https://doi.org/http://dx.doi.org/10.1109/CDC.2012.6425981
Liu, J., Ozay, N., Topcu, U., & Murray, R. M. (2013). Synthesis of reactive switching protocols from temporal logic specifications IEEE Transactions on Automatic Control, 1771\textendash1785. https://doi.org/http://dx.doi.org/10.1109/TAC.2013.2246095
Ozay, N., Liu, J., Prabhakar, P., & Murray, R. M. (2013). Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems Presented at the Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems conference. https://doi.org/http://dx.doi.org/10.1109/ACC.2013.6580816
Liu, J., & Ozay, N. (2014). Abstraction, discretization, and robustness in temporal logic control of dynamical systems Presented at the Abstraction, Discretization, and Robustness in Temporal Logic Control of Dynamical Systems conference. https://doi.org/http://dx.doi.org/10.1145/2562059.2562137
Sun, F., Ozay, N., Wolff, E. M., & Murray, R. M. (2014). Efficient control synthesis for augmented finite transition systems with an application to switching protocols Presented at the Efficient Control Synthesis for Augmented Finite Transition Systems With an Application to Switching Protocols conference. https://doi.org/http://dx.doi.org/10.1109/ACC.2014.6859428