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
Reference author: Jun Liu
First name
Jun
Last name
Liu
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
Prabhakar, P. ., Liu, J. ., & Murray, R. M. (2013). Pre-orders for reasoning about stability properties with respect to input of hybrid systems. Pre-Orders for Reasoning about Stability Properties With Respect to Input of Hybrid Systems. Presented at the. https://doi.org/http://dx.doi.org/10.1109/EMSOFT.2013.6658602
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
Liu, J. ., & Prabhakar, P. . (2014). Switching control of dynamical systems from metric temporal logic specifications. Switching Control of Dynamical Systems from Metric Temporal Logic Specifications. Presented at the. https://doi.org/http://dx.doi.org/10.1109/ICRA.2014.6907643
Liu, J. ., & Teel, A. R. (2014). Hybrid systems with memory: modelling and stability analysis via generalized solutions. Hybrid Systems With Memory: Modelling and Stability Analysis via Generalized Solutions. Presented at the. https://doi.org/http://dx.doi.org/10.3182/20140824-6-ZA-1003.02085
Liu, K.-Z. ., Sun, X.-M. ., Wang, W. ., & Liu, J. . (2015). Invariance principles for delay differential inclusions. Invariance Principles for Delay Differential Inclusions. Presented at the. https://doi.org/http://dx.doi.org/10.1109/CCDC.2015.7161681
Li, Y. ., & Liu, J. . (2015). Switching control of differential-algebraic equations with temporal logic specifications. Switching Control of Differential-Algebraic Equations With Temporal Logic Specifications. Presented at the. https://doi.org/http://dx.doi.org/10.1109/ACC.2015.7171017
Lucio, E. N. A., Liu, J. ., & Dodd, T. J. (2015). An Interactive Approach to Monocular SLAM. An Interactive Approach to Monocular SLAM. Presented at the. https://doi.org/http://dx.doi.org/10.1007/978-3-319-22416-9_3
Lucio, E. N. A., Liu, J. ., & Dodd, T. J. (2015). An Interactive Approach to Monocular SLAM. An Interactive Approach to Monocular SLAM. Presented at the. https://doi.org/http://dx.doi.org/10.1007/978-3-319-22416-9_3