Biblio
Filters: Author is Peng, Huei [Clear All Filters]
.
2017. Obstacle Avoidance for Low-Speed Autonomous Vehicles With Barrier Function. IEEE Transactions on Control Systems Technology.
.
2016. Correct-by-construction adaptive cruise control: Two approaches. IEEE Transactions on Control Systems Technology. 24:1294–1307.
.
2014. Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :816–823.



