Publications

Sort by: Author Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

L

Larocque, L., and J. Liu, "Sampling-based motion planning with mu-calculus specifications without steering", IEEE International Conference on Robotics and Automation (ICRA), 2018.
Li, Y., Z. Sun, and J. Liu, "ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems", IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2021.
Li, Y., and J. Liu, "Robustly complete reach-and-stay control synthesis for switched systems via interval analysis", American Control Conference (ACC), 2018. PDF icon PDF (288.31 KB)
Li, Y., and J. Liu, "ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems", ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2018. PDF icon PDF (775.29 KB)
Li, Y., and J. Liu, "An interval analysis approach to invariance control synthesis for discrete-time switched systems", IEEE Conference on Decision and Control (CDC), 2016. PDF icon PDF (321.71 KB)
Li, Y., and J. Liu, "Computing maximal invariant sets for switched nonlinear systems", IEEE Multi-Conference on Systems and Control (MSC), 2016. PDF icon PDF (208.53 KB)
Li, Y., J. Liu, and N. Ozay, "Computing finite abstractions with robustness margins via local reachable set over-approximation", IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2015. PDF icon PDF (436.03 KB)
Li, Y., and J. Liu, "Switching control of differential-algebraic equations with temporal logic specifications", American Control Conference (ACC), 2015. PDF icon PDF (373.21 KB)
Li, Y., and J. Liu, "Robustly complete synthesis of memoryless controllers for nonlinear systems with reach-and-stay specifications", IEEE Transactions on Automatic Control, vol. 66, 2021.
Li, Y., and J. Liu, "Invariance control synthesis for switched nonlinear systems: an interval analysis approach", IEEE Transactions on Automatic Control, vol. 63, pp. 2206–2211, 2018. PDF icon PDF (255.85 KB)
Liu, J., and A. R. Teel, "Hybrid Dynamical Systems with Finite Memory", Recent Results on Nonlinear Delay Control Systems, pp. 261–273, 2016. PDF icon PDF (170.92 KB)
Liu, J., "Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability", International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2021.
Liu, J., "Robust abstractions for control synthesis: Completeness via robustness for linear-time properties", ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2017. PDF icon PDF (844.42 KB)
Liu, K-Z., X-M. Sun, W. Wang, and J. Liu, "Invariance principles for delay differential inclusions", Chinese Control and Decision Conference (CCDC), 2015. PDF icon PDF (187.67 KB)
Liu, J., and N. Ozay, "Abstraction, discretization, and robustness in temporal logic control of dynamical systems", ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2014. PDF icon PDF (1.98 MB)
Liu, J., and A. R. Teel, "Hybrid systems with memory: modelling and stability analysis via generalized solutions", IFAC World Congress, 2014. PDF icon PDF (212.99 KB)
Liu, J., and P. Prabhakar, "Switching control of dynamical systems from metric temporal logic specifications", IEEE International Conference on Robotics and Automation (ICRA), 2014. PDF icon PDF (570.84 KB)
Liu, J., and A. R. Teel, "Generalized solutions to hybrid systems with delays", IEEE Conference on Decision and Control (CDC), 2012. PDF icon PDF (274.64 KB)
Liu, J., U. Topcu, N. Ozay, and R. M. Murray, "Reactive controllers for differentially flat systems with temporal logic constraints", IEEE Conference on Decision and Control (CDC), 2012. PDF icon PDF (546.73 KB)
Liu, J., N. Ozay, U. Topcu, and R. M. Murray, "Switching protocol synthesis for temporal logic specifications", American Control Conference (ACC), 2012. PDF icon PDF (791.72 KB)
Liu, J., X. Liu, and W-C. Xie, "Extending LaSalle's invariance principle to impulsive switched systems with an application to hybrid epidemic dynamics", Chinese Control and Decision Conference (CCDC), 2010. PDF icon PDF (344.03 KB)
Liu, K-Z., X-F. Wang, A. R. Teel, X-M. Sun, and J. Liu, "A Matrosov Theorem for Hybrid Systems With Memory", IEEE Transactions on Automatic Control, vol. 66, 2021.
Liu, J., "Converse Barrier Functions via Lyapunov Functions", IEEE Transactions on Automatic Control, 2021.
Liu, J., "On the convergence of reinforcement learning with Monte Carlo Exploring Starts", Automatica, vol. 129, 2021.
Liu, K-Z., X-M. Sun, A. R. Teel, and J. Liu, "Stability analysis for networked control systems with sampling, transmission protocols and input delays", Nonlinear Analysis: Hybrid Systems, vol. 39, 2021.
Liu, Y., J. Liu, and W. Li, "Stabilization of Highly Nonlinear Stochastic Coupled Systems via Periodically Intermittent Control", IEEE Transactions on Automatic Control, vol. 66, 2021.
Liu, J., and A. R. Teel, "Hybrid systems with memory: existence and well-posedness of generalized solutions", SIAM Journal on Control and Optimization, vol. 56, pp. 1011–1037, 2018.
Liu, J., and N. Ozay, "Finite abstractions with robustness margins for temporal logic-based control synthesis", Nonlinear Analysis: Hybrid Systems, vol. 22, pp. 1–15, 2016. PDF icon PDF (703.92 KB)
Liu, J., and A. R. Teel, "Invariance principles for hybrid systems with memory", Nonlinear Analysis: Hybrid Systems, vol. 21, pp. 130–138, 2016. PDF icon PDF (385.21 KB)
Liu, J., and A. R. Teel, "Lyapunov-based sufficient conditions for stability of hybrid systems with memory", IEEE Transactions on Automatic Control, vol. 61, pp. 1057–1062, 2016. PDF icon PDF (221.91 KB)
Liu, K-Z., X-M. Sun, J. Liu, and A. R. Teel, "Stability theorems for delay differential inclusions", IEEE Transactions on Automatic Control, vol. 61, pp. 3215–3220, 2016. PDF icon PDF (259.84 KB)
Liu, J., H. Zhang, X. Liu, and W-C. Xie, "Distributed stochastic consensus of multi-agent systems with noisy and delayed measurements", IET Control Theory & Applications, vol. 7, pp. 1359–1369, 2013. PDF icon PDF (752.66 KB)
Liu, J., N. Ozay, U. Topcu, and R. M. Murray, "Synthesis of reactive switching protocols from temporal logic specifications", IEEE Transactions on Automatic Control, pp. 1771–1785, 2013. PDF icon PDF (2.71 MB)
Liu, J., X. Liu, and W-C. Xie, "Class-KL estimates and input-to-state stability analysis of impulsive switched systems", Systems & Control Letters, vol. 61, pp. 738–746, 2012. PDF icon PDF (564.69 KB)
Liu, J., X. Liu, and W-C. Xie, "Global convergence of neural networks with mixed time-varying delays and discontinuous neuron activations", Information Sciences, vol. 183, pp. 92–105, 2012. PDF icon PDF (445.85 KB)
Liu, J., "On asymptotic convergence and boundedness of stochastic systems with time-delay", Automatica , vol. 48, pp. 3166–3172, 2012. PDF icon PDF (292.45 KB)
Liu, J., X. Liu, and W-C. Xie, "Generalized invariance principles for switched delay systems", IMA Journal of Mathematical Control and Information, vol. 28, pp. 19–39, 2011. PDF icon PDF (233.15 KB)
Liu, J., X. Liu, and W-C. Xie, "Impulsive stabilization of stochastic functional differential equations", Applied Mathematics Letters, vol. 24, pp. 264–269, 2011. PDF icon PDF (1.01 MB)
Liu, J., X. Liu, and W-C. Xie, "Input-to-state stability of impulsive and switching hybrid systems with time-delay", Automatica , vol. 47, pp. 899–908, 2011. PDF icon PDF (840.22 KB)
Liu, J., X. Liu, and W-C. Xie, "Stability and stabilization of impulsive and switched hybrid stochastic delay systems", The Journal of Nonlinear Science and Applications, vol. 4, pp. 315–341, 2011. PDF icon PDF (760.98 KB)
Liu, J., X. Liu, and W-C. Xie, "Stochastic consensus seeking with communication delays", Automatica , vol. 47, pp. 2689–2696, 2011. PDF icon PDF (766.18 KB)
Liu, J., X. Liu, and W-C. Xie, "Existence and uniqueness results for impulsive hybrid stochastic delay systems", Communications on Applied Nonlinear Analysis, vol. 17, pp. 37–54, 2010. PDF icon PDF (339.88 KB)
Liu, J., X. Liu, and W-C. Xie, "On the $(h_0,h)$-stabilization of switched nonlinear systems via state-dependent switching rule", Applied Mathematics and Computation, vol. 217, pp. 2067–2083, 2010. PDF icon PDF (2.32 MB)
Liu, J., X. Liu, and W-C. Xie, "Exponential stability of switched stochastic delay systems with non-linear uncertainties", International Journal of Systems Science, vol. 40, pp. 637–648, 2009.
Liu, J., X. Liu, and W-C. Xie, "Invariance principles for impulsive switched systems", Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications & Algorithms, vol. 16, pp. 631–654, 2009.
Liu, J., X. Liu, and W-C. Xie, "Robust stabilization of stochastic switched delay systems via state-dependent switching rule", Dynamic Systems and Applications, vol. 18, pp. 213–239, 2009.
Liu, J., X. Liu, and W-C. Xie, "Uniform stability of switched nonlinear systems", Nonlinear Analysis: Hybrid Systems, vol. 3, pp. 441–454, 2009.
Liu, J., X. Liu, and W-C. Xie, "Delay-dependent robust control for uncertain switched systems with time-delay", Nonlinear Analysis: Hybrid Systems, vol. 2, pp. 81–95, 2008.
Liu, J., "Qualitative Studies of Nonlinear Hybrid Systems", Applied Mathematics, vol. Doctor of Philosophy, 2010. PDF icon PDF (9.9 MB)
Lucio, E. Noe Amezqu, J. Liu, and T. J. Dodd, "An Interactive Approach to Monocular SLAM", Towards Autonomous Robotic Systems (TAROS), 2015. PDF icon PDF (860.37 KB)

Publications search