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.

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.

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.

Closed loop stability of measure-driven impulsive control systems

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Sufficients conditions for analysis of extrema in the step-response of the linear control systems

This note deals whith the problem of extrema which may occur in the step-response of a stable linear system with real zeros and poles. Some simple sufficients conditions and necessary conditions are presented for analyses when zeros located between the dominant and fastest pole does not cause extrema in the step-response. These conditions require knowledge of the pole-zero configuration of the corresponding transfer-function.

Invariance for Impulsive Control Systems

In this article, we provide invariance conditions for control systems whose dynamics are given by measure driven differential inclusions. The solution concept plays a critical role in the extension of the conventional conditions for the impulsive control context. A couple of examples illustrating the specific features of impulsive control systems are included.

A maximum principle for infinite time asymptotically stable impulsive dynamic control systems

We consider an infinite horizon optimal impulsive control problems for which a given cost function is minimized by choosing control strategies driving the state to a point in a given closed set C ∞. We present necessary conditions of optimality in the form of a maximum principle for which the boundary condition of the adjoint variable is such that non-degeneracy due to the fact that the time horizon is infinite is ensured. These conditions are given for conventional systems in a first instance and then for impulsive control problems. They are proved by considering a family of approximating auxiliary interval conventional (without impulses) optimal control problems defined on an increasing sequence of finite time intervals. As far as we know, results of this kind have not been derived previously. © 2010 IFAC.