Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testing …
This review article analyzes state‐of‐the‐art and future perspectives for harvesting robots in high‐value crops. The objectives were to characterize the crop environment relevant for …
M Hoy, AS Matveev, AV Savkin - Robotica, 2015 - cambridge.org
We review a range of techniques related to navigation of unmanned vehicles through unknown environments with obstacles, especially those that rigorously ensure collision …
This paper provides a framework to automatically generate a hybrid controller that guarantees that the robot can achieve its task when a robot model, a class of admissible …
I Draganjac, D Miklić, Z Kovačić… - IEEE Transactions …, 2016 - ieeexplore.ieee.org
In this paper, we present an algorithm for decentralized control of multiple automated guided vehicles performing transportation tasks within industrial and warehousing environments. By …
With recent advances in mobile robotics, autonomous systems, and artificial intelligence, there is a growing expectation that robots are able to solve complex problems. Many of …
M Guo, DV Dimarogonas - The International Journal of …, 2015 - journals.sagepub.com
We propose a cooperative motion and task planning scheme for multi-agent systems where the agents have independently assigned local tasks, specified as linear temporal logic …
P Schillinger, M Bürger… - … international journal of …, 2018 - journals.sagepub.com
This paper describes a framework for automatically generating optimal action-level behavior for a team of robots based on temporal logic mission specifications under resource …
H Chitsaz, SM LaValle - … 46th IEEE conference on decision and …, 2007 - ieeexplore.ieee.org
We consider finding a time-optimal trajectory for an airplane from some starting point and orientation to some final point and orientation. Our model extends the Dubins car by LE …