Browsing by Author "Sirigineedi, G."

Browsing by Author "Sirigineedi, G."

Sort by: Order: Results:

  • Modelling and verification of multiple UAV mission Using SMV 
    Sirigineedi, G.; Tsourdos, Antonios; Zbikowski, Rafal; White, B. (2009-11-19)
    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 ...
  • Neural Network Based Classification of Unbalances in Rotating Machinery 
    Sirigineedi, G.; Perinpanayagam, Suresh; Jennions, Ian K. (2012-06-14)
    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 ...