17 citations · 50 across the 11 of their papers we have counts for
6 papers · 1 filter
Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls
Ruikun Zhou, Yating Yuan, Haocheng Chang +2
We propose an abstraction-free framework for controller synthesis for continuous-time dynamical systems subject to Linear Temporal Logic (LTL) specifications and bounded control in…
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems
Yinan Li, Zhibing Sun, Jun Liu
This paper proposes a specification-guided framework for control of nonlinear systems with linear temporal logic (LTL) specifications. In contrast with well-known abstraction-based…
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…
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…
Stabilization with Closed-loop DOA Enlargement: An Interval Analysis Approach
Xiang Qiu, Zijun Feng, Chaolun Lu +1
In this paper, the stabilization problem with closed-loop domain of attraction (DOA) enlargement for discrete-time general nonlinear plants is solved. First, a sufficient condition…
Computing finite abstractions with robustness margins via local reachable set over-approximation
Yinan Li, Jun Liu, Necmiye Ozay
This paper proposes a method to compute finite abstractions that can be used for synthesizing robust hybrid control strategies for nonlinear systems. Most existing methods for comp…