17 citations · 26 across the 4 of their papers we have counts for
4 papers
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…
Hardware Software Co-design for Automotive CPS using Architecture Analysis and Design Language
Yuchen Zhou, John Baras, Shige Wang
Modern cyber-physical systems (CPS) have a close inter-dependence between software and physical components. Automotive embedded systems are typical CPS, as physical chips, sensors…
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,…
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…