Verifying temporal properties without temporal logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel DEVS: a parallel, hierarchical, modular, modeling formalism
WSC '94 Proceedings of the 26th conference on Winter simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
CD++: a toolkit to develop DEVS models
Software—Practice & Experience
Model continuity in the design of dynamic distributed real-time systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.00 |
Wind farms use several wind turbines to generate electricity and provide a renewable source of energy. However, due to large forces as a result of hourly and seasonal variations in wind speed and direction, wind turbines experience stochastic loading that often lead to failures of wind turbine components such as the gearbox and generator. Wind turbine failures result in costly repairs and loss in revenue, while stochastic loading makes it difficult to predict the actual condition of a wind turbine. Consequently, it is challenging to schedule maintenance actions to avoid wind turbine component failures. In this paper, we present a stochastic discrete event system specification (STDEVS) model of a wind turbine component. In particular, we consider the wind turbine gearbox, which is one of the components that is often prone to failure, and model its stochastic degradation process. We implement a wind farm simulation with the STDEVS gearbox model and report on the impact of gearbox failures and maintenance scheduling on the performance of a wind farm over a 20-year period.