Array references indexed by non-linear expressions or subscript arrays represent a major obstacle to compiler analysis and to automatic parallelization. Most previous proposed solutions either enhance the static analysis repertoire to recognize more patterns, to infer arrayvalue properties, and to refine the mathematical support, or apply expensive run time analysis of memory reference traces t...

Solution of the formation guidance in structured static environments is presented in this paper. It is assumed that high level planner is available, which generates collision free trajectory for the leader robot. Leader robot is forced to track generated trajectory, while followers’ trajectories are generated based on the trajectory realized by the real leader. Real environments contain large n...

Mobile robot is an autonomous agent capable of navigating intelligently anywhere using sensor-actuator control techniques. The applications of the autonomous mobile robot in many fields such as industry, space, defence and transportation, and other social sectors are growing day by day. The mobile robot performs many tasks such as rescue operation, patrolling, disaster relief, planetary explora...

This paper presents a new sensor-based online method for generating collision-free near-optimal paths for mobile robots pursuing a moving target amidst dynamic and static obstacles. At each iteration, first the set of all collision-free directions are calculated using velocity vectors of the robot relative to each obstacle and target, forming the Directive Circle (DC), which is a novel concept....

A hybrid wireless sensor network consists of both static sensor and mobile sensor nodes. Static sensors monitor the environment and report events occurring in the sensing field. Mobile sensors are then dispatched to visit these event locations to conduct more advanced analysis. The sensing field may contain obstacles. A big challenge is how to dispatch the mobile sensor to the event location wi...

We present a semantics for architectural specifications in Casl, including an extended static analysis compatible with model-theoretic requirements. The main obstacle here is the lack of amalgamation for Casl models. To circumvent this problem, we extend the Casl logic by introducing enriched signatures, where subsort embeddings form a category rather than just a preorder. The extended model fu...

This paper presents a simple and efficient approach to the computation of avoidance maneuvers among moving obstacles. The method is discussed for the case of a single maneuvering object avoiding several obstacles moving on known linear trajectories. The original dynamic problem is transformed into several static problems using the relative velocity between the maneuvering object and each obstac...

In this paper we announce some new mathematical results on the stability of quasistatic paths of a single particle linearly elastic system with Coulomb friction and persistent normal contact with a flat obstacle.A quasi-static path is said to be stable at some value of the load parameter if, for some finite interval of the load parameter thereafter, the dynamic solutions behave continuously wit...

This paper presents a new sensor-based online method for generating collision-free near-optimal paths for mobile robots pursuing a moving target amidst dynamic and static obstacles. At each iteration, first the set of all collision-free directions are calculated using velocity vectors of the robot relative to each obstacle and target, forming the Directive Circle (DC), which is a novel concept....