Publications
2016
Route Guidance for Satisfying Temporal Logic Specifications on Aircraft Motion
Raghvendra V. Cowlagi, Zetian Zhang
Journal of Guidance, Control, and Dynamics, 2016
Motion-planning with Global Temporal Logic Specifications for Multiple Nonholonomic Robotic Vehicles
Zetian Zhang, Raghvendra V. Cowlagi
American Control Conference (ACC), 2016. American Automatic Control Council (AACC), 2016
Motion-planning with Temporal Logic Specifications for a Nonholonomic Vehicle Kinematic Model
Raghvendra V. Cowlagi, Zetian Zhang
American Control Conference (ACC), 2016. American Automatic Control Council (AACC), 2016
2015
Incremental Path Repair in Hierarchical Motion-Planning with Dynamical Feasibility Guarantees for Mobile Robotic Vehicles
Zetian Zhang, Raghvendra V. Cowlagi
Control Conference (ECC), 2015 European. IEEE, 2015
Route Guidance for Satisfying Temporal Logic Specifications on Aircraft Motion
Raghvendra V. Cowlagi, Zetian Zhang
Journal of Guidance, Control, and Dynamics, 2016
Motion-planning with Global Temporal Logic Specifications for Multiple Nonholonomic Robotic Vehicles
Zetian Zhang, Raghvendra V. Cowlagi
American Control Conference (ACC), 2016. American Automatic Control Council (AACC), 2016
Motion-planning with Temporal Logic Specifications for a Nonholonomic Vehicle Kinematic Model
Raghvendra V. Cowlagi, Zetian Zhang
American Control Conference (ACC), 2016. American Automatic Control Council (AACC), 2016
Incremental Path Repair in Hierarchical Motion-Planning with Dynamical Feasibility Guarantees for Mobile Robotic Vehicles
Zetian Zhang, Raghvendra V. Cowlagi
Control Conference (ECC), 2015 European. IEEE, 2015