Christoph Greulich

  • Citations Per Year
Learn More
The Physical Traveling Salesman Problem (PTSP) is a current research problem which adds a model of velocity to the classic TSP. In this paper we propose algorithms for solving the PTSP which avoid the fragmented allocation of memory and precompute cell-precise single-source shortest paths for each waypoint by using an engineered implementation of Dijkstra's(More)
A discrete event system (DES) is a dynamic system with discrete states the transitions of which are triggered by events. In this paper we propose the application of the Spin software model checker to a discrete event system that controls the industrial production of autonomous products. The flow of material is asynchronous and buffered. The aim of this work(More)
This paper addresses improved urban mobility using multiagent simulation. We provide a description of the agent model and the routing infrastructure as a step towards a rich model of the interactions that happen in intermodal transport planning tasks. The multiagent model is generic in the sense that different public and individual transport agents and(More)
In this paper we introduce a novel application of model checking to find optimal planning solutions for a flow production system. Originally controlled by a multiagent system, the production system consists of autonomous products and asynchronous production stations with limited space for waiting products. In this work, we present two different approaches(More)
This paper describes an effective approach to solve the inspection problem via colored traveling salesman tours. Given an environment with obstacles and regions to be inspected, the approach plans a collision-free and dynamicallyfeasible motion trajectory that enables the vehicle to inspect all the regions of interest while reducing the distance traveled. A(More)
Automated task planning for robots is usually implemented on a motion primitive domain, where the focus is on constructing meaningful, general motion primitives. In this work we propose planning on the higher abstraction level of robot skills. In this context, skills are general, functional blocks that contain both sensing and action, have a welldefined(More)