Zhou, Yuchen., Raghavan, Aneesh., Baras, John S., "Time varying Control set design for UAV Collision Avoidance Using Reachable Tubes", 55th IEEE Conference on Decision and Control , pp. 6857-6862, Las Vegas, Nevada, December 12-14, 2016
Maity, Dipankar., Zhou, Yuchen., Baras, John S., "Optimal Mission Planning under Logical Constraints with Safety Gaurantees: An Application for Robotic CPSs", International Symposium on Networked Cyber-Physical Systems (NetCPS), Garching, Munich, September 19-20, 2016
Zhou, Yuchen., Maity, Dipankar., Baras, John S., "Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic", European Control Conference (ECC16), pp. 690-695, Aalborg, DK, June 29 - July 1, 2016
Zhou, Yuchen., Baras, John S., "Reachable Set Approach to Collision Avoidance for UAVs", 54th Conference on Control (CDC 2015), pp. 5947-5952, Osaka, Japan, December 15-18, 2015
Zhou, Yuchen., Maity, Dipankar., Baras, John S., "Optimal Mission Planner with Timed Temporal Logic Constraints", European Control Conference (ECC15), pp. 759-764, Linz, Austria, July 15-17, 2015
Zhou, Yuchen., Baras, John S., Wang, Shige., "Hardware Software Co-design for Automotive CPS using Architecture Analysis and Design Language", 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS 2014), Rome, Italy, December 2014
Moschler, Jacob., Zhou, Yuchen., Baras, John S., Joh, Jungwoo., "A Systems Engineering Approach to Collaborative Coordination of UAS in the NAS with Safety Guarantees", Proceedings of the 2014 Integrated Communications Navigation and Surveillance (ICNS) Conference, pp. U1-1 -U1-12, Herndon, Virginia, April 8-10, 2014
Yang, Shahan., Zhou, Yuchen., Baras, John S., "Compositional Analysis of Dynamic Bayesian Networks and Applications to Complex Dynamic System Decomposition", Conference on Systems Engineering Research (CSER'13),, pp. 167-176, Atlanta, GA, March 19-22, 2013
