F
Farsi, M., and J. Liu, "A Structured Online Learning Approach to Nonlinear Tracking with Unknown Dynamics", American Control Conference (ACC), 2021.
Farsi, M., and J. Liu, "Structured Online Learning-based Control of Continuous-time Nonlinear Systems", IFAC World Congress, 2020.
Farsi, M., and J. Liu, "Nonlinear optimal feedback control and stability analysis of solar photovoltaic systems", IEEE Transactions on Control Systems Technology, 2019.
Fitzsimmons, M., and J. Liu, "A Necessary Condition on Chain Reachable Robustness of Dynamical Systems", IFAC World Congress, 2020.
H
He, Y., X-M. Sun, J. Liu, and Y. Wu, "Input-to-state stability analysis for homogeneous hybrid systems with bounded time-varying delays", International Journal of Control, 2019.
He, Y., X-M. Sun, J. Liu, and Y. Wu, "Stability analysis for homogeneous hybrid systems with delays", IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2019.
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 (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 (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 (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 (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 (436.03 KB)
Li, Y., and J. Liu, "Switching control of differential-algebraic equations with temporal logic specifications", American Control Conference (ACC), 2015.
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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (445.85 KB)
Liu, J., "On asymptotic convergence and boundedness of stochastic systems with time-delay", Automatica , vol. 48, pp. 3166–3172, 2012.
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 (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 (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 (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 (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 (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 (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 (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 (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 (860.37 KB)
M
Meng, Y., Y. Li, and J. Liu, "Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model", American Control Conference (ACC), 2021.
Montana, F. J., J. Liu, and T. J. Dodd, "Sampling-based stochastic optimal control with metric interval temporal logic specifications", IEEE Multi-Conference on Systems and Control (MSC), 2016.
PDF (283.39 KB)
Montana, F. J., J. Liu, and T. J. Dodd, "Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications", Critical Systems: Formal Methods and Automated Verification, vol. 10471: Springer, pp. 150–164, 2017.
Montana, F. J., J. Liu, and T. J. Dodd, "Sampling-based reactive motion planning with temporal logic constraints and imperfect state information", Critical Systems: Formal Methods and Automated Verification, vol. 10471: Springer, pp. 134–149, 2017.
N
Nilsson, P., N. Ozay, and J. Liu, "Augmented finite transition systems as abstractions for control synthesis", Journal of Discrete Event Dynamic Systems, vol. 27, pp. 301–340, 2017.
PDF (1.31 MB)
O
Ordóñez, P., A. R. Mill, T. J. Dodd, and J. Liu, "Formal verification of a gain scheduling control scheme", Mediterranean Conference on Control and Automation (MED): IEEE, 2017.
Ozay, N., J. Liu, P. Prabhakar, and R. M. Murray, "Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems", American Control Conference (ACC), 2013.
PDF (313.19 KB)
P
Prabhakar, P., and J. Liu, "Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems", IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2021.
Prabhakar, P., and J. Liu, "Bisimulations for input-output stability of hybrid systems", IEEE Conference on Decision and Control (CDC), 2016.
PDF (232.34 KB)
Prabhakar, P., J. Liu, and R. M. Murray, "Pre-orders for reasoning about stability properties with respect to input of hybrid systems", ACM International Conference on Embedded Software (EMSOFT) , 2013.
PDF (819.67 KB)
Prabhakar, P., J. Liu, and R. M. Murray, "Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems", Discrete Event Dynamic Systems, vol. 28, pp. 349–374, 2018.
PDF (890.32 KB)
R
Rao, A. Chakrapani, and J. Liu, "Advances in addressing challenges in complex control systems design", International Conference on Advances in Control and Optimization of Dynamical Systems (ACODS), 2014.
PDF (562.11 KB)
S
Sun, F., N. Ozay, E. M. Wolff, and R. M. Murray, "Efficient control synthesis for augmented finite transition systems with an application to switching protocols", American Control Conference (ACC), 2014.
PDF (848.09 KB)
T
Topcu, U., N. Ozay, J. Liu, and R. M. Murray, "On synthesizing robust discrete controllers under modeling uncertainty", ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2012.
PDF (1.07 MB)
Y
Yuan, Y., J. Liu, R. M. Murray, and J. Gonçalves, "Decentralised minimal-time dynamic consensus", American Control Conference (ACC), 2012.
PDF (245.38 KB)
Yuan, Y., M. Li, J. Liu, and C. J. Tomlin, "On the powerball method: variants of descent methods for accelerated optimization", IEEE Control Systems Letters , vol. 3, pp. 601–606, 2019.
Z
Zhang, M., X. Liu, and J. Liu, "Convergence Analysis of a Continuous-Time Distributed Gradient Descent Algorithm", IEEE Control Systems Letters, vol. 5, 2021.
Zhang, H., and J. Liu, "Event-Triggered Fuzzy Flight Control of a Two-Degree-of-Freedom Helicopter System", IEEE Transactions on Fuzzy Systems , vol. 29, 2021.
Zhang, H., J. Liu, S. Xu, and Z. Zhang, "Practical Stabilization of Networked Takagi-Sugeno Fuzzy Systems via Improved Jensen Inequalities", IEEE Transactions on Cybernetics, 2020.
Zhang, H., J. Liu, and S. Xu, "H-infinity load frequency control of networked power systems via an event-triggered scheme", IEEE Transactions on Industrial Electronics, 2019.
Zhang, H., X. Liu, X. Shen, and J. Liu, "Chaos entanglement: a new approach to generate chaos", International Journal of Bifurcation and Chaos, vol. 23, 2013.
PDF (2.36 MB)
Zhang, H., X. Liu, X. Shen, and J. Liu, "Intermittent impulsive synchronization of hyperchaos with application to secure communication", Asian Journal of Control, vol. 15, pp. 1686–1699, 2013.
PDF (1.34 MB)
Zhang, H., X. Liu, and X. Shen, "A family of novel chaotic and hyperchaotic attractors from delay differential equation", Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications & Algorithms, vol. 19, pp. 411–430, 2012.
PDF (3.88 MB)
Zhao, Y., Y. Li, L. Sentis, U. Topcu, and J. Liu, "Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments", The International Journal of Robotics Research, accepted, 2020.
Zhou, B., J. Liu, W. Sun, R. Chen, C. J. Tomlin, and Y. Yuan, "pbSGD: Powered Stochastic Gradient Descent Methods for Accelerated Nonconvex Optimization", International Joint Conference on Artificial Intelligence (IJCAI), accepted, 2020.
M. Zibaeenejad, H., and J. Liu, "Auditor product and controller synthesis for non-deterministic transition systems with practical LTL specifications", IEEE Transactions on Automatic Control, 2019.