University of Limerick Institutional Repository

Browsing by Author "Sinclair, David"

DSpace/Manakin Repository

Browsing by Author "Sinclair, David"

Sort by: Order: Results:

  • Pluska, Michal; Sinclair, David (IEEE Computer Society, 2010)
    Hybrid systems are gaining interest in control engineering because the ability to provide information for verification of the system by using hybrid automata. Moreover the importance of the model based approach is growing ...
  • Pluska, Michal; Sinclair, David (IEEE Computer Society, 2011)
    This work presents the OHMS methodology. The main aim of it is to design a model of a complex system easy to process by formal model checking procedure. The outcome is a verification report showing safety of the system. ...
  • Pluska, Michal; Sinclair, David (2010)
    Around ninety percent of vehicle innovations are driven mainly by electronics. The software implementing control algorithms combines the sensor values and calculates some meaningful actuator signals. On the other hand ...
  • Pluska, Michal; Sinclair, David (20th European Meeting on Cybernetics and System Research, 2010)
    Embedded system interacting with physical world should be designed with high degree of safety. In most existing design approaches dealing with such systems verification is done afterwards what may lead to redesign problems. ...
  • Clarke, Siobhán; Fitzgerald, Brian; Nixon, Paddy; Pohl, Klaus; Ryan, Kevin; Sinclair, David; Thiel, Steffen (SAE International, 2008)
    The amount and complexity of software in automotive systems is constantly increasing. Today’s luxury cars include numerous electronic control units. A large part of the functionality of these units is driven by software. In ...
  • Kearney, Paul J.; Sinclair, David; Wagner, Sebastian (2012)
    This paper describes pattern-related aspects of the prototype Protection and Assessment Workbench developed as part of the MASTER EU 7th Framework collaborative research project. The Workbench supports a model-driven ...
  • Bai, Liang; Lao, Songyang; Smeaton, Alan F; O'Connor, Noel E; Sadlier, David; Sinclair, David (Oxford University Press, 2009)
    The most common approach to automatic summarisation and highlight detection in sports video is to train an automatic classi er to detect semantic highlights based on occurrences of low-level features such as action ...

Search DSpace

Browse

My Account