Jun Liu
Orcid: 0000-0001-8762-2299Affiliations:
- University of Waterloo, Canada
- University of Sheffield, UK
- California Institute of Technology, Pasadena, CA, USA
According to our database1,
Jun Liu
authored at least 108 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on uwaterloo.ca
-
on orcid.org
-
on junliu.name
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications.
IEEE Trans. Autom. Control., August, 2024
IEEE Trans. Autom. Control., February, 2024
IEEE Trans. Signal Process., 2024
IEEE Control. Syst. Lett., 2024
A Neural Network Approach to Finding Global Lyapunov Functions for Homogeneous Vector Fields.
IEEE Control. Syst. Lett., 2024
CoRR, 2024
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.
CoRR, 2024
Denoising Diffusion Restoration Tackles Forward and Inverse Problems for the Laplace Operator.
CoRR, 2024
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes.
Proceedings of the European Control Conference, 2024
Safe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets.
Proceedings of the American Control Conference, 2024
Proceedings of the American Control Conference, 2024
Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.
Proceedings of the American Control Conference, 2024
Learning High-Order Control Barrier Functions for Safety-Critical Control with Gaussian Processes.
Proceedings of the American Control Conference, 2024
2023
IEEE Trans. Autom. Control., 2023
Zonotopic Under-Approximations of Input Reachable Sets for Controllable Linear Systems.
IEEE Control. Syst. Lett., 2023
Stochastic Control Barrier Functions with Bayesian Inference for Unknown Stochastic Differential Equations.
CoRR, 2023
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification.
CoRR, 2023
Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications.
CoRR, 2023
Euler-Bernoulli beams with contact forces: existence, uniqueness, and numerical solutions.
CoRR, 2023
Actor-Critic Methods using Physics-Informed Neural Networks: Control of a 1D PDE Model for Fluid-Cooled Battery Packs.
CoRR, 2023
Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems.
CoRR, 2023
Bridging Physics-Informed Neural Networks with Reinforcement Learning: Hamilton-Jacobi-Bellman Proximal Policy Optimization (HJBPPO).
CoRR, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
2022
Practical Stability and Event-Triggered Load Frequency Control of Networked Power Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2022
Practical Stabilization of Networked Takagi-Sugeno Fuzzy Systems via Improved Jensen Inequalities.
IEEE Trans. Cybern., 2022
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments.
Int. J. Robotics Res., 2022
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications.
Autom., 2022
A note on the equivalence of a strongly convex function and its induced contractive differential equation.
Autom., 2022
A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees.
Proceedings of the Learning for Dynamics and Control Conference, 2022
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022
Proceedings of the Conference on Learning Theory, 2-5 July 2022, London, UK., 2022
Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Multiple Control Barrier Functions: An Application to Reactive Obstacle Avoidance for a Multi-steering Tractor-trailer System.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions.
Proceedings of the American Control Conference, 2022
Proceedings of the American Control Conference, 2022
2021
IEEE Trans. Fuzzy Syst., 2021
Stabilization of Highly Nonlinear Stochastic Coupled Systems via Periodically Intermittent Control.
IEEE Trans. Autom. Control., 2021
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications.
IEEE Trans. Autom. Control., 2021
Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay.
J. Frankl. Inst., 2021
Input-to-state stability analysis for homogeneous hybrid systems with bounded time-varying delays.
Int. J. Control, 2021
IEEE Control. Syst. Lett., 2021
CoRR, 2021
DeFed: A Principled Decentralized and Privacy-Preserving Federated Learning Algorithm.
CoRR, 2021
Autom., 2021
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control.
Proceedings of the 2021 European Control Conference, 2021
Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model.
Proceedings of the 2021 American Control Conference, 2021
Proceedings of the 2021 American Control Conference, 2021
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
2020
IEEE Trans. Syst. Man Cybern. Syst., 2020
H-Infinity Load Frequency Control of Networked Power Systems via an Event-Triggered Scheme.
IEEE Trans. Ind. Electron., 2020
Nonlinear Optimal Feedback Control and Stability Analysis of Solar Photovoltaic Systems.
IEEE Trans. Control. Syst. Technol., 2020
Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications.
IEEE Trans. Autom. Control., 2020
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks.
CoRR, 2020
pbSGD: Powered Stochastic Gradient Descent Methods for Accelerated Non-Convex Optimization.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
2019
IEEE Control. Syst. Lett., 2019
2018
Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach.
IEEE Trans. Autom. Control., 2018
SIAM J. Control. Optim., 2018
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems.
Discret. Event Dyn. Syst., 2018
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis.
Proceedings of the 2018 Annual American Control Conference, 2018
2017
Discret. Event Dyn. Syst., 2017
Proceedings of the 25th Mediterranean Conference on Control and Automation, 2017
Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017
Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017
2016
IEEE Trans. Autom. Control., 2016
IEEE Trans. Autom. Control., 2016
CoRR, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
An interval analysis approach to invariance control synthesis for discrete-time switched systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Sampling-based stochastic optimal control with metric interval temporal logic specifications.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016
2015
CoRR, 2015
Switching control of differential-algebraic equations with temporal logic specifications.
Proceedings of the American Control Conference, 2015
Computing finite abstractions with robustness margins via local reachable set over-approximation.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Abstraction, discretization, and robustness in temporal logic control of dynamical systems.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Efficient control synthesis for augmented finite transition systems with an application to switching protocols.
Proceedings of the American Control Conference, 2014
2013
IEEE Trans. Autom. Control., 2013
Pre-orders for reasoning about stability properties with respect to input of hybrid systems.
Proceedings of the International Conference on Embedded Software, 2013
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems.
Proceedings of the American Control Conference, 2013
2012
Class-KL estimates and input-to-state stability analysis of impulsive switched systems.
Syst. Control. Lett., 2012
Global convergence of neural networks with mixed time-varying delays and discontinuous neuron activations.
Inf. Sci., 2012
Autom., 2012
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
Reactive controllers for differentially flat systems with temporal logic constraints.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the American Control Conference, 2012
Proceedings of the American Control Conference, 2012
2011
IMA J. Math. Control. Inf., 2011
Autom., 2011
Appl. Math. Lett., 2011
2010
On the (h<sub>0</sub>, h)-stabilization of switched nonlinear systems via state-dependent switching rule.
Appl. Math. Comput., 2010
2009
Exponential stability of switched stochastic delay systems with non-linear uncertainties.
Int. J. Syst. Sci., 2009