Jun Liu

157 papers A* 6A 1C 17Misc 1Journal 99Unranked 33
YearRankTypeTitle / Venue / Authors
2026 J jnl
Rigorous Error Certification for Neural PDE Solvers: From Empirical Residuals to Solution Guarantees.
CoRR
Amartya Mukherjee, Maxwell Fitzsimmons, David C. Del Rey Fernández, Jun Liu
2026 J jnl
Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation.
CoRR
Mohamed Serry, Maxwell Fitzsimmons, Jun Liu
2025 J jnl
A Converse Control Lyapunov Theorem for Joint Safety and Stability.
CoRR
Thanin Quartz, Maxwell Fitzsimmons, Jun Liu
2025 J jnl
All Data-Driven LQR Algorithms Require at Least as Much Interval Data as System Identification.
IEEE Control. Syst. Lett.
Christopher Song, Jun Liu
2025 J jnl
Almost Sure Convergence Analysis of Differentially Private Stochastic Gradient Methods.
CoRR
Amartya Mukherjee, Jun Liu
2025 J jnl
Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees.
CoRR
Jun Liu, Maxwell Fitzsimmons
2025 — conf
Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator.
L4DC
Zhexuan Zeng, Ruikun Zhou, Yiming Meng, Jun Liu
2025 C conf
Formally Verified Physics-Informed Neural Control Lyapunov Functions.
ACC
Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng
2025 J jnl
Koopman Spectral Analysis and System Identification for Stochastic Dynamical Systems via Yosida Approximation of Generators.
CoRR
Jun Zhou, Yiming Meng, Jun Liu
2025 — conf
Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems.
CDC
Ruikun Zhou, Yiming Meng, Zhexuan Zeng, Jun Liu
2025 J jnl
Learning Neural Network Safe Tracking Controllers from Backward Reachable Sets.
CoRR
Yuezhu Xu, Mohamed Serry, Jun Liu, S. Sivaranjani
2025 J jnl
Learning Regions of Attraction in Unknown Dynamical Systems via Zubov-Koopman Lifting: Regularities and Convergence.
IEEE Trans. Autom. Control.
Yiming Meng, Ruikun Zhou, Jun Liu
2025 C conf
Manifold-Guided Stabilization of Nonlinear Dynamical Systems with Diffusion Models.
ACC
Amartya Mukherjee, Thanin Quartz, Jun Liu
2025 J jnl
Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification.
Autom.
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2025 — conf
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation.
CDC
Mohamed Serry, Haoyu Li, Ruikun Zhou, Huan Zhang, Jun Liu
2025 J jnl
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation.
CoRR
Mohamed Serry, Haoyu Li, Ruikun Zhou, Huan Zhang, Jun Liu
2025 J jnl
Static Euler-Bernoulli beams with contact forces: Existence, uniqueness, and numerical solutions.
Math. Comput. Simul.
Mohamed A. Serry, Sean D. Peterson, Jun Liu
2025 — conf
Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems.
CDC
Thanin Quartz, Ruikun Zhou, Hans De Sterck, Jun Liu
2025 — conf
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions.
QEST+FORMATS
Jun Liu, Maxwell Fitzsimmons
2025 J jnl
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions.
CoRR
Jun Liu, Maxwell Fitzsimmons
2024 J jnl
A Generalized Nyquist-Shannon Sampling Theorem Using the Koopman Operator.
IEEE Trans. Signal Process.
Zhexuan Zeng, Jun Liu, Ye Yuan
2024 J jnl
A Neural Network Approach to Finding Global Lyapunov Functions for Homogeneous Vector Fields.
IEEE Control. Syst. Lett.
Maxwell Fitzsimmons, Jun Liu
2024 J jnl
Almost Sure Convergence Rates Analysis and Saddle Avoidance of Stochastic Gradient Methods.
J. Mach. Learn. Res.
Jun Liu, Ye Yuan
2024 C conf
Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.
ACC
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024 J jnl
Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.
CoRR
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024 J jnl
Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator.
CoRR
Zhexuan Zeng, Ruikun Zhou, Yiming Meng, Jun Liu
2024 J jnl
Denoising Diffusion Restoration Tackles Forward and Inverse Problems for the Laplace Operator.
CoRR
Amartya Mukherjee, Melissa M. Stadt, Lena Podina, Mohammad Kohandel, Jun Liu
2024 J jnl
Formally Verified Physics-Informed Neural Control Lyapunov Functions.
CoRR
Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng
2024 — conf
Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm.
CDC
Yiming Meng, Ruikun Zhou, Melkior Ornik, Jun Liu
2024 C conf
Learning High-Order Control Barrier Functions for Safety-Critical Control with Gaussian Processes.
ACC
Mohammad Aali, Jun Liu
2024 J jnl
Learning High-Order Control Barrier Functions for Safety-Critical Control with Gaussian Processes.
CoRR
Mohammad Aali, Jun Liu
2024 J jnl
Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems.
CoRR
Ruikun Zhou, Yiming Meng, Zhexuan Zeng, Jun Liu
2024 — conf
Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes.
ECC
Mohammad Aali, Jun Liu
2024 J jnl
Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes.
CoRR
Mohammad Aali, Jun Liu
2024 — conf
LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees.
ADHS
Jun Liu, Yiming Meng, Ruikun Zhou
2024 J jnl
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.
CoRR
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024 J jnl
Manifold-Guided Lyapunov Control with Diffusion Models.
CoRR
Amartya Mukherjee, Thanin Quartz, Jun Liu
2024 J jnl
Physics-Informed Extreme Learning Machine Lyapunov Functions.
IEEE Control. Syst. Lett.
Ruikun Zhou, Maxwell Fitzsimmons, Yiming Meng, Jun Liu
2024 A* conf
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.
ICML
Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu
2024 J jnl
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.
CoRR
Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu
2024 — conf
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees.
HSCC
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024 J jnl
Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees.
CoRR
Mohamed Serry, Haocheng Chang, Jun Liu
2024 C conf
Safe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets.
ACC
Mohamed Serry, Liren Yang, Necmiye Ozay, Jun Liu
2024 J jnl
Signal Temporal Logic Planning With Time-Varying Robustness.
IEEE Control. Syst. Lett.
Yating Yuan, Thanin Quartz, Jun Liu
2024 J jnl
Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications.
IEEE Trans. Autom. Control.
Yiming Meng, Jun Liu
2024 J jnl
Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems.
CoRR
Thanin Quartz, Ruikun Zhou, Hans De Sterck, Jun Liu
2024 — conf
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.
HSCC
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024 J jnl
Underapproximate Reachability Analysis for a Class of Linear Systems With Inputs.
IEEE Trans. Autom. Control.
Mohamed Serry, Jun Liu
2024 J jnl
Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets.
CoRR
Mohamed Serry, Jun Liu
2024 J jnl
Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets.
IEEE Control. Syst. Lett.
Mohamed Serry, Jun Liu
2024 C conf
Zubov-Koopman Learning of Maximal Lyapunov Functions.
ACC
Yiming Meng, Ruikun Zhou, Jun Liu
2023 J jnl
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems.
IEEE Trans. Autom. Control.
Yinan Li, Zhibing Sun, Jun Liu
2023 J jnl
Actor-Critic Methods using Physics-Informed Neural Networks: Control of a 1D PDE Model for Fluid-Cooled Battery Packs.
CoRR
Amartya Mukherjee, Jun Liu
2023 J jnl
Almost Sure Saddle Avoidance of Stochastic Gradient Methods without the Bounded Gradient Assumption.
CoRR
Jun Liu, Ye Yuan
2023 J jnl
Bridging Physics-Informed Neural Networks with Reinforcement Learning: Hamilton-Jacobi-Bellman Proximal Policy Optimization (HJBPPO).
CoRR
Amartya Mukherjee, Jun Liu
2023 J jnl
Euler-Bernoulli beams with contact forces: existence, uniqueness, and numerical solutions.
CoRR
Mohamed A. Serry, Sean D. Peterson, Jun Liu
2023 J jnl
Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications.
CoRR
Amartya Mukherjee, Ruikun Zhou, Jun Liu
2023 J jnl
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification.
CoRR
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2023 J jnl
Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems.
CoRR
Yiming Meng, Jun Liu
2023 J jnl
Stochastic Control Barrier Functions with Bayesian Inference for Unknown Stochastic Differential Equations.
CoRR
Chuanzheng Wang, Yiming Meng, Jun Liu, Stephen L. Smith
2023 — conf
Towards Learning and Verifying Maximal Neural Lyapunov Functions.
CDC
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2023 J jnl
Towards Learning and Verifying Maximal Neural Lyapunov Functions.
CoRR
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2023 J jnl
Zonotopic Under-Approximations of Input Reachable Sets for Controllable Linear Systems.
IEEE Control. Syst. Lett.
Mohamed A. Serry, Jun Liu
2022 — conf
A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees.
L4DC
Milad Farsi, Yinan Li, Ye Yuan, Jun Liu
2022 J jnl
A note on the equivalence of a strongly convex function and its induced contractive differential equation.
Autom.
Maxwell Fitzsimmons, Jun Liu
2022 J jnl
Converse Barrier Functions via Lyapunov Functions.
IEEE Trans. Autom. Control.
Jun Liu
2022 — conf
Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions.
CDC
Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
2022 J jnl
Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions.
CoRR
Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
2022 — conf
Multiple Control Barrier Functions: An Application to Reactive Obstacle Avoidance for a Multi-steering Tractor-trailer System.
CDC
Mohammad Aali, Jun Liu
2022 J jnl
Multiple Control Barrier Functions: An Application to Reactive Obstacle Avoidance for a Multi-steering Tractor-trailer System.
CoRR
Mohammad Aali, Jun Liu
2022 A* conf
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees.
NeurIPS
Ruikun Zhou, Thanin Quartz, Hans De Sterck, Jun Liu
2022 J jnl
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees.
CoRR
Ruikun Zhou, Thanin Quartz, Hans De Sterck, Jun Liu
2022 A* conf
On Almost Sure Convergence Rates of Stochastic Gradient Methods.
COLT
Jun Liu, Ye Yuan
2022 J jnl
On Almost Sure Convergence Rates of Stochastic Gradient Methods.
CoRR
Jun Liu, Ye Yuan
2022 J jnl
Practical Stability and Event-Triggered Load Frequency Control of Networked Power Systems.
IEEE Trans. Syst. Man Cybern. Syst.
He Zhang, Jun Liu, Shengyuan Xu
2022 J jnl
Practical Stabilization of Networked Takagi-Sugeno Fuzzy Systems via Improved Jensen Inequalities.
IEEE Trans. Cybern.
He Zhang, Jun Liu, Shengyuan Xu, Zhengqiang Zhang
2022 J jnl
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments.
Int. J. Robotics Res.
Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu
2022 — conf
Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems.
FORMATS
Yiming Meng, Jun Liu
2022 J jnl
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications.
Autom.
Yiming Meng, Yinan Li, Maxwell Fitzsimmons, Jun Liu
2022 C conf
Structured Online Learning for Low-Level Control of Quadrotors.
ACC
Milad Farsi, Jun Liu
2022 C conf
Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions.
ACC
Yiming Meng, Jun Liu
2021 J jnl
A Matrosov Theorem for Hybrid Systems With Memory.
IEEE Trans. Autom. Control.
Kun-Zhi Liu, Xue-Fang Wang, Andrew R. Teel, Xi-Ming Sun, Jun Liu
2021 J jnl
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems.
CoRR
Yinan Li, Zhibing Sun, Jun Liu
2021 C conf
A Structured Online Learning Approach to Nonlinear Tracking with Unknown Dynamics.
ACC
Milad Farsi, Jun Liu
2021 — conf
Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability.
FORMATS
Jun Liu
2021 J jnl
Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay.
J. Frankl. Inst.
Ruijuan Chen, Yinan Li, Jun Liu
2021 C conf
Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model.
ACC
Yiming Meng, Yinan Li, Jun Liu
2021 J jnl
Convergence Analysis of a Continuous-Time Distributed Gradient Descent Algorithm.
IEEE Control. Syst. Lett.
Mengyao Zhang, Xinzhi Liu, Jun Liu
2021 J jnl
DeFed: A Principled Decentralized and Privacy-Preserving Federated Learning Algorithm.
CoRR
Ye Yuan, Ruijuan Chen, Chuan Sun, Maolin Wang, Feng Hua, Xinlei Yi, Tao Yang, Jun Liu
2021 J jnl
Event-Triggered Fuzzy Flight Control of a Two-Degree-of-Freedom Helicopter System.
IEEE Trans. Fuzzy Syst.
He Zhang, Jun Liu
2021 J jnl
Input-to-state stability analysis for homogeneous hybrid systems with bounded time-varying delays.
Int. J. Control
Yan He, Xi-Ming Sun, Jun Liu, Yuhu Wu
2021 — conf
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control.
ECC
Chuanzheng Wang, Yiming Meng, Yinan Li, Stephen L. Smith, Jun Liu
2021 J jnl
On the convergence of reinforcement learning with Monte Carlo Exploring Starts.
Autom.
Jun Liu
2021 — conf
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems.
ADHS
Yinan Li, Zhibing Sun, Jun Liu
2021 J jnl
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications.
IEEE Trans. Autom. Control.
Yinan Li, Jun Liu
2021 A conf
Safe Linear Temporal Logic Motion Planning in Dynamic Environments.
IROS
Yinan Li, Ebrahim Moradi Shahrivar, Jun Liu
2021 — conf
Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions.
CDC
Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
2021 J jnl
Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions.
CoRR
Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu
2021 — conf
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems.
ADHS
Pavithra Prabhakar, Jun Liu
2021 J jnl
Stabilization of Highly Nonlinear Stochastic Coupled Systems via Periodically Intermittent Control.
IEEE Trans. Autom. Control.
Yan Liu, Jun Liu, Wenxue Li
2021 J jnl
Under-Approximate Reachability Analysis for a Class of Linear Uncertain Systems.
CoRR
Mohamed A. Serry, Jun Liu
2020 J jnl
Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications.
IEEE Trans. Autom. Control.
Mohammad Hadi Zibaeenejad, Jun Liu
2020 J jnl
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks.
CoRR
Chuanzheng Wang, Yinan Li, Stephen L. Smith, Jun Liu
2020 J jnl
Converse Barrier Functions via Lyapunov Functions.
CoRR
Jun Liu
2020 J jnl
H-Infinity Load Frequency Control of Networked Power Systems via an Event-Triggered Scheme.
IEEE Trans. Ind. Electron.
He Zhang, Jun Liu, Shengyuan Xu
2020 J jnl
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control.
CoRR
Chuanzheng Wang, Yinan Li, Yiming Meng, Stephen L. Smith, Jun Liu
2020 J jnl
Nonlinear Optimal Feedback Control and Stability Analysis of Solar Photovoltaic Systems.
IEEE Trans. Control. Syst. Technol.
Milad Farsi, Jun Liu
2020 J jnl
Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications.
CoRR
Jun Liu, Yiming Meng, Yinan Li, Maxwell Fitzsimmons
2020 J jnl
Stability Analysis for Homogeneous Hybrid Systems With Delays.
IEEE Trans. Syst. Man Cybern. Syst.
Yan He, Xi-Ming Sun, Jun Liu, Yuhu Wu
2020 A* conf
pbSGD: Powered Stochastic Gradient Descent Methods for Accelerated Non-Convex Optimization.
IJCAI
Beitong Zhou, Jun Liu, Weigao Sun, Ruijuan Chen, Claire J. Tomlin, Ye Yuan
2019 J jnl
On the Powerball Method: Variants of Descent Methods for Accelerated Optimization.
IEEE Control. Syst. Lett.
Ye Yuan, Mu Li, Jun Liu, Claire J. Tomlin
2018 J jnl
Hybrid Systems with Memory: Existence and Well-posedness of Generalized Solutions.
SIAM J. Control. Optim.
Jun Liu, Andrew R. Teel
2018 J jnl
Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach.
IEEE Trans. Autom. Control.
Yinan Li, Jun Liu
2018 — conf
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems.
HSCC
Yinan Li, Jun Liu
2018 — conf
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems.
HSCC
Yinan Li, Jun Liu
2018 J jnl
Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments.
CoRR
Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu
2018 C conf
Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis.
ACC
Yinan Li, Jun Liu
2018 A* conf
Sampling-Based Motion Planning with μ-Calculus Specifications Without Steering.
ICRA
Luc Larocque, Jun Liu
2018 J jnl
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems.
Discret. Event Dyn. Syst.
Pavithra Prabhakar, Jun Liu, Richard M. Murray
2017 J jnl
Augmented finite transition systems as abstractions for control synthesis.
Discret. Event Dyn. Syst.
Petter Nilsson, Necmiye Ozay, Jun Liu
2017 J jnl
Distributed Kalman filtering with minimum-time consensus algorithm.
CoRR
Ye Yuan, Ling Shi, Jun Liu, Zhiyong Chen, Hai-Tao Zhang, Jorge M. Gonçalves
2017 — conf
Formal verification of a gain scheduling control scheme.
MED
Pablo Ordóñez, Andrew R. Mills, Tony J. Dodd, Jun Liu
2017 — conf
Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties.
HSCC
Jun Liu
2017 — conf
Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications.
FMICS-AVoCS
Felipe J. Montana, Jun Liu, Tony J. Dodd
2017 — conf
Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information.
FMICS-AVoCS
Felipe J. Montana, Jun Liu, Tony J. Dodd
2016 — conf
An interval analysis approach to invariance control synthesis for discrete-time switched systems.
CDC
Yinan Li, Jun Liu
2016 — conf
Bisimulations for input-output stability of hybrid systems.
CDC
Pavithra Prabhakar, Jun Liu
2016 J jnl
Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach.
CoRR
Yinan Li, Jun Liu
2016 J jnl
Lyapunov-Based Sufficient Conditions for Stability of Hybrid Systems With Memory.
IEEE Trans. Autom. Control.
Jun Liu, Andrew R. Teel
2016 C conf
Sampling-based stochastic optimal control with metric interval temporal logic specifications.
CCA
Felipe J. Montana, Jun Liu, Tony J. Dodd
2016 J jnl
Stability Theorems for Delay Differential Inclusions.
IEEE Trans. Autom. Control.
Kun-Zhi Liu, Xi-Ming Sun, Jun Liu, Andrew R. Teel
2015 — conf
Computing finite abstractions with robustness margins via local reachable set over-approximation.
ADHS
Yinan Li, Jun Liu, Necmiye Ozay
2015 J jnl
Computing finite abstractions with robustness margins via local reachable set over-approximation.
CoRR
Yinan Li, Jun Liu, Necmiye Ozay
2015 J jnl
Hybrid systems with memory: Existence of generalized solutions and well-posedness.
CoRR
Jun Liu, Andrew R. Teel
2015 J jnl
Lyapunov-based sufficient conditions for stability of hybrid systems with memory.
CoRR
Jun Liu, Andrew R. Teel
2015 C conf
Switching control of differential-algebraic equations with temporal logic specifications.
ACC
Yinan Li, Jun Liu
2014 — conf
Abstraction, discretization, and robustness in temporal logic control of dynamical systems.
HSCC
Jun Liu, Necmiye Ozay
2014 C conf
Efficient control synthesis for augmented finite transition systems with an application to switching protocols.
ACC
Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu, Richard M. Murray
2014 A* conf
Switching control of dynamical systems from metric temporal logic specifications.
ICRA
Jun Liu, Pavithra Prabhakar
2013 J jnl
Chaos entanglement: a New Approach to Generate Chaos.
Int. J. Bifurc. Chaos
Hongtao Zhang, Xinzhi Liu, Xuemin Shen, Jun Liu
2013 C conf
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems.
ACC
Necmiye Ozay, Jun Liu, Pavithra Prabhakar, Richard M. Murray
2013 Misc conf
Pre-orders for reasoning about stability properties with respect to input of hybrid systems.
EMSOFT
Pavithra Prabhakar, Jun Liu, Richard M. Murray
2013 J jnl
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications.
IEEE Trans. Autom. Control.
Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2012 J jnl
Class-KL estimates and input-to-state stability analysis of impulsive switched systems.
Syst. Control. Lett.
Jun Liu, Xinzhi Liu, Wei-Chau Xie
2012 C conf
Decentralised minimal-time dynamic consensus.
ACC
Ye Yuan, Jun Liu, Richard M. Murray, Jorge M. Gonçalves
2012 — conf
Generalized solutions to hybrid systems with delays.
CDC
Jun Liu, Andrew R. Teel
2012 J jnl
Global convergence of neural networks with mixed time-varying delays and discontinuous neuron activations.
Inf. Sci.
Jun Liu, Xinzhi Liu, Wei-Chau Xie
2012 J jnl
On asymptotic convergence and boundedness of stochastic systems with time-delay.
Autom.
Jun Liu
2012 — conf
On synthesizing robust discrete controllers under modeling uncertainty.
HSCC
Ufuk Topcu, Necmiye Ozay, Jun Liu, Richard M. Murray
2012 — conf
Reactive controllers for differentially flat systems with temporal logic constraints.
CDC
Jun Liu, Ufuk Topcu, Necmiye Ozay, Richard M. Murray
2012 C conf
Switching protocol synthesis for temporal logic specifications.
ACC
Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2011 J jnl
Generalized invariance principles for switched delay systems.
IMA J. Math. Control. Inf.
Jun Liu, Xinzhi Liu, Wei-Chau Xie
2011 J jnl
Impulsive stabilization of stochastic functional differential equations.
Appl. Math. Lett.
Jun Liu, Xinzhi Liu, Wei-Chau Xie
2011 J jnl
Input-to-state stability of impulsive and switching hybrid systems with time-delay.
Autom.
Jun Liu, Xinzhi Liu, Wei-Chau Xie
2011 J jnl
Stochastic consensus seeking with communication delays.
Autom.
Jun Liu, Xinzhi Liu, Wei-Chau Xie, Hongtao Zhang
2010 J jnl
On the (h
Appl. Math. Comput.
Jun Liu, Xinzhi Liu, Wei-Chau Xie
2009 J jnl
Exponential stability of switched stochastic delay systems with non-linear uncertainties.
Int. J. Syst. Sci.
Jun Liu, Xinzhi Liu, Wei-Chau Xie