Jun Liu

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 72

Top Topics

Dynamical Systems

Interval Analysis

Top Venues

IEEE Trans. Autom. Control.

Publications

Mohammad Aali, Jun Liu
Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes. ECC (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. HSCC (2024)
Maxwell Fitzsimmons, Jun Liu
A Neural Network Approach to Finding Global Lyapunov Functions for Homogeneous Vector Fields. IEEE Control. Syst. Lett. 8 (2024)
Yiming Meng, Jun Liu
Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications. IEEE Trans. Autom. Control. 69 (8) (2024)
Mohamed Serry, Jun Liu
Underapproximate Reachability Analysis for a Class of Linear Systems With Inputs. IEEE Trans. Autom. Control. 69 (2) (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. HSCC (2024)
Mohammad Aali, Jun Liu
Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes. CoRR (2024)
Mohammad Aali, Jun Liu
Learning High-Order Control Barrier Functions for Safety-Critical Control with Gaussian Processes. CoRR (2024)
Ruikun Zhou, Maxwell Fitzsimmons, Yiming Meng, Jun Liu
Physics-Informed Extreme Learning Machine Lyapunov Functions. IEEE Control. Syst. Lett. 8 (2024)
Mohamed A. Serry, Sean D. Peterson, Jun Liu
Euler-Bernoulli beams with contact forces: existence, uniqueness, and numerical solutions. CoRR (2023)
Yinan Li, Zhibing Sun, Jun Liu
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems. IEEE Trans. Autom. Control. 68 (4) (2023)
Mohamed Serry, Jun Liu
Zonotopic Under-Approximations of Input Reachable Sets for Controllable Linear Systems. IEEE Control. Syst. Lett. 7 (2023)
Yiming Meng, Jun Liu
Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems. CoRR (2023)
He Zhang, Jun Liu, Shengyuan Xu, Zhengqiang Zhang
Practical Stabilization of Networked Takagi-Sugeno Fuzzy Systems via Improved Jensen Inequalities. IEEE Trans. Cybern. 52 (6) (2022)
Maxwell Fitzsimmons, Jun Liu
A note on the equivalence of a strongly convex function and its induced contractive differential equation. Autom. 142 (2022)
Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions. CoRR (2022)
Yiming Meng, Jun Liu
Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems. FORMATS (2022)
Yiming Meng, Yinan Li, Maxwell Fitzsimmons, Jun Liu
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications. Autom. 144 (2022)
Jun Liu, Ye Yuan
On Almost Sure Convergence Rates of Stochastic Gradient Methods. COLT (2022)
Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments. Int. J. Robotics Res. 41 (8) (2022)
Yiming Meng, Jun Liu
Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions. ACC (2022)
Milad Farsi, Yinan Li, Ye Yuan, Jun Liu
A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees. L4DC (2022)
Jun Liu
Converse Barrier Functions via Lyapunov Functions. IEEE Trans. Autom. Control. 67 (1) (2022)
Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions. CDC (2022)
He Zhang, Jun Liu, Shengyuan Xu
Practical Stability and Event-Triggered Load Frequency Control of Networked Power Systems. IEEE Trans. Syst. Man Cybern. Syst. 52 (10) (2022)
Milad Farsi, Jun Liu
Structured Online Learning for Low-Level Control of Quadrotors. ACC (2022)
Milad Farsi, Jun Liu
A Structured Online Learning Approach to Nonlinear Tracking with Unknown Dynamics. ACC (2021)
Yan Liu, Jun Liu, Wenxue Li
Stabilization of Highly Nonlinear Stochastic Coupled Systems via Periodically Intermittent Control. IEEE Trans. Autom. Control. 66 (10) (2021)
Jun Liu
On the convergence of reinforcement learning with Monte Carlo Exploring Starts. Autom. 129 (2021)
Yinan Li, Jun Liu
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications. IEEE Trans. Autom. Control. 66 (3) (2021)
Pavithra Prabhakar, Jun Liu
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. ADHS (2021)
Ruijuan Chen, Yinan Li, Jun Liu
Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay. J. Frankl. Inst. 358 (14) (2021)
Yan He, Xi-Ming Sun, Jun Liu, Yuhu Wu
Input-to-state stability analysis for homogeneous hybrid systems with bounded time-varying delays. Int. J. Control 94 (2) (2021)
Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions. CoRR (2021)
Yinan Li, Zhibing Sun, Jun Liu
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. ADHS (2021)
Yinan Li, Zhibing Sun, Jun Liu
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems. CoRR (2021)
Yiming Meng, Yinan Li, Jun Liu
Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model. ACC (2021)
Mengyao Zhang, Xinzhi Liu, Jun Liu
Convergence Analysis of a Continuous-Time Distributed Gradient Descent Algorithm. IEEE Control. Syst. Lett. 5 (4) (2021)
He Zhang, Jun Liu
Event-Triggered Fuzzy Flight Control of a Two-Degree-of-Freedom Helicopter System. IEEE Trans. Fuzzy Syst. 29 (10) (2021)
Yinan Li, Ebrahim Moradi Shahrivar, Jun Liu
Safe Linear Temporal Logic Motion Planning in Dynamic Environments. IROS (2021)
Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions. CDC (2021)
Jun Liu
Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability. FORMATS (2021)
Kun-Zhi Liu, Xue-Fang Wang, Andrew R. Teel, Xi-Ming Sun, Jun Liu
A Matrosov Theorem for Hybrid Systems With Memory. IEEE Trans. Autom. Control. 66 (10) (2021)
Chuanzheng Wang, Yiming Meng, Yinan Li, Stephen L. Smith, Jun Liu
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control. ECC (2021)
Jun Liu, Yiming Meng, Yinan Li, Maxwell Fitzsimmons
Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications. CoRR (2020)
Beitong Zhou, Jun Liu, Weigao Sun, Ruijuan Chen, Claire J. Tomlin, Ye Yuan
pbSGD: Powered Stochastic Gradient Descent Methods for Accelerated Non-Convex Optimization. IJCAI (2020)
Chuanzheng Wang, Yinan Li, Yiming Meng, Stephen L. Smith, Jun Liu
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control. CoRR (2020)
He Zhang, Jun Liu, Shengyuan Xu
H-Infinity Load Frequency Control of Networked Power Systems via an Event-Triggered Scheme. IEEE Trans. Ind. Electron. 67 (8) (2020)
Milad Farsi, Jun Liu
Nonlinear Optimal Feedback Control and Stability Analysis of Solar Photovoltaic Systems. IEEE Trans. Control. Syst. Technol. 28 (6) (2020)
Chuanzheng Wang, Yinan Li, Stephen L. Smith, Jun Liu
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks. CoRR (2020)
Mohammad Hadi Zibaeenejad, Jun Liu
Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications. IEEE Trans. Autom. Control. 65 (10) (2020)
Ye Yuan, Mu Li, Jun Liu, Claire J. Tomlin
On the Powerball Method: Variants of Descent Methods for Accelerated Optimization. IEEE Control. Syst. Lett. 3 (3) (2019)
Yinan Li, Jun Liu
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. HSCC (2018)
Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu
Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments. CoRR (2018)
Luc Larocque, Jun Liu
Sampling-Based Motion Planning with μ-Calculus Specifications Without Steering. ICRA (2018)
Pavithra Prabhakar, Jun Liu, Richard M. Murray
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. Discret. Event Dyn. Syst. 28 (3) (2018)
Yinan Li, Jun Liu
Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach. IEEE Trans. Autom. Control. 63 (7) (2018)
Jun Liu, Andrew R. Teel
Hybrid Systems with Memory: Existence and Well-posedness of Generalized Solutions. SIAM J. Control. Optim. 56 (2) (2018)
Yinan Li, Jun Liu
Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis. ACC (2018)
Yinan Li, Jun Liu
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. HSCC (2018)
Petter Nilsson, Necmiye Ozay, Jun Liu
Augmented finite transition systems as abstractions for control synthesis. Discret. Event Dyn. Syst. 27 (2) (2017)
Pablo Ordóñez, Andrew R. Mills, Tony J. Dodd, Jun Liu
Formal verification of a gain scheduling control scheme. MED (2017)
Felipe J. Montana, Jun Liu, Tony J. Dodd
Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications. FMICS-AVoCS (2017)
Ye Yuan, Ling Shi, Jun Liu, Zhiyong Chen, Hai-Tao Zhang, Jorge M. Gonçalves
Distributed Kalman filtering with minimum-time consensus algorithm. CoRR (2017)
Jun Liu
Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties. HSCC (2017)
Felipe J. Montana, Jun Liu, Tony J. Dodd
Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information. FMICS-AVoCS (2017)
Kun-Zhi Liu, Xi-Ming Sun, Jun Liu, Andrew R. Teel
Stability Theorems for Delay Differential Inclusions. IEEE Trans. Autom. Control. 61 (10) (2016)
Felipe J. Montana, Jun Liu, Tony J. Dodd
Sampling-based stochastic optimal control with metric interval temporal logic specifications. CCA (2016)
Jun Liu, Andrew R. Teel
Lyapunov-Based Sufficient Conditions for Stability of Hybrid Systems With Memory. IEEE Trans. Autom. Control. 61 (4) (2016)
Pavithra Prabhakar, Jun Liu
Bisimulations for input-output stability of hybrid systems. CDC (2016)
Yinan Li, Jun Liu
Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach. CoRR (2016)
Yinan Li, Jun Liu
An interval analysis approach to invariance control synthesis for discrete-time switched systems. CDC (2016)
Yinan Li, Jun Liu, Necmiye Ozay
Computing finite abstractions with robustness margins via local reachable set over-approximation. CoRR (2015)
Yinan Li, Jun Liu, Necmiye Ozay
Computing finite abstractions with robustness margins via local reachable set over-approximation. ADHS (2015)
Jun Liu, Andrew R. Teel
Lyapunov-based sufficient conditions for stability of hybrid systems with memory. CoRR (2015)
Yinan Li, Jun Liu
Switching control of differential-algebraic equations with temporal logic specifications. ACC (2015)
Jun Liu, Andrew R. Teel
Hybrid systems with memory: Existence of generalized solutions and well-posedness. CoRR (2015)
Jun Liu, Pavithra Prabhakar
Switching control of dynamical systems from metric temporal logic specifications. ICRA (2014)
Jun Liu, Necmiye Ozay
Abstraction, discretization, and robustness in temporal logic control of dynamical systems. HSCC (2014)
Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu, Richard M. Murray
Efficient control synthesis for augmented finite transition systems with an application to switching protocols. ACC (2014)
Pavithra Prabhakar, Jun Liu, Richard M. Murray
Pre-orders for reasoning about stability properties with respect to input of hybrid systems. EMSOFT (2013)
Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications. IEEE Trans. Autom. Control. 58 (7) (2013)
Hongtao Zhang, Xinzhi Liu, Xuemin Shen, Jun Liu
Chaos entanglement: a New Approach to Generate Chaos. Int. J. Bifurc. Chaos 23 (5) (2013)
Necmiye Ozay, Jun Liu, Pavithra Prabhakar, Richard M. Murray
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. ACC (2013)
Jun Liu, Xinzhi Liu, Wei-Chau Xie
Global convergence of neural networks with mixed time-varying delays and discontinuous neuron activations. Inf. Sci. 183 (1) (2012)
Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
Switching protocol synthesis for temporal logic specifications. ACC (2012)
Jun Liu, Andrew R. Teel
Generalized solutions to hybrid systems with delays. CDC (2012)
Ye Yuan, Jun Liu, Richard M. Murray, Jorge M. Gonçalves
Decentralised minimal-time dynamic consensus. ACC (2012)
Jun Liu, Ufuk Topcu, Necmiye Ozay, Richard M. Murray
Reactive controllers for differentially flat systems with temporal logic constraints. CDC (2012)
Ufuk Topcu, Necmiye Ozay, Jun Liu, Richard M. Murray
On synthesizing robust discrete controllers under modeling uncertainty. HSCC (2012)
Jun Liu
On asymptotic convergence and boundedness of stochastic systems with time-delay. Autom. 48 (12) (2012)
Jun Liu, Xinzhi Liu, Wei-Chau Xie
Class-KL estimates and input-to-state stability analysis of impulsive switched systems. Syst. Control. Lett. 61 (6) (2012)
Jun Liu, Xinzhi Liu, Wei-Chau Xie, Hongtao Zhang
Stochastic consensus seeking with communication delays. Autom. 47 (12) (2011)
Jun Liu, Xinzhi Liu, Wei-Chau Xie
Impulsive stabilization of stochastic functional differential equations. Appl. Math. Lett. 24 (3) (2011)
Jun Liu, Xinzhi Liu, Wei-Chau Xie
Input-to-state stability of impulsive and switching hybrid systems with time-delay. Autom. 47 (5) (2011)
Jun Liu, Xinzhi Liu, Wei-Chau Xie
Generalized invariance principles for switched delay systems. IMA J. Math. Control. Inf. 28 (1) (2011)
Jun Liu, Xinzhi Liu, Wei-Chau Xie
, h)-stabilization of switched nonlinear systems via state-dependent switching rule. Appl. Math. Comput. 217 (5) (2010)
Jun Liu, Xinzhi Liu, Wei-Chau Xie
Exponential stability of switched stochastic delay systems with non-linear uncertainties. Int. J. Syst. Sci. 40 (6) (2009)