Reinl, Christian ; Ruh, F. ; Stolzenburg, F. ; Stryk, Oskar von (2008)
Multi-Robot Systems Optimization and Analysis Using MILP and CLP.
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (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.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2008 |
| Autor(en): | Reinl, Christian ; Ruh, F. ; Stolzenburg, F. ; Stryk, Oskar von |
| Art des Eintrags: | Bibliographie |
| Titel: | Multi-Robot Systems Optimization and Analysis Using MILP and CLP |
| Sprache: | Englisch |
| Publikationsjahr: | Mai 2008 |
| Ort: | Estoril, Portugal |
| Buchtitel: | AAMAS08-Workshop on Formal Models and Methods for Multi-Robot Systems |
| Zugehörige Links: | |
| Kurzbeschreibung (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. |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Simulation, Systemoptimierung und Robotik |
| Hinterlegungsdatum: | 20 Jun 2016 23:26 |
| Letzte Änderung: | 06 Mai 2019 09:48 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum