Searched for: subject%3A%22deadlock%22
(1 - 7 of 7)
document
Rathi, Ashwini (author)
For high efficiency and flexibility, a fleet of Automated Guided Vehicles (AGVs) both homogeneous and heterogeneous are widely used automation products for material handling in warehouses and automated production lines. Given the layout capacity, the AGVs interact with each other, which provokes challenges in Driverless Transport Vehicle System ...
master thesis 2023
document
Schifferstein, Michelle (author)
The formal verification of concurrent programs is of particular importance, because concurrent programs are notoriously difficult to test. Because Haskell is a purely functional language, it is relatively easy to reason about the correctness of such programs and write down manual proofs. However, since these methods are still prone to error,...
bachelor thesis 2022
document
van Goozen, Michiel (author)
master thesis 2018
document
Onencan, A.M. (author), van de Walle, B.A. (author)
Equitable and reasonable utilization is a core principle in the distribution of water resources. However, its practical application in the Nile Basin has been a significant challenge, leading to a water allocation deadlock. To address the deadlock, we used the van Eeten (1999) four-step process for defining new agendas. To reconstruct the debate...
journal article 2018
document
Alonso-Mora, J. (author), DeCastro, Jonathan A. (author), Raman, Vasumathi (author), Rus, Daniela (author), Kress-Gazit, Hadas (author)
In the near future mobile robots, such as personal robots or mobile manipulators, will share the workspace with other robots and humans. We present a method for mission and motion planning that applies to small teams of robots performing a task in an environment with moving obstacles, such as humans. Given a mission specification written in...
journal article 2017
document
Huijs, M.G. (author)
Ever since the 1950s, the Dutch national government has struggled intensely with the trade-off between the economic significance and environmental impact of Amsterdam Airport Schiphol, the largest airport of the Netherlands. By 2005, the ambition to combine the growth of ‘Mainport’ Schiphol with comprehensive environmental measures has resulted...
doctoral thesis 2011
document
Holzmann, G.J. (author)
journal article 1984
Searched for: subject%3A%22deadlock%22
(1 - 7 of 7)