1. Control barrier functions: Theory and applications;Ames,2019
2. Formal methods for discrete-time dynamical systems;Belta,2017
3. Brockman, G., Cheung, V., Pettersson, L., Schneider, J., Schulman, J., Tang, J., and Zaremba, W. (2016). OpenAI Gym. arXiv preprint, arXiv:1606.01540.
4. Warehouse automation by logistic robotic networks: a cyber-physical control approach;Cai;Frontiers of Information Technology & Electronic Engineering,2020
5. Cai, K. and Wonham, W. (2021). Supervisory control of discrete-event systems. In J. Baillieul and T. Samad (eds.), Encyclopedia of Systems and Control, 2245–2253. Springer, 2nd edition.