Formal verification of autonomous control agents
Formal verification of autonomous control agents
A class of agent architectures is analyzed for reliability and logical consistency. Formal analysis can help to uncover unaccounted for corners or cases where the agent based system can potentially fail to perform as implied by the theory. The agents perform modelling, controller optimization, implementation and also monitor performance. The global convergence of performance of the agent system is proven
under mild assumptions. The formerly introduced cautiously optimistic family of control agent architectures is analyzed in this paper by formal and simulation methods
formal methods, adaptive control, intelligent agents, modelling, robust control, model validation.
140-144
International Association of Science and Technology for Development
Veres, S.M.
909c60a0-56a3-4eb6-83e4-d52742ecd304
Luo, J.
c3143e78-c638-4287-9900-e03d6ecaa448
2004
Veres, S.M.
909c60a0-56a3-4eb6-83e4-d52742ecd304
Luo, J.
c3143e78-c638-4287-9900-e03d6ecaa448
Veres, S.M. and Luo, J.
(2004)
Formal verification of autonomous control agents.
In Proceedings of the 6th IASTED international conference: intelligent systems and control.
International Association of Science and Technology for Development.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
A class of agent architectures is analyzed for reliability and logical consistency. Formal analysis can help to uncover unaccounted for corners or cases where the agent based system can potentially fail to perform as implied by the theory. The agents perform modelling, controller optimization, implementation and also monitor performance. The global convergence of performance of the agent system is proven
under mild assumptions. The formerly introduced cautiously optimistic family of control agent architectures is analyzed in this paper by formal and simulation methods
This record has no associated files available for download.
More information
Published date: 2004
Venue - Dates:
6th International IASTED International Conference: Intelligent Systems and Control, Honolulu, USA, 2004-08-22 - 2004-08-24
Keywords:
formal methods, adaptive control, intelligent agents, modelling, robust control, model validation.
Identifiers
Local EPrints ID: 22975
URI: http://eprints.soton.ac.uk/id/eprint/22975
PURE UUID: db637b11-849d-4eab-a758-b800cba05a7c
Catalogue record
Date deposited: 03 Apr 2006
Last modified: 08 Jan 2022 09:52
Export record
Contributors
Author:
S.M. Veres
Author:
J. Luo
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics