Exponential stability of switched stochastic delay systems with non-linear uncertainties. - Jun Liu 015; Xinzhi Liu; Wei-Chau Xie (Int. J. Syst. Sci., 2009)

On the (h0, h)-stabilization of switched nonlinear systems via state-dependent switching rule. - Jun Liu 015; Xinzhi Liu; Wei-Chau Xie (Appl. Math. Comput., 2010)

Impulsive stabilization of stochastic functional differential equations. - Jun Liu 015; Xinzhi Liu; Wei-Chau Xie (Appl. Math. Lett., 2011)

Input-to-state stability of impulsive and switching hybrid systems with time-delay. - Jun Liu 015; Xinzhi Liu; Wei-Chau Xie (Autom., 2011)

Stochastic consensus seeking with communication delays. - Jun Liu 015; Xinzhi Liu; Wei-Chau Xie; Hongtao Zhang (Autom., 2011)

Generalized invariance principles for switched delay systems. - Jun Liu 015; Xinzhi Liu; Wei-Chau Xie (IMA J. Math. Control. Inf., 2011)

Switching protocol synthesis for temporal logic specifications. - Jun Liu 015; Necmiye Ozay; Ufuk Topcu; Richard M. Murray (ACC, 2012)

Decentralised minimal-time dynamic consensus. - Ye Yuan 002; Jun Liu 015; Richard M. Murray; Jorge M. Gonçalves (ACC, 2012)

Generalized solutions to hybrid systems with delays. - Jun Liu 015; Andrew R. Teel (CDC, 2012)

Reactive controllers for differentially flat systems with temporal logic constraints. - Jun Liu 015; Ufuk Topcu; Necmiye Ozay; Richard M. Murray (CDC, 2012)

On synthesizing robust discrete controllers under modeling uncertainty. - Ufuk Topcu; Necmiye Ozay; Jun Liu 015; Richard M. Murray (HSCC, 2012)

On asymptotic convergence and boundedness of stochastic systems with time-delay. - Jun Liu 015 (Autom., 2012)

Global convergence of neural networks with mixed time-varying delays and discontinuous neuron activations. - Jun Liu 015; Xinzhi Liu; Wei-Chau Xie (Inf. Sci., 2012)

Class-KL estimates and input-to-state stability analysis of impulsive switched systems. - Jun Liu 015; Xinzhi Liu; Wei-Chau Xie (Syst. Control. Lett., 2012)

Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. - Necmiye Ozay; Jun Liu 015; Pavithra Prabhakar; Richard M. Murray (ACC, 2013)

Pre-orders for reasoning about stability properties with respect to input of hybrid systems. - Pavithra Prabhakar; Jun Liu 015; Richard M. Murray (EMSOFT, 2013)

Chaos entanglement: a New Approach to Generate Chaos. - Hongtao Zhang; Xinzhi Liu; Xuemin Shen; Jun Liu 015 (Int. J. Bifurc. Chaos, 2013)

Synthesis of Reactive Switching Protocols From Temporal Logic Specifications. - Jun Liu 015; Necmiye Ozay; Ufuk Topcu; Richard M. Murray (IEEE Trans. Autom. Control., 2013)

Efficient control synthesis for augmented finite transition systems with an application to switching protocols. - Fei Sun; Necmiye Ozay; Eric M. Wolff; Jun Liu 015; Richard M. Murray (ACC, 2014)

Abstraction, discretization, and robustness in temporal logic control of dynamical systems. - Jun Liu 015; Necmiye Ozay (HSCC, 2014)

Switching control of dynamical systems from metric temporal logic specifications. - Jun Liu 015; Pavithra Prabhakar (ICRA, 2014)

Computing finite abstractions with robustness margins via local reachable set over-approximation. - Yinan Li 001; Jun Liu 015; Necmiye Ozay (ADHS, 2015)

Switching control of differential-algebraic equations with temporal logic specifications. - Yinan Li 001; Jun Liu 015 (ACC, 2015)

Hybrid systems with memory: Existence of generalized solutions and well-posedness. - Jun Liu 015; Andrew R. Teel (CoRR, 2015)

Sampling-based stochastic optimal control with metric interval temporal logic specifications. - Felipe J. Montana; Jun Liu 015; Tony J. Dodd (CCA, 2016)

An interval analysis approach to invariance control synthesis for discrete-time switched systems. - Yinan Li 001; Jun Liu 015 (CDC, 2016)

Bisimulations for input-output stability of hybrid systems. - Pavithra Prabhakar; Jun Liu 015 (CDC, 2016)

Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach. - Yinan Li 001; Jun Liu 015 (CoRR, 2016)

Stability Theorems for Delay Differential Inclusions. - Kun-Zhi Liu; Xi-Ming Sun; Jun Liu 015; Andrew R. Teel (IEEE Trans. Autom. Control., 2016)

Lyapunov-Based Sufficient Conditions for Stability of Hybrid Systems With Memory. - Jun Liu 015; Andrew R. Teel (IEEE Trans. Autom. Control., 2016)

Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information. - Felipe J. Montana; Jun Liu 015; Tony J. Dodd (FMICS-AVoCS, 2017)

Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications. - Felipe J. Montana; Jun Liu 015; Tony J. Dodd (FMICS-AVoCS, 2017)

Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties. - Jun Liu 015 (HSCC, 2017)

Formal verification of a gain scheduling control scheme. - Pablo Ordóñez; Andrew R. Mills; Tony J. Dodd; Jun Liu 015 (MED, 2017)

Distributed Kalman filtering with minimum-time consensus algorithm. - Ye Yuan 002; Ling Shi; Jun Liu 015; Zhiyong Chen 001; Hai-Tao Zhang; Jorge M. Gonçalves (CoRR, 2017)

Augmented finite transition systems as abstractions for control synthesis. - Petter Nilsson; Necmiye Ozay; Jun Liu 015 (Discret. Event Dyn. Syst., 2017)

Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis. - Yinan Li 001; Jun Liu 015 (ACC, 2018)

ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. - Yinan Li 001; Jun Liu 015 (HSCC, 2018)

Sampling-Based Motion Planning with μ-Calculus Specifications Without Steering. - Luc Larocque; Jun Liu 015 (ICRA, 2018)

Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. - Pavithra Prabhakar; Jun Liu 015; Richard M. Murray (Discret. Event Dyn. Syst., 2018)

Hybrid Systems with Memory: Existence and Well-posedness of Generalized Solutions. - Jun Liu 015; Andrew R. Teel (SIAM J. Control. Optim., 2018)

Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach. - Yinan Li 001; Jun Liu 015 (IEEE Trans. Autom. Control., 2018)

On the Powerball Method: Variants of Descent Methods for Accelerated Optimization. - Ye Yuan 002; Mu Li 003; Jun Liu 015; Claire J. Tomlin (IEEE Control. Syst. Lett., 2019)

pbSGD: Powered Stochastic Gradient Descent Methods for Accelerated Non-Convex Optimization. - Beitong Zhou; Jun Liu 015; Weigao Sun; Ruijuan Chen; Claire J. Tomlin; Ye Yuan 002 (IJCAI, 2020)

Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks. - Chuanzheng Wang; Yinan Li 001; Stephen L. Smith 001; Jun Liu 015 (CoRR, 2020)

Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications. - Mohammad Hadi Zibaeenejad; Jun Liu 015 (IEEE Trans. Autom. Control., 2020)

Nonlinear Optimal Feedback Control and Stability Analysis of Solar Photovoltaic Systems. - Milad Farsi; Jun Liu 015 (IEEE Trans. Control. Syst. Technol., 2020)

H-Infinity Load Frequency Control of Networked Power Systems via an Event-Triggered Scheme. - He Zhang 002; Jun Liu 015; Shengyuan Xu 001 (IEEE Trans. Ind. Electron., 2020)

Stability Analysis for Homogeneous Hybrid Systems With Delays. - Yan He 003; Xi-Ming Sun; Jun Liu 015; Yuhu Wu (IEEE Trans. Syst. Man Cybern. Syst., 2020)

ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. - Yinan Li 001; Zhibing Sun; Jun Liu 015 (ADHS, 2021)

Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. - Pavithra Prabhakar; Jun Liu 015 (ADHS, 2021)

A Structured Online Learning Approach to Nonlinear Tracking with Unknown Dynamics. - Milad Farsi; Jun Liu 015 (ACC, 2021)

Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model. - Yiming Meng; Yinan Li 001; Jun Liu 015 (ACC, 2021)

Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions. - Chuanzheng Wang; Yiming Meng; Stephen L. Smith 001; Jun Liu 015 (CDC, 2021)

Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control. - Chuanzheng Wang; Yiming Meng; Yinan Li 001; Stephen L. Smith 001; Jun Liu 015 (ECC, 2021)

Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability. - Jun Liu 015 (FORMATS, 2021)

Safe Linear Temporal Logic Motion Planning in Dynamic Environments. - Yinan Li 001; Ebrahim Moradi Shahrivar; Jun Liu 015 (IROS, 2021)

On the convergence of reinforcement learning with Monte Carlo Exploring Starts. - Jun Liu 015 (Autom., 2021)

DeFed: A Principled Decentralized and Privacy-Preserving Federated Learning Algorithm. - Ye Yuan 002; Ruijuan Chen; Chuan Sun; Maolin Wang; Feng Hua; Xinlei Yi; Tao Yang 003; Jun Liu 015 (CoRR, 2021)

