University of Limerick Institutional Repository

Browsing by Author "Pluska, Michal"

DSpace Repository

Browsing by Author "Pluska, Michal"

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

Search DSpace


My Account