Reliability modelling of uninterruptible power supply using probability tree method

The unreliability of public power lines have led to the need of uninterruptible power supply (UPS). Utility power failures will cause unacceptably high risk to the profitability, existence and growth of the vital aspect of business that depends heavily on uninterrupted power supply. For this reason it is important to develop a method to estimate the reliability of such system, to ensure that it will perform satisfactorily when needed. This paper describes and discusses an approach to predict the reliability parameters of the UPS system using the probability tree method. Important UPS reliability parameters such as failure rates (lambda), mean time between failures (MTBF), and reliability (R), can be obtained from this method. These quantitative reliability parameters can play an essential role in selection and application of the UPS. The method was applied to different topologies of UPS systems and comparisons were made between the results obtained form probability tree method and the reliability block diagram (RBD) method

Predictive control of wind turbines by considering wind speed forecasting techniques

A wind turbine system is operated such that the points of wind rotor curve and electrical generator curve coincide. In order to obtain maximum power output of a wind turbine generator system, it is necessary to drive the wind turbine at an optimal rotor speed for a particular wind speed. A Maximum Power Point Tracking (MPPT) controller is used for this purpose. In fixed-pitch variable-speed wind turbines, wind-rotor parameters are fixed and the restoring torque of the generator needs to be adjusted to maintain optimum rotor speed at a particular wind speed for optimum power output. In turbulent wind environment, control of variable-speed fixed-pitch wind turbine systems to continuously operate at the maximum power points becomes difficult due to fluctuation of wind speeds. In this paper, wind speed forecasting techniques will be considered for predictive optimum control system of wind turbines

Integrated Design Tools for Embedded Control Systems

Currently, computer-based control systems are still being implemented using the same techniques as 10 years ago. The purpose of this project is the development of a design framework, consisting of tools and libraries, which allows the designer to build high reliable heterogeneous real-time embedded systems in a very short time at a fraction of the present day costs. The ultimate focus of current research is on transformation control laws to efficient concurrent algorithms, with concerns about important non-functional real-time control systems demands, such as fault-tolerance, safety,\ud reliability, etc.\ud The approach is based on software implementation of CSP process algebra, in a modern way (pure objectoriented design in Java). Furthermore, it is intended that the tool will support the desirable system-engineering stepwise refinement design approach, relying on past research achievements ¿ the mechatronics design trajectory based on the building-blocks approach, covering all complex (mechatronics) engineering phases: physical system modeling, control law design, embedded control system implementation and real-life realization. Therefore, we expect that this project will result in an\ud adequate tool, with results applicable in a wide range of target hardware platforms, based on common (off-theshelf) distributed heterogeneous (cheap) processing units

Software for Embedded Control Systems

The research of our team deals with the realization of control schemes on digital computers. As such the emphasis is on embedded control software implementation. Applications are in the field of mechatronic devices, using a mechatronic design approach (the integrated and optimal design of a mechanical system and its embedded control system). The ultimate goal is to support the application developer (i.e. mechatronic design engineer) such that implementing control software according to ðo it the first time right¿ becomes business as usual

A CSP-Based Trajectory for Designing Formally Verified Embedded Control Software

This paper presents in a nutshell a procedure for producing formally verified concurrent software. The design paradigm provides means for translating block-diagrammed models of systems from various problem domains in a graphical notation for process-oriented architectures. Briefly presented CASE tool allows code generation both for formal analysis of the models of software and code generation in a target implementation language. For formal analysis a highquality commercial formal checker is used