Static analysis requires the full knowledge of the overall program structure. The structure of a program can be represented by a Control Flow Graph (cfg) where vertices are basic blocks (bb) and edges represent the control flow between the bb. To construct a full cfg, all the bb as well as all of their possible targets addresses must be found. In this paper, we present a method to resolve dynam...

The aim of this Letter is to show that the injection of small damping signals can suffice to regulate the motion of a chaotic system around less complex attractors, such as equilibrium points and periodic orbits. The proposed feedback controller is composed by a high-pass filter and a saturator, so its implementation is quite simple and can be made on the basis of measured signals. The Duffing ...

Optimal control theory is applied to a system of ordinary differential equations modeling Buruli ulcer transmission in population. We apply controls on mass treatment, insecticide and mass education to minimize the number of infected hosts and infected vectors as well as infected fishes. The model takes into account human, water bug and fish populations as well as MU in the environment. The hos...

In the fall of 2002 the Fire Brigade Union within the United Kingdom proposed a ballot on strike action in support of a wage demand. Consequently the Ministry of Defence agreed that in the event of strike action, emergency assistance to the local authorities would be provided by deploying military staff to man fire-fighting equipment and to provide command and control functions. The military De...

Visual servoing is generally based upon geometrical features. Recent developments were made in the way of a generalization of this approach to dynamic features. The idea is that velocity in the image can be measured without the constraint of having an a priori knowledge of the scene. In this paper, a control law to position a camera mounted on the end eeector of a robot, in such a way the image...

During the past three years, the College of Engineering and Science at Louisiana Tech University has offered a robotics-centered sequence of engineering courses to pilot groups of freshman engineering students. The objective of these courses is to immerse the students in a skill based, project driven curriculum that builds creativity and a can-do spirit. Students were equipped with a Parallax B...