Kirwan, R. and Miller, A. (2010) Modelling multi-agent systems. In: Automated Reasoning Workshop 2010 Bridging the Gap between Theory and Practice ARW 2010, Harrow, UK, 30-31 Mar 2010, pp. 18-19.
Full text not currently available from Enlighten.
Publisher's URL: http://www2.wmin.ac.uk/bolotoa/ARW/arw-2010.html
Abstract
Model checking has been applied to many areas of software and hardware verification; this includes hybrid systems, which contain both hardware and software components. To model hybrid systems both types of component are included in a single model. In this research we consider hybrid systems in which multiple agents interact in an environment. An agent is a simple robot capable of moving, detecting obstacles and learning to avoid obstacles. The goal of this research is to discover a practical and standardised way of modelling these systems, and to develop theoretical techniques to measure performance.
Item Type: | Conference Proceedings |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Miller, Professor Alice |
Authors: | Kirwan, R., and Miller, A. |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
College/School: | College of Science and Engineering > School of Computing Science |
University Staff: Request a correction | Enlighten Editors: Update this record