Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng 0004, Zhenbing Zeng. Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Volume 13964 of Lecture Notes in Computer Science, pages 304-325, Springer, 2023. [doi]

This author has not been identified. Look up 'Zhengfeng Yang' in GoogleThis author has not been identified. Look up 'Li Zhang' in GoogleThis author has not been identified. Look up 'Xia Zeng' in GoogleThis author has not been identified. Look up 'Xiaochao Tang' in GoogleThis author has not been identified. Look up 'Chao Peng 0004' in GoogleThis author has not been identified. Look up 'Zhenbing Zeng' in Google

runs on WebDSL