59
Distributed Systems Silvia Rossi [email protected] 081 679310 Intelligent

Distributed Systems [email protected] Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Distributed Systems

Silvia Rossi

[email protected]

081 679310

Intelligent

Page 2: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Course Objectives

• Know what it takes to make a robust autonomous multi-robot team work:– Sense/Think/Act

• Understand the important, approaches, research issues and challenges in autonomous robotics.

• Know how to program an autonomous robot team.

Page 3: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Rationale of the course

• Well-balanced: multi-agent theory and algorithms, experimental multi-robot examples

• Understand quantitatively natural collective phenomena

• Understand how to model, design, control, evaluate, and optimize distributed intelligent systems

• Learning to present and review a research work and digging out literature

Page 4: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

What is this Course about

• Distributed natural and artificial systems

• Coordination algorithms

• Distributed sensing and action

• Models, simulation tools targeted to distributedintelligent systems

• Multi-robot systems

Page 5: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Course Overview (1 – multi-agentmethodologies)

• Introduction to Multi Agent systems and Distributed AI: Agent Architectures (logic, reactive, layered, BDI)

• Distributed rational decision making: Game theory, Voting, Auctions, Coalitions Formation.

• Agent Interaction Protocols: Coordination, Cooperation, Contract Net, Negotiation.

• Agent Communication: Coordination, Speech Acts.• Distributed Problem solving and planning: Task

Allocation, Task sharing, Result Sharing, Distributed Planning.

• Formal Methods in DAI: Modal and Temporal Logic, Knowledge and Beliefs.

Page 7: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

INTRODUCTION TO MULTI-ROBOT

Page 8: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

What we (should) got so far…

Robot:• In a real environemt

• Able to perceive and act

• Able to think

Environment

Robot

Page 9: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Why Multi-robot?

Page 10: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Why Multi-robot?

• Some tasks require a team

Page 11: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Why Multi - robot?

• Some tasks require a team

Page 12: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Why Multi-robot?

• Faster execution

• Some tasks may be decomposed ad divided in order to be executed more efficiently– Mapping of a big area

Page 13: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Why Multi-robot?

• Faster execution

• Some tasks may be decomposed ad divided in order to be executed more efficiently– Mapping of a big area

Page 14: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Why Multi-robot?

• Costs

• More specialist robots are preferred to a single generalist one– Simpler design

Page 15: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Why Multi-robot?

• Failure robustness is increased by the number of robots and the replication

Page 16: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Why Not Multi-robot?

• Coordination

• Communication

• Test difficulties

• N x Problem

Page 17: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Coordination

• Coordination problems are present both in artificial and natural systems.

• Examples from nature:

Page 18: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Communication

• Cooperation between robots can be achieved by communication mechanisms and the exchange of messages.

• Direct and indirect communication.

Page 19: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Communication

• Direct communication makes use of dedicated hardware

• Indirect communication makes use of stigmergy– Can reduce complexity in the

design of large scale systems

Page 20: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Cooperation taxonomy

Cooperation

Page 21: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Cooperation

• The ability of a group to cooperate in order to achieve a common goal.

• We can distinguish among cooperative and competitive systems.

• A pure cooperative system has a single shared goal among the agents.

Page 22: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Cooperation taxonomy

AwareUnaware

Cooperation

Page 23: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Knowledge

• Represents the ability of a the robots to have information about the rest of the group.

• Aware: robots are aware of the team metes• Unaware: robots acts without considering their

team mates– Frequently inspired by biological domains– Easier to manage from the engineering point of view

• Knowledge is not equal to communication: robot can manage the presence of other robots without the necessity to communicate with them.

Page 24: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Cooperation taxonomy

AwareUnaware

Cooperation

Strong coordination

Weakcoordination

NoCoordination

Page 25: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Coordination levels

• We talk about coordination when, before acting, the robot takes into account other robots actions in order to have a coherent global behavior.

• There are different methods to take into account other robots actions. – An interaction protocol is defined as a set of rules that robots have to

follows in order to interact. – May require a subdivision in different roles.– According to the protocol we can classify different coordination

mechanisms.

Page 26: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Coordination

Page 27: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

What kind of coordination?

Page 28: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

What kind of coordination?

Page 29: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Cooperation taxonomy

Centralizedcontrol

Distributedcontrol

Weakcentralized

control

AwareUnaware

Cooperation

Strong coordination

Weakcoordination

NoCoordination

Page 30: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Organization and Control

• How, in a group of robots, decisions take place?

• Main distinction among centralized and distributed control.

Page 31: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Centralized

• A single system takes decision for the group

Potentially optimal

Coordination may be implicit

– Difficult management

– Single point of failure

– Slow reaction time.

Centralized construction;

Khatib et al 1996

Page 32: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Distributed

• Each robots takes decision according to its knowledge

Simple and quick

Multiple simultaneous tasks

- Explicit coordination

CMPack 2002

Page 33: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Coordination

Weak Coordination Strong Coordination

Sub-tasks decomposition

Parallel execution

Minor interaction

Strategies to decompose and allocate tasks are needed.

Not decomposable tasks

Coordinated execution

Strong interaction

Page 34: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Tasks for multi-robot teams

• Mapping and exploration

• Target tracking

• Inspection

Weak coordination

Page 35: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Tasks for multi-robot teams

• Object transportation

• Robot soccer

• Large-scale construction

• Coordinated exploration

RoboticConstruction.

Strong coordination

Box Carrying

Page 36: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Trasporto di oggetti

Page 37: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Working with objects

Page 38: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Flocking

Page 39: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Human-robot Coordination

Page 40: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Human-robot Coordination

Page 41: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

TAXONOMIES OF MULTI-ROBOT SYSTEMS

Page 42: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Importance

• comparison

• evaluate tradeoffs

• defines issues

• aids in generalizing

Page 43: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Sample Taxonomies

• Decker– agent granularity– heterogeneity of agent knowledge– control distribution– communication methods

• Cao et al.– group architecture– resource conflicts– origins of cooperation– learning– geometric problems

[Decker, 1995] Environment centered analysis and design of coordinationmechanisms. PhD Thesis, University of Massachusetts.[Cao et al., 1997] Cao, Y., Fukuna, A., and Kahng, A. (1997). Cooperative mobile

robotics : Antecedents and directions. Autonomous Robots, 4 :7–27.

Page 44: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Dudek, Jenkin & Milios

• communication– range– topology– bandwidth

• size• composition• reconfigurability• processing ability

[Dudek, 1997] Dudek, G. (1997). A taxonomy for multiagent robotics. Autonomous Robots, 3 :375–397.

Page 45: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Dudek, Jenkin & Milios

• range

– none

– near

– infinite

• bandwidth

– infinite

– low

– zero

• topology

– broadcast

– address

– tree

– graph

Page 46: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Dudek, Jenkin & Milios

• size

– alone

– pair

– limited

– infinite

• composition

– identical

– homogeneous

– heterogeneous

Page 47: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Dudek, Jenkin & Milios

• reconfigurability

– static

– coordinated

– dynamic

• processing ability

– summation unit

– finite state automata

– push-down automata

– turing machine

Page 48: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Exploration using a Topological MapDudek et al.

The collective operates by having individual robots start at a common location and then move independently to explore parts of the graph. Each robot has a unique marker which the robot can pick up/put down at its current location. The individual members meet on a pre-arranged schedule to merge their maps and subdivide the remaining territory.

Page 49: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Exploration using a Topological MapDudek et al.

• communication

– range

– topology

– bandwidth

• size

• composition

• reconfigurability

• processing ability

Page 50: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Exploration using a Topological MapDudek et al.

• communication

– range

– topology

– bandwidth

• size

• composition

• reconfigurability

• processing ability

= near

= address

= infinite

= limited

= homogeneous

= cooperative

= turing machine

Page 51: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Moving in FormationDudek et al.

The collective operates in a leader-follower manner in which the leader robot signals its intention to the follower robot. The signaling is performed by the leader robot making specific motions prior to the intended motion which can be easily sensed by the followers.

Page 52: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Moving in FormationDudek et al.

• communication

– range

– topology

– bandwidth

• size

• composition

• reconfigurability

• processing ability

Page 53: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Moving in FormationDudek et al.

• communication

– range

– topology

– bandwidth

• size

• composition

• reconfigurability

• processing ability

= near

= broadcast

= low

= limited

= heterogeneous

= cooperative

= turing machine

Page 54: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Stone & Veloso

• degree of heterogeneity

– homogeneous

– heterogeneous

• degree of communication

– non-communicating

– communicating

Stone, P., Veloso, M.M.: Multiagent systems: A survey from a machine learning perspective. Autonomous Robots 8(3), 345–383 (2000)

Page 55: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Predator/Prey Domain

environment

goal

Page 56: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Homogeneous, Non-Communicating

• reactive vs. deliberative

• local vs global perspective

• modeling other agents’ states

– recursive modeling method

• affecting others

Page 57: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Heterogeneous, Non-Communicating

• benevolence vs. competitiveness

– third most important issue

• fixed vs learning agents

– arms race

• modeling other agents

• roles

Page 58: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Homogeneous, Communicating

• distributed sensing

• communication content

• bandwidth

• topology

• range

Page 59: Distributed Systems srossi@na.infn.it Intelligent 081 679310–push-down automata –turing machine . Exploration using a Topological Map Dudek et al. The collective operates by having

Heterogeneous, Communicating

• understanding each other

• planning communication

– cost & freedom

• negotiation

– auctions

• commitment/decommitment

• collaborative localization