A graphical interface is presented for the modeling of planning environments where an integrated tool permits the user to export the planning model to different representation languages such as PDDL or XML. The application uses an UML model to introduce a planning domain as a first step, followed by a step where a representation in Petri Nets – automatically translated from UML is used to valid...

On the modern battlefield cordon and search missions (also known as village searches) are conducted daily. Creating resource allocations that link search teams (e.g. soldiers, robots, unmanned aerial vehicles, military working dogs) to target buildings is difficult and time consuming in the static planning environment and is even more challenging in a timeconstrained dynamic environment. Conduc...

This paper proposes a new personal tour planning problem with time-dependent satisfactions, traveling and activity duration times for sightseeing. It is difficult to represent the time-dependent model using general static network models, and hence, Time-Expanded Network (TEN) is introduced. The TEN contains a copy to the set of nodes in the underlying static network for each discrete time step,...

Popular route planning systems (Windows Live Local, Yahoo! Maps, Google Maps, etc.) generate driving directions using a static library of roads and road attributes. They ignore both the time at which a route is to be traveled and, more generally, the preferences of the drivers they serve. We present a set of methods for including driver preferences and time-variant traffic condition estimates i...

In this paper, a coordination strategy for determining collision free path of end effectors of two manipulators involved in coordinated manipulation is proposed. This strategy consists of collision checking and path planning modules. Collision checking is done by modeling the links and environment of manipulator using sphere swept volume technique and utilizing minimum distance heuristic for in...

In this paper, we study the path planning for khepera II mobile robot in an unknown environment. The well known heuristic D* lite algorithm is implemented to make the mobile robot navigate through static obstacles and find the shortest path from an initial position to a target position by avoiding the obstacles. and to perform efficient re-planning during exploration. The proposed path finding ...

The purpose of this research is to generate a stable motion for a hydraulic actuated biped robot. Since the application effect of most dynamic biped robot locomotion theories is not very well and the static walk pattern is hard to realize on human-sized hydraulic actuated biped robot because of the small size of foot compared with body height. In this study, we propose a trajectory planning met...

In this paper, we study the online path planning for khepera II mobile robot in an unknown environment. The well known heuristic A* algorithm is implemented to make the mobile robot navigate through static obstacles and find the shortest path from an initial position to a target position by avoiding the obstacles. The proposed path finding strategy is designed in a grid-map form of an unknown e...

Urban land use spatial layout model research has been suffered from static model to dynamical model. The traditional model and theory like static, macroscopic or determinate model sometimes made the urbanize land use change immoderate simplify. The non-linear effect of microcosmic and macroscopical urban agent were embodied in the decision-making process of urban land use planning. In this pape...

In this paper we propose dynamic description logic for formalizing multi-agent cooperation process with a clearly defined syntax and semantics. By combining the features of knowledge representation and reasoning of description logic and action theory for multi-agent interaction, our logic is effective and significant both for static and dynamic environment. On the static side, we employ descrip...