Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications

DOI10.1109/TAC.2020.2987711MaRDI QIDQ4990166

Jun Liu, Yinan Li

Publication date: 28 May 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1802.09082

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (5)

Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives ⋮ Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications ⋮ Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems ⋮ Robustly complete finite-state abstractions for verification of stochastic systems

This page was built for publication: Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications