Formal Verification of Autonomous Control Agents

S.M. Veres and J. Luo (UK)


: Formal methods, adaptive control, intelligent agents, modelling, robust control, model validation.


-- 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

Important Links:

Go Back