Liu, J. ., Ozay, N. ., Topcu, U. ., & Murray, R. M. (2012). Switching protocol synthesis for temporal logic specifications. Switching Protocol Synthesis for Temporal Logic Specifications. Presented at the. 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. Switching Protocol Synthesis for Temporal Logic Specifications. Presented at the. 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. On Synthesizing Robust Discrete Controllers under Modeling Uncertainty. Presented at the. 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. On Synthesizing Robust Discrete Controllers under Modeling Uncertainty. Presented at the. 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. Reactive Controllers for Differentially Flat Systems With Temporal Logic Constraints. Presented at the. 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. Reactive Controllers for Differentially Flat Systems With Temporal Logic Constraints. Presented at the. 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. Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems. Presented at the. 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. Abstraction, Discretization, and Robustness in Temporal Logic Control of Dynamical Systems. Presented at the. 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. Efficient Control Synthesis for Augmented Finite Transition Systems With an Application to Switching Protocols. Presented at the. https://doi.org/http://dx.doi.org/10.1109/ACC.2014.6859428
- Currently on page 1 1
- Next page