Behaviour and learning in completely autonomous mobile robots

A number of Intelligent Mobile Robots have been developed at the University of Reading. They are completely autonomous in that no umbilical cord attaches to them to extra power supplies or computer station: further, they are not radio controlled. In this paper, the robots are discussed, in their various forms, and the individual behaviours and characteristics which appear are considered.

Incorporating HACCP into national food control systems - Analyzing progress in the United Arab Emirates

Today governments and other parties involved in food control are under constant pressure to find more efficient and effective mechanisms to carry out their mandates for food control. This has led to international recognition of the importance of the HACCP system as a food control tool and guidance on the role of government agencies in the application of such a system has been developed. Based on this international guidance, four main elements identified as key activities have been used in this study to evaluate the progress of HACCP implementation in the UAE. The internal Strengths and Weaknesses, as well as the external Opportunities and Threats that the government is facing towards the implementation of a HACCP-based food control system have been identified. The analysis shows that the government’s dedicated role has been an essential driving force to encourage the implementation of a HACCP-based food control system. Some areas of difficulty, including the dependence on high levels of food imports, are highlighted.

Modal coupling in linear control systems using robust eigenstructure assignment

Eigenvalue assignment methods are used widely in the design of control and state-estimation systems. The corresponding eigenvectors can be selected to ensure robustness. For specific applications, eigenstructure assignment can also be applied to achieve more general performance criteria. In this paper a new output feedback design approach using robust eigenstructure assignment to achieve prescribed mode input and output coupling is described. A minimisation technique is developed to improve both the mode coupling and the robustness of the system, whilst allowing the precision of the eigenvalue placement to be relaxed. An application to the design of an automatic flight control system is demonstrated.

Securing critical infrastructures and critical control systems: approaches for threat protection

The increased use of technology is necessary in order for industrial control systems to maintain and monitor industrial, infrastructural, or environmental processes. The need to secure and identify threats to the system is equally critical. Securing Critical Infrastructures and Critical Control Systems: Approaches for Threat Protection provides a full and detailed understanding of the vulnerabilities and security threats that exist within an industrial control system. This collection of research defines and analyzes the technical, procedural, and managerial responses to securing these systems.

Assessment of the food control systems in the Sultanate of Oman

National food control systems are vital tools in governing the safety and quality of food intended for human consumption. This study of the Omani system was conducted to evaluate the effectiveness of the current food controls in place for protecting, in particular, the public health from emerging biological and chemical hazards. In response to this situation, a survey was undertaken within the different food safety authorities in Oman to examine the different elements of the national food control systems in terms of their existing food control management, food legislation, food inspection, food analysis laboratories and information, education and communications. Officials from the different authorities were interviewed and results were captured in prepared questionnaires. Overall examinations of the challenges, strength and weakness of the existing system have been highlighted. The findings of the study indicate significant progress is being made and the creation by the government of a national Centre for Food Safety and Quality is a significant positive step.

UNIVERSAL COVERING OF DRIFTLESS CONTROL SYSTEMS

Let M be a finite-dimensional manifold and Sigma be a driftless control system on M of full rank. We prove that for a given initial state x epsilon M, the covering space Gamma(Sigma, x) for a monotonic homotopy of trajectories of Sigma which is recently constructed in [1] coincides with the simply connected universal covering manifold of M and that the terminal projection epsilon(x) : Gamma(Sigma, x) -> M given by epsilon(x) ([alpha]) = alpha(1) is a covering mapping.

Semantic mapping using mobile robots

Robotic mapping is the process of automatically constructing an environment representation using mobile robots. We address the problem of semantic mapping, which consists of using mobile robots to create maps that represent not only metric occupancy but also other properties of the environment. Specifically, we develop techniques to build maps that represent activity and navigability of the environment. Our approach to semantic mapping is to combine machine learning techniques with standard mapping algorithms. Supervised learning methods are used to automatically associate properties of space to the desired classification patterns. We present two methods, the first based on hidden Markov models and the second on support vector machines. Both approaches have been tested and experimentally validated in two problem domains: terrain mapping and activity-based mapping.

Controle dinâmico de robôs móveis com acionamento diferencial

This work addresses the dynamic control problem of two-wheeled differentially driven non-holonomic mobile robot. Strategies for robot positioning control and robot orientating control are presented. Such strategies just require information about the robot con¯guration (x, y and teta), which can be collected by an absolute positioning system. The strategies development is related to a change on the controlled variables for such systems, from x, y and teta to s (denoting the robot linear displacement) and teta, and makes use of the polar coordinates representation for the robot kinematic model. Thus, it is possible to obtain a linear representation for the mobile robot dynamic model and to develop such strategies. It is also presented that such strategies allow the use of linear controllers to solve the control problem. It is shown that there is flexibility to choice the linear controller (P, PI, PID, Model Matching techniques, others) to be implemented. This work presents an introduction to mobile robotics and their characteristics followed by the control strategies development and controllers design. Finally, simulated and experimental results are presented and commented

Dynamic Morse decompositions for semigroups of homeomorphisms and control systems

In this paper, we introduce the concept of dynamic Morse decomposition for an action of a semigroup of homeomorphisms. Conley has shown in [5, Sec. 7] that the concepts of Morse decomposition and dynamic Morse decompositions are equivalent for flows in metric spaces. Here, we show that a Morse decomposition for an action of a semigroup of homeomorphisms of a compact topological space is a dynamic Morse decomposition. We also define Morse decompositions and dynamic Morse decompositions for control systems on manifolds. Under certain condition, we show that the concept of dynamic Morse decomposition for control system is equivalent to the concept of Morse decomposition.

Stability for impulsive control systems

In this paper we extend the notion of the control Lyapounov pair of functions and derive a stability theory for impulsive control systems. The control system is a measure driven differential inclusion that is partly absolutely continuous and partly singular. Some examples illustrating the features of Lyapounov stability are provided.