The University of Southampton
University of Southampton Institutional Repository

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.

Record type: Conference or Workshop Item (Paper)


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.

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

More information

Published date: 28 August 2011
Venue - Dates: The 18th IFAC World Congress, 2011-08-28 - 2011-09-02
Organisations: Aeronautics, Astronautics & Comp. Eng


Local EPrints ID: 203517
PURE UUID: 49e924e0-ea67-4e26-953e-22f7834c55dc

Catalogue record

Date deposited: 17 Nov 2011 12:10
Last modified: 18 Jul 2017 11:08

Export record


Author: Levente Molnar
Author: S.M. Veres

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.