University of Limerick Institutional Repository

A first approach to the closed-form specification and analysis of an autonomic control system

DSpace Repository

Show simple item record

dc.contributor.creator Dobson, Simon
dc.contributor.creator Bailey, Eoin
dc.contributor.creator Knox, Stephen
dc.contributor.creator Shannon, Ross
dc.contributor.creator Quigley, Aaron 2011-07-22T09:40:08Z 2011-07-22T09:40:08Z 2007
dc.description peer-reviewed en_US
dc.description.abstract Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are expected to provide self-managing, adaptive, autonomic behaviour. Understanding the behaviour such a system will exhibit under any specific conditions is a significant design challenge. We present a model derived from approaches to modelling dynamical systems in which the adaptive behaviour of an autonomic system may be described and analysed as a whole. We explain our ideas with reference to a hybrid hardware/software system, and argue that it generalises to other classes of autonomic systems. en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation.ispartofseries 12th IEEE International Conference on Engineering Complex Computer Systems;
dc.rights ©2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. en_US
dc.subject autonomic control system en_US
dc.title A first approach to the closed-form specification and analysis of an autonomic control system 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, 04/RPI/1544

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account