TU Darmstadt / ULB / TUbiblio

Multi-Robot Systems Optimization and Analysis Using MILP and CLP

Reinl, Christian and Ruh, F. and Stolzenburg, F. and Stryk, Oskar von (2008):
Multi-Robot Systems Optimization and Analysis Using MILP and CLP.
In: AAMAS08-Workshop on Formal Models and Methods for Multi-Robot Systems, Estoril, Portugal, [Conference or Workshop Item]

Abstract

Formal methods for multi-robot system analysis, specially logic-based methods, operate on discrete models. Optimization methods for simultaneous trajectory and task allocation, namely mixed integer dynamic optimization, operate on hybrid dynamical models which take into account a model of the motion dynamics of the physical robot. In this paper, ongoing work towards a coherent treatment of both approaches is described. A benchmark problem from robot soccer is introduced and used as an illustrative example.

Item Type: Conference or Workshop Item
Erschienen: 2008
Creators: Reinl, Christian and Ruh, F. and Stolzenburg, F. and Stryk, Oskar von
Title: Multi-Robot Systems Optimization and Analysis Using MILP and CLP
Language: English
Abstract:

Formal methods for multi-robot system analysis, specially logic-based methods, operate on discrete models. Optimization methods for simultaneous trajectory and task allocation, namely mixed integer dynamic optimization, operate on hybrid dynamical models which take into account a model of the motion dynamics of the physical robot. In this paper, ongoing work towards a coherent treatment of both approaches is described. A benchmark problem from robot soccer is introduced and used as an illustrative example.

Title of Book: AAMAS08-Workshop on Formal Models and Methods for Multi-Robot Systems
Place of Publication: Estoril, Portugal
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Simulation, Systems Optimization and Robotics Group
Date Deposited: 20 Jun 2016 23:26
Identification Number: 2008:ReinlRuhStolzenburgStryk
Related URLs:
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item