Dennis, L, Fisher, M, Lincoln, NK, Lisitsa, A and Veres, SM
(2014)
Practical Verification of Decision-Making in Agent-Based Autonomous Systems.
Automated Software Engineering.
ISSN 1573-7535
There is a more recent version of this item available. |
Text (Article as Submitted but without Journal Formatting.)
verification_arxiv.pdf - Draft Version Download (531kB) |
Abstract
We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete decision-making increases making them unattractive in situations where complex logical reasoning is required. In the programming of complex systems it has, therefore, become common to separate out logical decision-making into a separate, discrete, component. However, verification techniques have failed to keep pace with this development. We are exploring agent-based logical components and have developed a model checking technique for such components which can then be composed with a separate analysis of the continuous part of the hybrid system. Among other things this allows program model checkers to be used to verify the actual implementation of the decision-making in hybrid autonomous systems.
Item Type: | Article |
---|---|
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software |
Divisions: | ?? dep_compsci ?? |
Depositing User: | Symplectic Admin |
Date Deposited: | 03 Mar 2015 10:40 |
Last Modified: | 26 May 2016 10:43 |
DOI: | 10.1007/s10515-014-0168-9 |
Public Statement : | First published online in Automated Software Engineering, 6 September 2014 by Springer US. The final publication is available at Springer via http://dx.doi.org/10.1007/s10515-014-0168-9. |
Related URLs: | |
URI: | http://livrepository.liverpool.ac.uk/id/eprint/13195 |
Available Versions of this Item
- Practical Verification of Decision-Making in Agent-Based Autonomous Systems. (deposited 03 Mar 2015 10:40) [Currently Displayed]