@article{resetcontrollersynthesisbyreachavoid,
  title = {Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems},
  author = {Han Su and Jiyu Zhu and Shenghua Feng and Yunjun Bai and Bin Gu and Jiang Liu and Mengfei Yang and Naijun Zhan},
  year = {2023},
  eprint = {2309.05908},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2309.05908v2},
}