Browsing by Author "Sirigineedi, G."
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Open Access Modelling and verification of multiple UAV mission Using SMV(2009-11-19T13:32:59Z) Sirigineedi, G.; Tsourdos, Antonios; Zbikowski, Rafal; White, B.Model checking has been used to verify the correctness of digital circuits, security protocols, communication protocols, as they can be modelled by means of finite state transition model. However, modelling the behaviour of hybrid systems like UAVs in a Kripke model is challenging. This work is aimed at capturing the behaviour of an UAV performing cooperative search mission into a Kripke model, so as to verify it against the temporal properties expressed in Computational Tree Logic (CTL). SMV model checker is used for the purpose of model checking.Item Open Access Neural Network Based Classification of Unbalances in Rotating Machinery(2012-06-14T00:00:00Z) Sirigineedi, G.; Perinpanayagam, Suresh; Jennions, Ian K.Health monitoring for rotating machinery such as aircraft engines, motors provide economic benefits and operational efficiencies in terms of reduced downtime. In this paper we present a methodology of using artificial neural networks (ANN) and frequency-domain vibration analysis to detect and classify common types of unbalances in rotating machines. Frequency domain features are used to train an artificial neural network. The artificial neural network is trained using back-propagation algorithm with a subset of experimental data obtained from a real-world rotating machine, Machinery Fault Simulator (MFS), for known types of unbalances. The trained artificial neural network is then used to classify various types of unbalances such as static unbalance and couple unbalance. The effectiveness of the neural network to classify these different types of unbalances is tested using the remaining set of data. The advantage of this procedure is that it can be used not only to diagnose unbalance but also to identify the type of unbalance in rotating machines.