University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Subject "design methodology"

DSpace/Manakin Repository

Browsing LERO - Project partner authors by Subject "design methodology"

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 ...

Search DSpace


Advanced Search

Browse

My Account