Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Thomas Wiese
Roland Zumkeller
Akshayaram Srinivasan
Maximilian Dürr
Dan Graur
Liangliang Shang
Chen Ma
Barbara Aquilani
Liang Sun
Home
/
Author
/
JUN LIU
Author Info
Open Visualization
Name
Affiliation
Papers
JUN LIU
Department of Applied Mathematics, University of Waterloo, Waterloo, Canada
43
Collaborators
Citations
PageRank
44
215
20.63
Referers
Referees
References
417
458
334
Search Limit
100
458
Publications (43 rows)
Collaborators (44 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications
0
0.34
2022
Converse Barrier Functions via Lyapunov Functions
0
0.34
2022
A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees.
0
0.34
2022
Practical Stability and Event-Triggered Load Frequency Control of Networked Power Systems
0
0.34
2022
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments
0
0.34
2022
On Almost Sure Convergence Rates of Stochastic Gradient Methods.
0
0.34
2022
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems
0
0.34
2021
On the convergence of reinforcement learning with Monte Carlo Exploring Starts
0
0.34
2021
A Matrosov Theorem for Hybrid Systems With Memory
0
0.34
2021
Input-To-State Stability Analysis For Homogeneous Hybrid Systems With Bounded Time-Varying Delays
1
0.35
2021
Safe Linear Temporal Logic Motion Planning in Dynamic Environments
0
0.34
2021
Convergence Analysis of a Continuous-Time Distributed Gradient Descent Algorithm
1
0.35
2021
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems
0
0.34
2021
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control
0
0.34
2021
Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications
0
0.34
2020
Nonlinear Optimal Feedback Control and Stability Analysis of Solar Photovoltaic Systems
0
0.34
2020
Stability Analysis for Homogeneous Hybrid Systems With Delays
1
0.35
2020
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems.
2
0.39
2018
Sampling-Based Motion Planning with μ-Calculus Specifications Without Steering.
0
0.34
2018
Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach.
6
0.49
2018
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
0
0.34
2018
Hybrid Systems with Memory: Existence and Well-posedness of Generalized Solutions.
4
0.41
2018
Robustly Complete Reach-And-Stay Control Synthesis For Switched Systems Via Interval Analysis
1
0.36
2018
Formal verification of a gain scheduling control scheme
0
0.34
2017
Distributed Kalman filtering with minimum-time consensus algorithm.
0
0.34
2017
Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications.
0
0.34
2017
Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties.
4
0.43
2017
Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information.
0
0.34
2017
Augmented finite transition systems as abstractions for control synthesis.
4
0.54
2017
Stability Theorems for Delay Differential Inclusions.
6
0.44
2016
Bisimulations For Input-Output Stability Of Hybrid Systems
0
0.34
2016
An Interval Analysis Approach To Invariance Control Synthesis For Discrete-Time Switched Systems
0
0.34
2016
An Interactive Approach to Monocular SLAM
0
0.34
2015
Hybrid systems with memory: Existence of generalized solutions and well-posedness
0
0.34
2015
Abstraction, discretization, and robustness in temporal logic control of dynamical systems
18
0.74
2014
Switching control of dynamical systems from metric temporal logic specifications
9
0.52
2014
Pre-orders for reasoning about stability properties with respect to input of hybrid systems
6
0.48
2013
Global convergence of neural networks with mixed time-varying delays and discontinuous neuron activations
39
1.23
2012
Generalized solutions to hybrid systems with delays
6
0.69
2012
Generalized invariance principles for switched delay systems
3
0.48
2011
Input-to-state stability of impulsive and switching hybrid systems with time-delay
85
2.95
2011
On the (h0,h)-stabilization of switched nonlinear systems via state-dependent switching rule
8
0.66
2010
Exponential stability of switched stochastic delay systems with non-linear uncertainties
11
0.65
2009
1