activity
20152026
most citedRobustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems with Reach-and-Stay Specifications

17 citations · 50 across the 11 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

eess.SY2026

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…