activity
20152021
most citedConverse Barrier Functions via Lyapunov Functions

34 citations · 77 across the 14 of their papers we have counts for

collaborators
Showing 2020Show all

7 papers · 1 filter

eess.SY2020★ 2 cited

Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control

Chuanzheng Wang, Yinan Li, Yiming Meng +2

Control barrier functions have shown great success in addressing control problems with safety guarantees. These methods usually find the next safe control input by solving an onlin…

math.OC2020

Structured Online Learning-based Control of Continuous-time Nonlinear Systems

Milad Farsi, Jun Liu

Model-based reinforcement learning techniques accelerate the learning task by employing a transition model to make predictions. In this paper, a model-based learning approach is pr…

eess.SY2020★ 6 cited

Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications

Yiming Meng, Yinan Li, Maxwell Fitzsimmons +1

Stability and safety are two important aspects in safety-critical control of dynamical systems. It has been a well established fact in control theory that stability properties can…

math.OC2020★ 34 cited

Converse Barrier Functions via Lyapunov Functions

Jun Liu

We prove a robust converse barrier function theorem via the converse Lyapunov theory. While the use of a Lyapunov function as a barrier function is straightforward, the existence o…

math.OC2020

On the Convergence of Reinforcement Learning with Monte Carlo Exploring Starts

Jun Liu

A basic simulation-based reinforcement learning algorithm is the Monte Carlo Exploring States (MCES) method, also known as optimistic policy iteration, in which the value function…

math.OC2020

A Necessary Condition on Chain Reachable Robustness of Dynamical Systems

Maxwell Fitzsimmons, Jun Liu

It is ``folklore'' that the solution to a set reachability problem for a dynamical system is only noncomputable because of non-robustness reasons. A robustness condition that can b…