Lyapunov-Barrier Characterization of Robust Reach-Avoid-Stay Specifications for Hybrid Systems

Y. Meng, J. Liu
February, 2023
PDF Cite Project DOI
Type
Journal article
Publication
IEEE Transitions on Automatic Control