Under-Approximate Reachability Analysis for a Class of Linear Uncertain Systems. - Mohamed A. Serry; Jun Liu 015 (CoRR, 2021)

Convergence Analysis of a Continuous-Time Distributed Gradient Descent Algorithm. - Mengyao Zhang; Xinzhi Liu; Jun Liu 015 (IEEE Control. Syst. Lett., 2021)

Input-to-state stability analysis for homogeneous hybrid systems with bounded time-varying delays. - Yan He 003; Xi-Ming Sun; Jun Liu 015; Yuhu Wu (Int. J. Control, 2021)

Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay. - Ruijuan Chen; Yinan Li 001; Jun Liu 015 (J. Frankl. Inst., 2021)

Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications. - Yinan Li 001; Jun Liu 015 (IEEE Trans. Autom. Control., 2021)

Stabilization of Highly Nonlinear Stochastic Coupled Systems via Periodically Intermittent Control. - Yan Liu; Jun Liu 015; Wenxue Li (IEEE Trans. Autom. Control., 2021)

A Matrosov Theorem for Hybrid Systems With Memory. - Kun-Zhi Liu; Xue-Fang Wang 001; Andrew R. Teel; Xi-Ming Sun; Jun Liu 015 (IEEE Trans. Autom. Control., 2021)

Event-Triggered Fuzzy Flight Control of a Two-Degree-of-Freedom Helicopter System. - He Zhang 002; Jun Liu 015 (IEEE Trans. Fuzzy Syst., 2021)

Structured Online Learning for Low-Level Control of Quadrotors. - Milad Farsi; Jun Liu 015 (ACC, 2022)

Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions. - Yiming Meng; Jun Liu 015 (ACC, 2022)

Multiple Control Barrier Functions: An Application to Reactive Obstacle Avoidance for a Multi-steering Tractor-trailer System. - Mohammad Aali; Jun Liu 015 (CDC, 2022)

Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions. - Chuanzheng Wang; Yiming Meng; Stephen L. Smith 001; Jun Liu 015 (CDC, 2022)

On Almost Sure Convergence Rates of Stochastic Gradient Methods. - Jun Liu 015; Ye Yuan 002 (COLT, 2022)

Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems. - Yiming Meng; Jun Liu 015 (FORMATS, 2022)

A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees. - Milad Farsi; Yinan Li 001; Ye Yuan 002; Jun Liu 015 (L4DC, 2022)

Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees. - Ruikun Zhou; Thanin Quartz; Hans De Sterck; Jun Liu 015 (NeurIPS, 2022)

A note on the equivalence of a strongly convex function and its induced contractive differential equation. - Maxwell Fitzsimmons; Jun Liu 015 (Autom., 2022)

Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications. - Yiming Meng; Yinan Li 001; Maxwell Fitzsimmons; Jun Liu 015 (Autom., 2022)

Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments. - Ye Zhao 002; Yinan Li 001; Luis Sentis; Ufuk Topcu; Jun Liu 015 (Int. J. Robotics Res., 2022)

Converse Barrier Functions via Lyapunov Functions. - Jun Liu 015 (IEEE Trans. Autom. Control., 2022)

Practical Stabilization of Networked Takagi-Sugeno Fuzzy Systems via Improved Jensen Inequalities. - He Zhang 002; Jun Liu 015; Shengyuan Xu 001; Zhengqiang Zhang (IEEE Trans. Cybern., 2022)

Practical Stability and Event-Triggered Load Frequency Control of Networked Power Systems. - He Zhang 002; Jun Liu 015; Shengyuan Xu 001 (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Towards Learning and Verifying Maximal Neural Lyapunov Functions. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (CDC, 2023)

Bridging Physics-Informed Neural Networks with Reinforcement Learning: Hamilton-Jacobi-Bellman Proximal Policy Optimization (HJBPPO). - Amartya Mukherjee; Jun Liu 015 (CoRR, 2023)

Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems. - Yiming Meng; Jun Liu 015 (CoRR, 2023)

Actor-Critic Methods using Physics-Informed Neural Networks: Control of a 1D PDE Model for Fluid-Cooled Battery Packs. - Amartya Mukherjee; Jun Liu 015 (CoRR, 2023)

Euler-Bernoulli beams with contact forces: existence, uniqueness, and numerical solutions. - Mohamed A. Serry; Sean D. Peterson; Jun Liu 015 (CoRR, 2023)

Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications. - Amartya Mukherjee; Ruikun Zhou; Jun Liu 015 (CoRR, 2023)

Stochastic Control Barrier Functions with Bayesian Inference for Unknown Stochastic Differential Equations. - Chuanzheng Wang; Yiming Meng; Jun Liu 015; Stephen L. Smith 001 (CoRR, 2023)

Zonotopic Under-Approximations of Input Reachable Sets for Controllable Linear Systems. - Mohamed A. Serry; Jun Liu 015 (IEEE Control. Syst. Lett., 2023)

A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems. - Yinan Li 001; Zhibing Sun; Jun Liu 015 (IEEE Trans. Autom. Control., 2023)

LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees. - Jun Liu 015; Yiming Meng; Ruikun Zhou (ADHS, 2024)

Learning High-Order Control Barrier Functions for Safety-Critical Control with Gaussian Processes. - Mohammad Aali; Jun Liu 015 (ACC, 2024)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (ACC, 2024)

Zubov-Koopman Learning of Maximal Lyapunov Functions. - Yiming Meng; Ruikun Zhou; Jun Liu 015 (ACC, 2024)

Safe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets. - Mohamed Serry; Liren Yang; Necmiye Ozay; Jun Liu 015 (ACC, 2024)

Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm. - Yiming Meng; Ruikun Zhou; Melkior Ornik; Jun Liu 015 (CDC, 2024)

Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes. - Mohammad Aali; Jun Liu 015 (ECC, 2024)

TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (HSCC, 2024)

Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (HSCC, 2024)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification. - Yiming Meng; Ruikun Zhou; Amartya Mukherjee; Maxwell Fitzsimmons; Christopher Song; Jun Liu 015 (ICML, 2024)

Denoising Diffusion Restoration Tackles Forward and Inverse Problems for the Laplace Operator. - Amartya Mukherjee; Melissa M. Stadt; Lena Podina; Mohammad Kohandel; Jun Liu 015 (CoRR, 2024)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (CoRR, 2024)

Manifold-Guided Lyapunov Control with Diffusion Models. - Amartya Mukherjee; Thanin Quartz; Jun Liu 015 (CoRR, 2024)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees. - Mohamed Serry; Haocheng Chang; Jun Liu 015 (CoRR, 2024)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems. - Thanin Quartz; Ruikun Zhou; Hans De Sterck; Jun Liu 015 (CoRR, 2024)

Formally Verified Physics-Informed Neural Control Lyapunov Functions. - Jun Liu 015; Maxwell Fitzsimmons; Ruikun Zhou; Yiming Meng (CoRR, 2024)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems. - Ruikun Zhou; Yiming Meng; Zhexuan Zeng; Jun Liu 015 (CoRR, 2024)

A Neural Network Approach to Finding Global Lyapunov Functions for Homogeneous Vector Fields. - Maxwell Fitzsimmons; Jun Liu 015 (IEEE Control. Syst. Lett., 2024)

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets. - Mohamed Serry; Jun Liu 015 (IEEE Control. Syst. Lett., 2024)

Signal Temporal Logic Planning With Time-Varying Robustness. - Yating Yuan; Thanin Quartz; Jun Liu 015 (IEEE Control. Syst. Lett., 2024)

Physics-Informed Extreme Learning Machine Lyapunov Functions. - Ruikun Zhou; Maxwell Fitzsimmons; Yiming Meng; Jun Liu 015 (IEEE Control. Syst. Lett., 2024)

A Generalized Nyquist-Shannon Sampling Theorem Using the Koopman Operator. - Zhexuan Zeng; Jun Liu 015; Ye Yuan 002 (IEEE Trans. Signal Process., 2024)

Underapproximate Reachability Analysis for a Class of Linear Systems With Inputs. - Mohamed Serry; Jun Liu 015 (IEEE Trans. Autom. Control., 2024)

Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications. - Yiming Meng; Jun Liu 015 (IEEE Trans. Autom. Control., 2024)

Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator. - Zhexuan Zeng; Ruikun Zhou; Yiming Meng; Jun Liu 015 (L4DC, 2025)

Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (Autom., 2025)

All Data-Driven LQR Algorithms Require at Least as Much Interval Data as System Identification. - Christopher Song; Jun Liu 015 (IEEE Control. Syst. Lett., 2025)

Static Euler-Bernoulli beams with contact forces: Existence, uniqueness, and numerical solutions. - Mohamed A. Serry; Sean D. Peterson; Jun Liu 015 (Math. Comput. Simul., 2025)

Koopman Spectral Analysis and System Identification for Stochastic Dynamical Systems via Yosida Approximation of Generators. - Jun Zhou; Yiming Meng; Jun Liu 015 (CoRR, 2025)

Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation. - Mohamed Serry; Haoyu Li; Ruikun Zhou; Huan Zhang; Jun Liu 015 (CoRR, 2025)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions. - Jun Liu 015; Maxwell Fitzsimmons (CoRR, 2025)