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 At The 18th IFAC World Congress. 28 Aug - 02 Sep 2011. 5 pp.

Download

[img] PDF IFAC_2011_hybrid_verification.pdf - Author's Original
Download (276kB)

Description/Abstract

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)
Venue - Dates: The 18th IFAC World Congress, 2011-08-28 - 2011-09-02
Subjects:
Organisations: Aeronautics, Astronautics & Comp. Eng
ePrint ID: 203517
Date :
Date Event
28 August 2011Published
Date Deposited: 17 Nov 2011 12:10
Last Modified: 18 Apr 2017 01:17
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/203517

Actions (login required)

View Item View Item