Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems

From MaRDI portal
Publication:6116266

DOI10.1016/j.nahs.2023.101340zbMath1520.93458arXiv2211.00814OpenAlexW4323662928MaRDI QIDQ6116266

Jun Liu, Yiming Meng

Publication date: 18 July 2023

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

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






Cites Work


This page was built for publication: Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems