2,944 research outputs found
Towards adaptive multi-robot systems: self-organization and self-adaptation
Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG gefรถrderten) Allianz- bzw. Nationallizenz frei zugรคnglich.This publication is with permission of the rights owner freely accessible due to an Alliance licence and a national licence (funded by the DFG, German Research Foundation) respectively.The development of complex systems ensembles that operate in uncertain environments is a major challenge. The reason for this is that system designers are not able to fully specify the system during specification and development and before it is being deployed. Natural swarm systems enjoy similar characteristics, yet, being self-adaptive and being able to self-organize, these systems show beneficial emergent behaviour. Similar concepts can be extremely helpful for artificial systems, especially when it comes to multi-robot scenarios, which require such solution in order to be applicable to highly uncertain real world application. In this article, we present a comprehensive overview over state-of-the-art solutions in emergent systems, self-organization, self-adaptation, and robotics. We discuss these approaches in the light of a framework for multi-robot systems and identify similarities, differences missing links and open gaps that have to be addressed in order to make this framework possible
Applications of Biological Cell Models in Robotics
In this paper I present some of the most representative biological models
applied to robotics. In particular, this work represents a survey of some
models inspired, or making use of concepts, by gene regulatory networks (GRNs):
these networks describe the complex interactions that affect gene expression
and, consequently, cell behaviour
Engineering evolutionary control for real-world robotic systems
Evolutionary Robotics (ER) is the field of study concerned with the application
of evolutionary computation to the design of robotic systems. Two main
issues have prevented ER from being applied to real-world tasks, namely scaling to
complex tasks and the transfer of control to real-robot systems. Finding solutions
to complex tasks is challenging for evolutionary approaches due to the bootstrap
problem and deception. When the task goal is too difficult, the evolutionary process
will drift in regions of the search space with equally low levels of performance
and therefore fail to bootstrap. Furthermore, the search space tends to get rugged
(deceptive) as task complexity increases, which can lead to premature convergence.
Another prominent issue in ER is the reality gap. Behavioral control is typically
evolved in simulation and then only transferred to the real robotic hardware when
a good solution has been found. Since simulation is an abstraction of the real
world, the accuracy of the robot model and its interactions with the environment
is limited. As a result, control evolved in a simulator tends to display a lower
performance in reality than in simulation.
In this thesis, we present a hierarchical control synthesis approach that enables
the use of ER techniques for complex tasks in real robotic hardware by mitigating
the bootstrap problem, deception, and the reality gap. We recursively decompose
a task into sub-tasks, and synthesize control for each sub-task. The individual
behaviors are then composed hierarchically. The possibility of incrementally
transferring control as the controller is composed allows transferability issues to
be addressed locally in the controller hierarchy. Our approach features hybridity,
allowing different control synthesis techniques to be combined. We demonstrate
our approach in a series of tasks that go beyond the complexity of tasks where ER
has been successfully applied. We further show that hierarchical control can be applied
in single-robot systems and in multirobot systems. Given our long-term goal
of enabling the application of ER techniques to real-world tasks, we systematically
validate our approach in real robotic hardware. For one of the demonstrations in
this thesis, we have designed and built a swarm robotic platform, and we show the
first successful transfer of evolved and hierarchical control to a swarm of robots
outside of controlled laboratory conditions.A Robรณtica Evolutiva (RE) รฉ a รกrea de investigaรงรฃo que estuda a aplicaรงรฃo de
computaรงรฃo evolutiva na conceรงรฃo de sistemas robรณticos. Dois principais desafios
tรชm impedido a aplicaรงรฃo da RE em tarefas do mundo real: a dificuldade em solucionar
tarefas complexas e a transferรชncia de controladores evoluรญdos para sistemas
robรณticos reais. Encontrar soluรงรตes para tarefas complexas รฉ desafiante para as
tรฉcnicas evolutivas devido ao bootstrap problem e ร deception. Quando o objetivo
รฉ demasiado difรญcil, o processo evolutivo tende a permanecer em regiรตes do espaรงo
de procura com nรญveis de desempenho igualmente baixos, e consequentemente nรฃo
consegue inicializar. Por outro lado, o espaรงo de procura tende a enrugar ร medida
que a complexidade da tarefa aumenta, o que pode resultar numa convergรชncia
prematura. Outro desafio na RE รฉ a reality gap. O controlo robรณtico รฉ tipicamente
evoluรญdo em simulaรงรฃo, e sรณ รฉ transferido para o sistema robรณtico real quando uma
boa soluรงรฃo tiver sido encontrada. Como a simulaรงรฃo รฉ uma abstraรงรฃo da realidade,
a precisรฃo do modelo do robรด e das suas interaรงรตes com o ambiente รฉ limitada,
podendo resultar em controladores com um menor desempenho no mundo real.
Nesta tese, apresentamos uma abordagem de sรญntese de controlo hierรกrquica
que permite o uso de tรฉcnicas de RE em tarefas complexas com hardware robรณtico
real, mitigando o bootstrap problem, a deception e a reality gap. Decompomos
recursivamente uma tarefa em sub-tarefas, e sintetizamos controlo para cada subtarefa.
Os comportamentos individuais sรฃo entรฃo compostos hierarquicamente.
A possibilidade de transferir o controlo incrementalmente ร medida que o controlador
รฉ composto permite que problemas de transferibilidade possam ser endereรงados
localmente na hierarquia do controlador. A nossa abordagem permite
o uso de diferentes tรฉcnicas de sรญntese de controlo, resultando em controladores
hรญbridos. Demonstramos a nossa abordagem em vรกrias tarefas que vรฃo para alรฉm
da complexidade das tarefas onde a RE foi aplicada. Tambรฉm mostramos que o
controlo hierรกrquico pode ser aplicado em sistemas de um robรด ou sistemas multirobรด.
Dado o nosso objetivo de longo prazo de permitir o uso de tรฉcnicas de
RE em tarefas no mundo real, concebemos e desenvolvemos uma plataforma de
robรณtica de enxame, e mostramos a primeira transferรชncia de controlo evoluรญdo e
hierรกrquico para um exame de robรดs fora de condiรงรตes controladas de laboratรณrio.This work has been supported by the Portuguese Foundation for Science
and Technology (Fundaรงรฃo para a Ciรชncia e Tecnologia) under the grants
SFRH/BD/76438/2011, EXPL/EEI-AUT/0329/2013, and by Instituto de Telecomunicaรงรตes
under the grant UID/EEA/50008/2013
Applying autonomy to distributed satellite systems: Trends, challenges, and future prospects
While monolithic satellite missions still pose significant advantages in terms of accuracy and
operations, novel distributed architectures are promising improved flexibility, responsiveness,
and adaptability to structural and functional changes. Large satellite swarms, opportunistic satellite
networks or heterogeneous constellations hybridizing small-spacecraft nodes with highperformance
satellites are becoming feasible and advantageous alternatives requiring the adoption
of new operation paradigms that enhance their autonomy. While autonomy is a notion that
is gaining acceptance in monolithic satellite missions, it can also be deemed an integral characteristic
in Distributed Satellite Systems (DSS). In this context, this paper focuses on the motivations
for system-level autonomy in DSS and justifies its need as an enabler of system qualities. Autonomy
is also presented as a necessary feature to bring new distributed Earth observation functions
(which require coordination and collaboration mechanisms) and to allow for novel structural
functions (e.g., opportunistic coalitions, exchange of resources, or in-orbit data services). Mission
Planning and Scheduling (MPS) frameworks are then presented as a key component to implement
autonomous operations in satellite missions. An exhaustive knowledge classification explores the
design aspects of MPS for DSS, and conceptually groups them into: components and organizational
paradigms; problem modeling and representation; optimization techniques and metaheuristics;
execution and runtime characteristics and the notions of tasks, resources, and constraints.
This paper concludes by proposing future strands of work devoted to study the trade-offs of
autonomy in large-scale, highly dynamic and heterogeneous networks through frameworks that
consider some of the limitations of small spacecraft technologies.Postprint (author's final draft
A new model for solution of complex distributed constrained problems
In this paper we describe an original computational model for solving
different types of Distributed Constraint Satisfaction Problems (DCSP). The
proposed model is called Controller-Agents for Constraints Solving (CACS). This
model is intended to be used which is an emerged field from the integration
between two paradigms of different nature: Multi-Agent Systems (MAS) and the
Constraint Satisfaction Problem paradigm (CSP) where all constraints are
treated in central manner as a black-box. This model allows grouping
constraints to form a subset that will be treated together as a local problem
inside the controller. Using this model allows also handling non-binary
constraints easily and directly so that no translating of constraints into
binary ones is needed. This paper presents the implementation outlines of a
prototype of DCSP solver, its usage methodology and overview of the CACS
application for timetabling problems
ํ์ ๋ก๋ด์ ์ํ ์๋น์ค ๊ธฐ๋ฐ๊ณผ ๋ชจ๋ธ ๊ธฐ๋ฐ์ ์ํํธ์จ์ด ๊ฐ๋ฐ ๋ฐฉ๋ฒ๋ก
ํ์๋
ผ๋ฌธ(๋ฐ์ฌ)--์์ธ๋ํ๊ต ๋ํ์ :๊ณต๊ณผ๋ํ ์ ๊ธฐยท์ปดํจํฐ๊ณตํ๋ถ,2020. 2. ํ์ํ.๊ฐ๊น์ด ๋ฏธ๋์๋ ๋ค์ํ ๋ก๋ด์ด ๋ค์ํ ๋ถ์ผ์์ ํ๋์ ์๋ฌด๋ฅผ ํ๋ ฅํ์ฌ ์ํํ๋ ๋ชจ์ต์ ํํ ๋ณผ ์ ์๊ฒ ๋ ๊ฒ์ด๋ค. ๊ทธ๋ฌ๋ ์ค์ ๋ก ์ด๋ฌํ ๋ชจ์ต์ด ์คํ๋๊ธฐ์๋ ๋ ๊ฐ์ง์ ์ด๋ ค์์ด ์๋ค. ๋จผ์ ๋ก๋ด์ ์ด์ฉํ๊ธฐ ์ํ ์ํํธ์จ์ด๋ฅผ ๋ช
์ธํ๋ ๊ธฐ์กด ์ฐ๊ตฌ๋ค์ ๋๋ถ๋ถ ๊ฐ๋ฐ์๊ฐ ๋ก๋ด์ ํ๋์จ์ด์ ์ํํธ์จ์ด์ ๋ํ ์ง์์ ์๊ณ ์๋ ๊ฒ์ ๊ฐ์ ํ๊ณ ์๋ค. ๊ทธ๋์ ๋ก๋ด์ด๋ ์ปดํจํฐ์ ๋ํ ์ง์์ด ์๋ ์ฌ์ฉ์๋ค์ด ์ฌ๋ฌ ๋์ ๋ก๋ด์ด ํ๋ ฅํ๋ ์๋๋ฆฌ์ค๋ฅผ ์์ฑํ๊ธฐ๋ ์ฝ์ง ์๋ค. ๋ํ, ๋ก๋ด์ ์ํํธ์จ์ด๋ฅผ ๊ฐ๋ฐํ ๋ ๋ก๋ด์ ํ๋์จ์ด์ ํน์ฑ๊ณผ ๊ด๋ จ์ด ๊น์ด์, ๋ค์ํ ๋ก๋ด์ ์ํํธ์จ์ด๋ฅผ ๊ฐ๋ฐํ๋ ๊ฒ๋ ๊ฐ๋จํ์ง ์๋ค. ๋ณธ ๋
ผ๋ฌธ์์๋ ์์ ์์ค์ ๋ฏธ์
๋ช
์ธ์ ๋ก๋ด์ ํ์ ํ๋ก๊ทธ๋๋ฐ์ผ๋ก ๋๋์ด ์๋ก์ด ์ํํธ์จ์ด ๊ฐ๋ฐ ํ๋ ์์ํฌ๋ฅผ ์ ์ํ๋ค. ๋ํ, ๋ณธ ํ๋ ์์ํฌ๋ ํฌ๊ธฐ๊ฐ ์์ ๋ก๋ด๋ถํฐ ๊ณ์ฐ ๋ฅ๋ ฅ์ด ์ถฉ๋ถํ ๋ก๋ด๋ค์ด ์๋ก ๊ตฐ์ง์ ์ด๋ฃจ์ด ๋ฏธ์
์ ์ํํ ์ ์๋๋ก ์ง์ํ๋ค.
๋ณธ ์ฐ๊ตฌ์์๋ ๋ก๋ด์ ํ๋์จ์ด๋ ์ํํธ์จ์ด์ ๋ํ ์ง์์ด ๋ถ์กฑํ ์ฌ์ฉ์๋ ๋ก๋ด์ ๋์์ ์์ ์์ค์์ ๋ช
์ธํ ์ ์๋ ์คํฌ๋ฆฝํธ ์ธ์ด๋ฅผ ์ ์ํ๋ค. ์ ์ํ๋ ์ธ์ด๋ ๊ธฐ์กด์ ์คํฌ๋ฆฝํธ ์ธ์ด์์๋ ์ง์ํ์ง ์๋ ๋ค ๊ฐ์ง์ ๊ธฐ๋ฅ์ธ ํ์ ๊ตฌ์ฑ, ๊ฐ ํ์ ์๋น์ค ๊ธฐ๋ฐ ํ๋ก๊ทธ๋๋ฐ, ๋์ ์ผ๋ก ๋ชจ๋ ๋ณ๊ฒฝ, ๋ค์ค ์์
(๋ฉํฐ ํ์คํน)์ ์ง์ํ๋ค. ์ฐ์ ๋ก๋ด์ ํ์ผ๋ก ๊ทธ๋ฃน ์ง์ ์ ์๊ณ , ๋ก๋ด์ด ์ํํ ์ ์๋ ๊ธฐ๋ฅ์ ์๋น์ค ๋จ์๋ก ์ถ์ํํ์ฌ ์๋ก์ด ๋ณตํฉ ์๋น์ค๋ฅผ ๋ช
์ธํ ์ ์๋ค. ๋ํ ๋ก๋ด์ ๋ฉํฐ ํ์คํน์ ์ํด 'ํ๋' ์ด๋ผ๋ ๊ฐ๋
์ ๋์
ํ์๊ณ , ๋ณตํฉ ์๋น์ค ๋ด์์ ์ด๋ฒคํธ๋ฅผ ๋ฐ์์์ผ์ ๋์ ์ผ๋ก ๋ชจ๋๊ฐ ๋ณํํ ์ ์๋๋ก ํ์๋ค. ๋์๊ฐ ์ฌ๋ฌ ๋ก๋ด์ ํ๋ ฅ์ด ๋์ฑ ๊ฒฌ๊ณ ํ๊ณ , ์ ์ฐํ๊ณ , ํ์ฅ์ฑ์ ๋์ด๊ธฐ ์ํด, ๊ตฐ์ง ๋ก๋ด์ ์ด์ฉํ ๋ ๋ก๋ด์ด ์๋ฌด๋ฅผ ์ํํ๋ ๋์ค์ ๋ฌธ์ ๊ฐ ์๊ธธ ์ ์์ผ๋ฉฐ, ์ํฉ์ ๋ฐ๋ผ ๋ก๋ด์ ๋์ ์ผ๋ก ๋ค๋ฅธ ํ์๋ฅผ ์ํํ ์ ์๋ค๊ณ ๊ฐ์ ํ๋ค. ์ด๋ฅผ ์ํด ๋์ ์ผ๋ก๋ ํ์ ๊ตฌ์ฑํ ์ ์๊ณ , ์ฌ๋ฌ ๋์ ๋ก๋ด์ด ํ๋์ ์๋น์ค๋ฅผ ์ํํ๋ ๊ทธ๋ฃน ์๋น์ค๋ฅผ ์ง์ํ๊ณ , ์ผ๋ ๋ค ํต์ ๊ณผ ๊ฐ์ ์๋ก์ด ๊ธฐ๋ฅ์ ์คํฌ๋ฆฝํธ ์ธ์ด์ ๋ฐ์ํ์๋ค. ๋ฐ๋ผ์ ํ์ฅ๋ ์์ ์์ค์ ์คํฌ๋ฆฝํธ ์ธ์ด๋ ๋น์ ๋ฌธ๊ฐ๋ ๋ค์ํ ์ ํ์ ํ๋ ฅ ์๋ฌด๋ฅผ ์ฝ๊ฒ ๋ช
์ธํ ์ ์๋ค.
๋ก๋ด์ ํ์๋ฅผ ํ๋ก๊ทธ๋๋ฐํ๊ธฐ ์ํด ๋ค์ํ ์ํํธ์จ์ด ๊ฐ๋ฐ ํ๋ ์์ํฌ๊ฐ ์ฐ๊ตฌ๋๊ณ ์๋ค. ํนํ ์ฌ์ฌ์ฉ์ฑ๊ณผ ํ์ฅ์ฑ์ ์ค์ ์ผ๋ก ๋ ์ฐ๊ตฌ๋ค์ด ์ต๊ทผ ๋ง์ด ์ฌ์ฉ๋๊ณ ์์ง๋ง, ๋๋ถ๋ถ์ ์ด๋ค ์ฐ๊ตฌ๋ ๋ฆฌ๋
์ค ์ด์์ฒด์ ์ ๊ฐ์ด ๋ง์ ํ๋์จ์ด ์์์ ํ์๋ก ํ๋ ์ด์์ฒด์ ๋ฅผ ๊ฐ์ ํ๊ณ ์๋ค. ๋ํ, ํ๋ก๊ทธ๋จ์ ๋ถ์ ๋ฐ ์ฑ๋ฅ ์์ธก ๋ฑ์ ๊ณ ๋ คํ์ง ์๊ธฐ ๋๋ฌธ์, ์์ ์ ์ฝ์ด ์ฌํ ํฌ๊ธฐ๊ฐ ์์ ๋ก๋ด์ ์ํํธ์จ์ด๋ฅผ ๊ฐ๋ฐํ๊ธฐ์๋ ์ด๋ ต๋ค. ๊ทธ๋์ ๋ณธ ์ฐ๊ตฌ์์๋ ์๋ฒ ๋๋ ์ํํธ์จ์ด๋ฅผ ์ค๊ณํ ๋ ์ฐ์ด๋ ์ ํ์ ์ธ ๋ชจ๋ธ์ ์ด์ฉํ๋ค. ์ด ๋ชจ๋ธ์ ์ ์ ๋ถ์๊ณผ ์ฑ๋ฅ ์์ธก์ด ๊ฐ๋ฅํ์ง๋ง, ๋ก๋ด์ ํ์๋ฅผ ํํํ๊ธฐ์๋ ์ ์ฝ์ด ์๋ค. ๊ทธ๋์ ๋ณธ ๋
ผ๋ฌธ์์ ์ธ๋ถ์ ์ด๋ฒคํธ์ ์ํด ์ํ ์ค๊ฐ์ ํ์๋ฅผ ๋ณ๊ฒฝํ๋ ๋ก๋ด์ ์ํด ์ ํ ์ํ ๋จธ์ ๋ชจ๋ธ๊ณผ ๋ฐ์ดํฐ ํ๋ก์ฐ ๋ชจ๋ธ์ด ๊ฒฐํฉํ์ฌ ๋์ ํ์๋ฅผ ๋ช
์ธํ ์ ์๋ ํ์ฅ๋ ๋ชจ๋ธ์ ์ ์ฉํ๋ค. ๊ทธ๋ฆฌ๊ณ ๋ฅ๋ฌ๋๊ณผ ๊ฐ์ด ๊ณ์ฐ๋์ ๋ง์ด ํ์๋ก ํ๋ ์์ฉ์ ๋ถ์ํ๊ธฐ ์ํด, ๋ฃจํ ๊ตฌ์กฐ๋ฅผ ๋ช
์์ ์ผ๋ก ํํํ ์ ์๋ ๋ชจ๋ธ์ ์ ์ํ๋ค. ๋ง์ง๋ง์ผ๋ก ์ฌ๋ฌ ๋ก๋ด์ ํ์
์ด์ฉ์ ์ํด ๋ก๋ด ์ฌ์ด์ ๊ณต์ ๋๋ ์ ๋ณด๋ฅผ ๋ํ๋ด๊ธฐ ์ํด ๋ ๊ฐ์ง ๋ชจ๋ธ์ ์ฌ์ฉํ๋ค. ๋จผ์ ์ค์์์ ๊ณต์ ์ ๋ณด๋ฅผ ๊ด๋ฆฌํ๊ธฐ ์ํด ๋ผ์ด๋ธ๋ฌ๋ฆฌ ํ์คํฌ๋ผ๋ ํน๋ณํ ํ์คํฌ๋ฅผ ํตํด ๊ณต์ ์ ๋ณด๋ฅผ ๋ํ๋ธ๋ค. ๋ํ, ๋ก๋ด์ด ์์ ์ ์ ๋ณด๋ฅผ ๊ฐ๊น์ด ๋ก๋ด๋ค๊ณผ ๊ณต์ ํ๊ธฐ ์ํด ๋ฉํฐ์บ์คํ
์ ์ํ ์๋ก์ด ํฌํธ๋ฅผ ์ถ๊ฐํ๋ค. ์ด๋ ๊ฒ ํ์ฅ๋ ์ ํ์ ์ธ ๋ชจ๋ธ์ ์ค์ ๋ก๋ด ์ฝ๋๋ก ์๋ ์์ฑ๋์ด, ์ํํธ์จ์ด ์ค๊ณ ์์ฐ์ฑ ๋ฐ ๊ฐ๋ฐ ํจ์จ์ฑ์ ์ด์ ์ ๊ฐ์ง๋ค.
๋น์ ๋ฌธ๊ฐ๊ฐ ๋ช
์ธํ ์คํฌ๋ฆฝํธ ์ธ์ด๋ ์ ํ์ ์ธ ํ์คํฌ ๋ชจ๋ธ๋ก ๋ณํํ๊ธฐ ์ํด ์ค๊ฐ ๋จ๊ณ์ธ ์ ๋ต ๋จ๊ณ๋ฅผ ์ถ๊ฐํ์๋ค. ์ ์ํ๋ ๋ฐฉ๋ฒ๋ก ์ ํ๋น์ฑ์ ๊ฒ์ฆํ๊ธฐ ์ํด, ์๋ฎฌ๋ ์ด์
๊ณผ ์ฌ๋ฌ ๋์ ์ค์ ๋ก๋ด์ ์ด์ฉํ ํ์
ํ๋ ์๋๋ฆฌ์ค์ ๋ํด ์คํ์ ์งํํ์๋ค.In the near future, it will be common that a variety of robots are cooperating to perform a mission in various fields. There are two software challenges when deploying collaborative robots: how to specify a cooperative mission and how to program each robot to accomplish its mission. In this paper, we propose a novel software development framework that separates mission specification and robot behavior programming, which is called service-oriented and model-based (SeMo) framework. Also, it can support distributed robot systems, swarm robots, and their hybrid.
For mission specification, a novel scripting language is proposed with the expression capability. It involves team composition and service-oriented behavior specification of each team, allowing dynamic mode change of operation and multi-tasking. Robots are grouped into teams, and the behavior of each team is defined with a composite service. The internal behavior of a composite service is defined by a sequence of services that the robots will perform. The notion of plan is applied to express multi-tasking. And the robot may have various operating modes, so mode change is triggered by events generated in a composite service. Moreover, to improve the robustness, scalability, and flexibility of robot collaboration, the high-level mission scripting language is extended with new features such as team hierarchy, group service, one-to-many communication. We assume that any robot fails during the execution of scenarios, and the grouping of robots can be made at run-time dynamically. Therefore, the extended mission specification enables a casual user to specify various types of cooperative missions easily.
For robot behavior programming, an extended dataflow model is used for task-level behavior specification that does not depend on the robot hardware platform. To specify the dynamic behavior of the robot, we apply an extended task model that supports a hybrid specification of dataflow and finite state machine models. Furthermore, we propose a novel extension to allow the explicit specification of loop structures. This extension helps the compute-intensive application, which contains a lot of loop structures, to specify explicitly and analyze at compile time. Two types of information sharing, global information sharing and local knowledge sharing, are supported for robot collaboration in the dataflow graph. For global information, we use the library task, which supports shared resource management and server-client interaction. On the other hand, to share information locally with near robots, we add another type of port for multicasting and use the knowledge sharing technique. The actual robot code per robot is automatically generated from the associated task graph, which minimizes the human efforts in low-level robot programming and improves the software design productivity significantly.
By abstracting the tasks or algorithms as services and adding the strategy description layer in the design flow, the mission specification is refined into task-graph specification automatically. The viability of the proposed methodology is verified with preliminary experiments with three cooperative mission scenarios with heterogeneous robot platforms and robot simulator.Chapter 1. Introduction 1
1.1 Motivation 1
1.2 Contribution 7
1.3 Dissertation Organization 9
Chapter 2. Background and Existing Research 11
2.1 Terminologies 11
2.2 Robot Software Development Frameworks 25
2.3 Parallel Embedded Software Development Framework 31
Chapter 3. Overview of the SeMo Framework 41
3.1 Motivational Examples 45
Chapter 4. Robot Behavior Programming 47
4.1 Related works 48
4.2 Model-based Task Graph Specification for Individual Robots 56
4.3 Model-based Task Graph Specification for Cooperating Robots 70
4.4 Automatic Code Generation 74
4.5 Experiments 78
Chapter 5. High-level Mission Specification 81
5.1 Service-oriented Mission Specification 82
5.2 Strategy Description 93
5.3 Automatic Task Graph Generation 96
5.4 Related works 99
5.5 Experiments 104
Chapter 6. Conclusion 114
6.1 Future Research 116
Bibliography 118
Appendices 133
์์ฝ 158Docto
BEHAVIORAL COMPOSITION FOR HETEROGENEOUS SWARMS
Research into swarm robotics has produced a robust library of swarm behaviors that excel at defined tasks such as flocking and area search, many of which have potential for application to a wide range of military problems. However, to be successfully applied to an operational environment, swarms must be flexible enough to achieve a wide array of specific objectives and usable enough to be configured and employed by lay operators. This research explored the use of the Mission-based Architecture for Swarm Composability (MASC) to develop mission-specific tactics as compositions of more general, reusable plays for use with the Advanced Robotic Systems Engineering Laboratory (ARSENL) swarm system. Three tactics were developed to conduct autonomous search of a geographic area and investigation of generated contacts of interest. The tactics were tested in live-flight and virtual environment experiments and compared to a preexisting monolithic behavior implementation completing the same task. Measures of performance were defined and observed that verified the effectiveness of solutions and confirmed the advantages that composition provides with respect to reusability and rapid development of increasingly complex behaviors.Lieutenant Commander, United States NavyApproved for public release. Distribution is unlimited
- โฆ