Hybrid automata dicretising agents for formal modelling of robots
Hybrid automata dicretising agents for formal modelling of robots
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 define 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.
Molnar, Levente
3295d70a-0b14-4b2a-973c-8aadad684cca
Veres, S.M.
909c60a0-56a3-4eb6-83e4-d52742ecd304
28 August 2011
Molnar, Levente
3295d70a-0b14-4b2a-973c-8aadad684cca
Veres, S.M.
909c60a0-56a3-4eb6-83e4-d52742ecd304
Molnar, Levente and Veres, S.M.
(2011)
Hybrid automata dicretising agents for formal modelling of robots.
18th IFAC World Congress, Milan, Italy.
28 Aug - 02 Sep 2011.
5 pp
.
Record type:
Conference or Workshop Item
(Paper)
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 define 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.
Text
IFAC_2011_hybrid_verification.pdf
- Author's Original
More information
Published date: 28 August 2011
Venue - Dates:
18th IFAC World Congress, Milan, Italy, 2011-08-28 - 2011-09-02
Organisations:
Aeronautics, Astronautics & Comp. Eng
Identifiers
Local EPrints ID: 203517
URI: http://eprints.soton.ac.uk/id/eprint/203517
PURE UUID: 49e924e0-ea67-4e26-953e-22f7834c55dc
Catalogue record
Date deposited: 17 Nov 2011 12:10
Last modified: 14 Mar 2024 04:27
Export record
Contributors
Author:
Levente Molnar
Author:
S.M. Veres
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