Practical Verification of Decision-Making in Agent-Based Autonomous Systems



Dennis, Louise ORCID: 0000-0003-1426-1896, Fisher, Michael, Lincoln, Nicholas K, Lisitsa, Alexei and Veres, Sandor M
(2014) Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Automated Software Engineering, 23 (3). pp. 305-359.

This is the latest version of this item.

[thumbnail of Article as Submitted but without Journal Formatting.] Text (Article as Submitted but without Journal Formatting.)
verification_arxiv.pdf - Unspecified

Download (531kB)
[thumbnail of 10.1007_s10515-014-0168-9.pdf] Text
10.1007_s10515-014-0168-9.pdf - Unspecified

Download (2MB)

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
Additional Information: Submitted to Journal of Automated Software Engineering
Uncontrolled Keywords: Hybrid systems, Model checking, Agent architectures
Subjects: ?? QA75 ??
?? QA76 ??
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 26 May 2016 10:43
Last Modified: 19 Jan 2023 07:36
DOI: 10.1007/s10515-014-0168-9
Publisher's 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: https://livrepository.liverpool.ac.uk/id/eprint/3001373

Available Versions of this Item