Hybrid automata dicretising agents for formal modelling of robots

Molnar, Levente and Veres, S.M. (2011) Hybrid automata dicretising agents for formal modelling of robots. In, The 18th IFAC World Congress, 28 Aug - 02 Sep 2011. 5pp.


[img] PDF - Author's Original
Download (173Kb)


Some of the fundamental capabilities required by autonomous vehicles and systems for their intelligent decision making are: modelling of the environment and forming data abstractions for symbolic, logic based reasoning. The paper formulates a discrete agent framework that abstracts and controls a hybrid system that is a composition of hybrid automata modelled continuous individual processes. Theoretical foundations are laid down for a class of general model composition agents (MCAs) with an advanced subclass of rational physical agents (RPAs). We de?ne MCAs as the most basic structures for the description of complex autonomous robotic systems. The RPA’s have logic based decision making that is obtained by an extension of the hybrid systems concepts using a set of abstractions. The theory presented
helps the creation of robots with reliable performance and safe operation in their environment. The paper emphasizes the abstraction aspects of the overall hybrid system that emerges from parallel composition of sets of RPAs and MCAs.

Item Type: Conference or Workshop Item (Paper)
Subjects: T Technology > T Technology (General)
Divisions : Faculty of Engineering and the Environment > Aeronautics, Astronautics and Computational Engineering
ePrint ID: 203517
Accepted Date and Publication Date:
28 August 2011Delivered
Date Deposited: 17 Nov 2011 12:10
Last Modified: 31 Mar 2016 13:46
URI: http://eprints.soton.ac.uk/id/eprint/203517

Actions (login required)

View Item View Item

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