17 citations · 26 across the 4 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2016★ 6 cited
Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic
Yuchen Zhou, Dipankar Maity, John S. Baras
In this paper, we consider the robot motion (or task) planning problem under some given time bounded high level specifications. We use metric interval temporal logic (MITL), a memb…
eess.SY2015
Reachable Set Approach to Collision Avoidance for UAVs
Yuchen Zhou, John S. Baras
In this paper, we propose a reachable set based collision avoidance algorithm for unmanned aerial vehicles (UAVs). UAVs have been deployed for agriculture research and management,…
eess.SY2015★ 17 cited
Optimal Mission Planner with Timed Temporal Logic Constraints
Yuchen Zhou, Dipankar Maity, John S. Baras
In this paper, we present an optimization based method for path planning of a mobile robot subject to time bounded temporal constraints, in a dynamic environment. Temporal logic (T…