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.

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.

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 constrained infinite horizon dynamic control systems

This article presents and discusses a maximum principle for infinite horizon constrained optimal control problems with a cost functional depending on the state at the final time. The main feature of these optimality conditions is that, under reasonably weak assumptions, the multiplier is shown to satisfy a novel transversality condition at infinite time. It is also shown that these conditions can also be obtained for impulsive control problems whose dynamics are given by measure driven differential equations. © 2011 IFAC.

Evaluating serial ZigBee devices for application in wireless networked control systems

Networked control systems (NCS) are distributed control system where the sensors, actuators and controllers are physically separated and connected through communication networks. NCS represent the evolution of networked control architectures providing greater modularity and control decentralization, ease maintenance and diagnosis and lower cost of implementation. A recent trend in this research topic is the development of NCS using wireless networks (WNCS) enabling interoperability between existing wired and wireless systems. This paper evaluates a serial RS-232 ZigBee device as a wireless sensor link in NCS. In order to support this investigation, relevant performance metrics for wireless control applications such as jitter, time delay and messages lost are highlighted and calculated to evaluate the device capabilities. In addition the control performance of an implemented motor control system using the device is analyzed. Experimental results led to the conclusion that serial RS-232 ZigBee devices can be used to implement WNCS and the use of this device delay information in the PID controller discretization can improve the control performance of the system. © 2012 IEEE.

MODEL-BASED COMPENSATION FOR BURST MESSAGE LOSS IN WIRELESS NETWORKED CONTROL SYSTEMS: EXPERIMENTAL RESULTS

A recent trend in networked control systems (NCSs) is the use of wireless networks enabling interoperability between existing wired and wireless systems. One of the major challenges in these wireless NCSs (WNCSs) is to overcome the impact of the message loss that degrades the performance and stability of these systems. Moreover, this impact is greater when dealing with burst or successive message losses. This paper discusses and presents the experimental results of a compensation strategy to deal with this burst message loss problem in which a NCS mathematical model runs in parallel with the physical process, providing sensor virtual data in case of packet losses. Running in real-time inside the controller, the mathematical model is updated online with real control signals sent to the actuator, which provides better reliability for the estimated sensor feedback (virtual data) transmitted to the controller each time a message loss occurs. In order to verify the advantages of applying this model-based compensation strategy for burst message losses in WNCSs, the control performance of a motor control system using CAN and ZigBee networks is analyzed. Experimental results led to the conclusion that the developed compensation strategy provided robustness and could maintain the control performance of the WNCS against different message loss scenarios.

Controllability and stabilizability of linear time-varying distributed hereditary control systems

This paper is concerned with the controllability and stabilizability problem for control systems described by a time-varyinglinear abstract differential equation with distributed delay in the state variables. An approximate controllability propertyis established, and for periodic systems, the stabilization problem is studied. Assuming that the semigroup of operatorsassociated with the uncontrolled and non delayed equation is compact, and using the characterization of the asymptoticstability in terms of the spectrum of the monodromy operator of the uncontrolled system, it is shown that the approximatecontrollability property is a sufficient condition for the existence of a periodic feedback control law that stabilizes thesystem. The result is extended to include some systems which are asymptotically periodic. Copyright © 2014 John Wiley &Sons, Ltd.

Controllability of control systems on complex simple lie groups and the topology of flag manifolds

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Nonlinear ball and beam control system identification

The Ball and Beam system is a common didactical experiment in control laboratories that can be used to illustrate many different closed-loop control techniques. The plant itself is subjected to many nonlinear effects, which the most common comes from the relative motion between the ball and the beam. The modeling process normally uses the lagrangean formulation. However, many other nonlinear effects, such as non-viscous friction, beam flexibility, ball slip, actuator elasticity, collisions at the end of the beam, to name a few, are present. Besides that, the system is naturally unstable. In this work, we analyze a subset of these characteristics, in which the ball rolls with slipping and the friction force between the ball and the beam is non-viscous (Coulomb friction). Also, we consider collisions at the ends of the beam, the actuator consists of a (rubber made) belt attached at the free ends of the beam and connected to a DC motor. The model becomes, with those nonlinearities, a differential inclusion system. The elastic coefficients of the belt are experimentally identified, as well as the collision coefficients. The nonlinear behavior of the system is studied and a control strategy is proposed.

Suppression of vortex-induced vibration using moving surface boundary-layer control

Experimental results of flow around a circular cylinder with moving surface boundary-layer control (MSBC) are presented. Two small rotating cylinders strategically located inject momentum in the boundary layer of the cylinder, which delays the separation of the boundary layer. As a consequence, the wake becomes narrower and the fluctuating transverse velocity is reduced, resulting in a recirculation free region that prevents the vortex formation. The control parameter is the ratio between the tangential velocity of the moving surface and the flow velocity (U-c/U). The main advantage of the MSBC is the possibility of combining the suppression of vortex-induced vibration (VIV) and drag reduction. The experimental tests are preformed at a circulating water channel facility and the circular cylinders are mounted on a low-damping air bearing base with one degree-of-freedom in the transverse direction of the channel flow. The mass ratio is 1.8. The Reynolds number ranges from 1600 to 7500, the reduced velocity varies up to 17, and the control parameter interval is U-c/U = 5-10. A significant decreasing in the maximum amplitude of oscillation for the cylinder with MSBC is observed. Drag measurements are obtained for statically mounted cylinders with and without MSBC. The use of the flow control results in a mean drag reduction at U-c/U = 5 of almost 60% compared to the plain cylinder. PIV velocity fields of the wake of static cylinders are measured at Re = 3000. The results show that the wake is highly organized and narrower compared to the one observed in cylinders without control. The calculation of the total variance of the fluctuating transverse velocity in the wake region allows the introduction of an active closed-loop control. The experimental results are in good agreement with the numerical simulation studies conducted by other researchers for cylinders with MSBC. (C) 2012 Elsevier Ltd. All rights reserved.

Modeling of active holonic control systems for intelligent buildings

Building facilities have become important infrastructures for modern productive plants dedicated to services. In this context, the control systems of intelligent buildings have evolved while their reliability has evidently improved. However, the occurrence of faults is inevitable in systems conceived, constructed and operated by humans. Thus, a practical alternative approach is found to be very useful to reduce the consequences of faults. Yet, only few publications address intelligent building modeling processes that take into consideration the occurrence of faults and how to manage their consequences. In the light of the foregoing, a procedure is proposed for the modeling of intelligent building control systems, considersing their functional specifications in normal operation and in the of the event of faults. The proposed procedure adopts the concepts of discrete event systems and holons, and explores Petri nets and their extensions so as to represent the structure and operation of control systems for intelligent buildings under normal and abnormal situations. (C) 2012 Elsevier B.V. All rights reserved.