University of Limerick Institutional Repository

The design methodology for the verification of hybrid dynamical systems

DSpace Repository

Show simple item record

dc.contributor.author Pluska, Michal
dc.contributor.author Sinclair, David
dc.date.accessioned 2012-02-01T14:57:39Z
dc.date.available 2012-02-01T14:57:39Z
dc.date.issued 2011
dc.identifier.uri http://hdl.handle.net/10344/1891
dc.description non-peer-reviewed en_US
dc.description.abstract 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. As the novel approach the complex mathematical notation is hidden form the user and use object base approach with graphical notation. It gives the user better experience and more flexibility in the design. On the other hand at the end of the process the user is still provided with the formal verification report helping in the correct design. en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation.ispartofseries 10th IEEE International conference on cybernetic Intelligent Systems;09/2011
dc.relation.uri http://dx.doi.org/10.1109/UKRICIS.2010.5898146
dc.rights “© 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works en_US
dc.subject formal verification en_US
dc.subject design methodology en_US
dc.subject systems engineering en_US
dc.subject hybrid system en_US
dc.title The design methodology for the verification of hybrid dynamical systems en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.contributor.sponsor SFI
dc.relation.projectid 03/CE2/I303_1


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics