All Posts

2016

Route Guidance for Satisfying Temporal Logic Specifications on Aircraft Motion

(paper)AuthorsRaghvendra V. Cowlagi, Zetian ZhangAbstractWe present a new technique for aircraft route guidance subj...

Motion-planning with Global Temporal Logic Specifications for Multiple Nonholonomic Robotic Vehicles

(paper)AuthorsZetian Zhang, Raghvendra V. CowlagiAbstractWe investigate motion-planning for a team of robotic vehicl...

Motion-planning with Temporal Logic Specifications for a Nonholonomic Vehicle Kinematic Model

(paper)AuthorsRaghvendra V. Cowlagi, Zetian ZhangAbstractWe present a new technique for the control of a Nonholonomi...

2015

Incremental Path Repair in Hierarchical Motion-Planning with Dynamical Feasibility Guarantees for Mobile Robotic Vehicles

(paper)AuthorsRaghvendra V. Cowlagi, Zetian ZhangAbstractNew requirements of autonomous mobile vehicles necessitate ...