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 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
Prabhakar, P., Liu, J., & Murray, R. M. (2013). Pre-orders for reasoning about stability properties with respect to input of hybrid systems Presented at the Pre-Orders for Reasoning about Stability Properties With Respect to Input of Hybrid Systems conference. 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 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
Liu, J., & Prabhakar, P. (2014). Switching control of dynamical systems from metric temporal logic specifications Presented at the Switching Control of Dynamical Systems from Metric Temporal Logic Specifications conference. 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 Presented at the Hybrid Systems With Memory: Modelling and Stability Analysis via Generalized Solutions conference. 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 Presented at the Invariance Principles for Delay Differential Inclusions conference. 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 Presented at the Switching Control of Differential-Algebraic Equations With Temporal Logic Specifications conference. 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 Presented at the An Interactive Approach to Monocular SLAM conference. 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 Presented at the An Interactive Approach to Monocular SLAM conference. https://doi.org/http://dx.doi.org/10.1007/978-3-319-22416-9_3