L ECTURE 28: T ASK A LLOCATION 2 T EACHER : G IANNI A. D I C ARO - - PowerPoint PPT Presentation

l ecture 28 t ask a llocation 2
SMART_READER_LITE
LIVE PREVIEW

L ECTURE 28: T ASK A LLOCATION 2 T EACHER : G IANNI A. D I C ARO - - PowerPoint PPT Presentation

15-382 C OLLECTIVE I NTELLIGENCE S19 L ECTURE 28: T ASK A LLOCATION 2 T EACHER : G IANNI A. D I C ARO MT-SR-TA: VRP Robots can work in || on multiple tasks and have a time-extended schedule of tasks (quite uncommon in current MR literature)


slide-1
SLIDE 1

LECTURE 28: TASK ALLOCATION 2

TEACHER: GIANNI A. DI CARO

15-382 COLLECTIVE INTELLIGENCE – S19

slide-2
SLIDE 2

MT-SR-TA: VRP

2

NP NP-ha hard! d!

Vehicle rou

  • uting

g prob

  • blems with capacity constraints and pick-up and delivery

fall in this category: § Multiple vehicles transporting multiple items (goods, people,…) and picking up items along the way § Between a pick-up and delivery location the vehicle is dealing with MT § Visiting multiple locations is equivalent to TA

Robots can work in || on multiple tasks and have a time-extended schedule of tasks (quite uncommon in current MR literature)

slide-3
SLIDE 3

ST-SR-TA: GENERALIZED ASSIGNMENT

3

§ If dependencies / constraints are included, problem is “more” NP-Hard § If the utility is related to traveling distances the problem falls in the class of mTSP, VRP problems Mul Multi-robot

  • bot rout
  • uting

ng

slide-4
SLIDE 4

15781 Fall 2016: Lecture 13

TRAVELING SALESMAN PROBLEM (TSP)

4

§ How can we compute the paths? à Order of visiting locations / Order performing assigned tasks § Find the minimum cost Hamiltonian tour among n cities / tasks § Find the ordering of minimal path cost in the set {1,2, … , &}

min z =

n

P

i=1 n

P

j=1

dijxij s.t.

n

P

i=1

xij = 1 j = 1, . . . n entering city j once and only once

n

P

j=1

xij = 1 i = 1, . . . n exiting city i once and only once xij ∈ {0, 1}

{Solution is a Hamiltonian tour of n cities }

§ For n = 4, solution: (x13 = x24 = x31 = x42 = 1) and all other xij = 0 is a feasible solution for the Assignment, but not for the TSP since it contains sub-tours (1-3-1) and (2-4-2) § Assignment is a relaxation of the TSP

slide-5
SLIDE 5

15781 Fall 2016: Lecture 13

TSP COMPLEXITY

5

DFJ formulation, !(2$) constraints!

min z =

n

P

i=1 n

P

j=1

dijxij s.t.

n

P

i=1

xij = 1 j = 1, . . . n

n

P

j=1

xij = 1 i = 1, . . . n xij ∈ {0, 1}

n

P

i,j∈S

xij ≤ |S| − 1, ∀S ⊂ V, 2 ≤ |S| ≤ n − 1 World TSP, ~2 ' 10* cities

http://www.math.uwaterloo.ca/tsp/world/countries.html

Check the additional slides in the file: tsp-formulations.pdf for a more detailed discussion about different formulations of the Hamiltonian constraints

slide-6
SLIDE 6

6

VEHICLE ROUTING PROBLEMS

§ One or more vehicles / agents with limited capacity § Customers / Task can have time windows § … Precedence relationships § … Conflicts § ….

slide-7
SLIDE 7

7

(TEAM) ORIENTEERING PROBLEMS

§ Reward col

  • llection
  • n prob
  • blem:

§ Select the sequence of places to visit such that the total reward is maximized and the time/distance budget is not exceeded § Select a subset of places + define the order of visiting them § Start and end points are given

slide-8
SLIDE 8

8

(TEAM) ORIENTEERING PROBLEMS

slide-9
SLIDE 9

9

SINGLE AGENT ORIENTEERING PROBLEM

Start from 1 and returning in ! Assignment, not all places need a visit Time budget cannot be exceeded MTZ subtour elimination constraints

slide-10
SLIDE 10

10

ORIENTEERING PROBLEMS

Age gent(s) à Tas Tasks (subs ubset t + path ath)

slide-11
SLIDE 11

15781 Fall 2016: Lecture 13

SET COVERING: FORMULATION

11

§ Are given a set ! of " “activities”, and a set # of $ “requirements” § Each activity !% can “cover” one or more requirements #& with cost '%. § Select a subset of the activities such that all requirements are covered by at least one activity and the total cost is minimized § Duplication

  • n admitted: one requirement can be covered by multiple activities

x x x x x x x x x x x x

1 2 3 4 5

R

A 1 2 3 4 5 6

One linear constraint per requirement

§ (% variable corresponds to selection of activity )

§ *&% = 1 if !% covers #&, 0 otherwise

min Z = c1x1 + c2x2 + c3x3 + c4x4 + c5x5 + c6x6 s.t. x1 + x2 + x5 > 1 x1 + x3 > 1 x2 + x4 > 1 x3 + x6 > 1 x2 + x3 + x6 > 1 x1, x2, x3, x4, x5 x6 ∈ {0, 1}

slide-12
SLIDE 12

15781 Fall 2016: Lecture 13

SET COVERING AND TASK ALLOCATION

12

§ Age gents à Tas Tasks § Do

  • all tasks at the minimum cos
  • st selecting

g from

  • m the age

gent set § Agents do not interfere (neither conflict nor collaborate), multiple agents can be on the same task (no advantage, just extra costs) § Personnel / Turns à Routes (trains, buses, flights) § Personnel à Services (turns at hospitals/factories, cleaning areas) § Routes / Agents à Customers (trucks going through distribution centers, pick-up and delivery tasks) § Installation (plants, antennas, emergency hydrants) à Services

slide-13
SLIDE 13

15781 Fall 2016: Lecture 13

SET PACKING: FORMULATION

13

§ Are given a set ! of " boxes, and a set # of $ items § Each box !

% can pack one or more items #& each delivering a profit '&

§ Select a subset of the boxes such that a maximal number of items are packed without duplicates and the total profit is maximized § No

  • duplicates admitted: the same item can’t go in two different boxes!

B 1 2 3 4 5 I

max Z = p1x1 + p2x2 + p3x3 + p4x4 + p5x5 s.t. x1 + x2 6 1 x1 + x3 + x5 6 1 x2 + x4 + x5 6 1 x3 6 1 x1 6 1 x4 + x5 6 1 x1, x2, x3, x4, x5 ∈ {0, 1}

slide-14
SLIDE 14

15781 Fall 2016: Lecture 13

SET PACKING AND TASK ALLOCATION

14

§ Age gents à Tas Tasks § Do

  • as

as man any y tas tasks as pos

  • ssible in or
  • rder to
  • maximize prof
  • fit selecting

g with no

  • v
  • verlapping

g from

  • m the age

gent set § Agents do interfere / conflict: only one agent can be on a task at a time § Plants (e.g., incinerator) à Cities § SAR Agents (e.g., dogs) à Places to search § Boxes (e.g., relocating) à Objects

slide-15
SLIDE 15

15781 Fall 2016: Lecture 13

SET PARTITIONING: FORMULATION

15

§ Are given a set ! of " boxes, and a set # of $ items § Each box !

% can pack one or more items #& delivering a profit/cost '&

§ Select a subset of the boxes such that the whole item set is partitioned (in the boxes) and total profit is maximized (or, total cost is minimized) § No

  • duplicates admitted: the same item can’t go in two different boxes!

1 2 3 4 5 6 B I

min Z = d1x1 + d2x2 + d3x3 + d4x4 + d5x5 + d6x6 s.t. x1 + x2 + x5 = 1 x1 + x3 = 1 x2 + x4 = 1 x3 + x6 = 1 x2 + x3 + x6 = 1 x1, x2, x3, x4, x5 x6 ∈ {0, 1}

slide-16
SLIDE 16

15781 Fall 2016: Lecture 13

SET PARTITIONING AND TASK ALLOCATION

16

§ Age gents à Tas Tasks § Do

  • al

all tas tasks and maximize prof

  • fit (minimize cos
  • sts) selecting

g with no

  • v
  • verlapping

g from

  • m the age

gent se set § As in Set packing / Set covering but more strict (e.g., personnel can’t travel as passengers on a route to cover) § People at an event (some people can’t be together!) à Tables / rooms / buses

slide-17
SLIDE 17

15781 Fall 2016: Lecture 13

VEHICLE ROUTING: SET PARTITIONING MODEL

17

§ A set of

  • f custom
  • mers /

/ tasks to

  • service: represented on a Euclidean graph

§ Each client ! must be visited once and only once § Each client has associated a service demand "# § Each agent / vehicle has a maximum capacity $ (to deliver services) § Total length (time) of a closed path %&'() → !+ → !, → … !. → %&'() cannot exceed a max value (e.g., energy, fuel, sleep, …) § Goa

  • al: Select the capacity-length feasible paths that service all customers at

the minimum cost (no interfering paths, since client can’t be visited twice)

slide-18
SLIDE 18

15781 Fall 2016: Lecture 13

VEHICLE ROUTING: SET PARTITIONING MODEL

18

§ Th The set t ! of

  • f all paths feasible (for
  • r capacity, lengt

gth, …) is gi given § Th The cos

  • st "# if

if e each pa path th # ∈ ! is is al also gi given (com

  • mputed)

§ % = number of tasks / customers § ' = number of available vehicles / agents (max number of paths) § ()* = 1 if customer (node) , is included in path -, 0 otherwise § ,* = cost of path - § /* = 1 if path - is selected in the solution, 0 otherwise

slide-19
SLIDE 19

19

TASK ALLOCATION: SELECT AND ORDER

§ Selecting subsets of agents to cover all or a selection of the tasks § Finding an order on, sequencing the set of tasks assigned to each agents / group of agents § Joint problem: Selecting a subsets of agents/tasks AND finding an order on the selected agents/tasks § Set (cover, partition, packing), Routing (TSP, VRP, TOP), Scheduling (including time) optimization formulations are models

  • f task allocation and task sequencing

§ E.g., for moving between given tasks, for respecting priorities, for respecting time constraints, ….

slide-20
SLIDE 20

ST-MR-IA: SET PARTITIONING - COALITION FORMATION

20

§ Model of the problem of dividing (partitioning) the set of robots into non-overlapping sub-teams (coalitions) to perform the given tasks instantaneously assigned § This problem is mathematically equivalent to set partition

  • ning

g prob

  • blem

Cover (Partition) the elements in ! (Robots) using the elements in "# (feasible coalition-task pairs) without duplicates (overlapping), and at the min cost / max utility

x x x x x x x x x x x x

1 2 3 4 5

S

"# !

slide-21
SLIDE 21

MT-MR-IA: SET COVERING - COALITION FORMATION

21

§ Model of the problem of dividing (partitioning) the set of robots into sub- teams (coalitions) to perform the given tasks instantaneously assigned § Overlap is admitted to model MT, a robot can be in multiple coalitions § This problem is mathematically equivalent to set cov

  • vering

g prob

  • blem

Cover (Partition) the elements in ! (Robots) using the elements in "# (feasible coalition-task pairs) admitting duplicates (overlapping) and at the min cost / max utility

"#

x x x x x x x x x x x x

1 2 3 4 5

R

!

slide-22
SLIDE 22

OTHER CASES

22

§ ST-MR-TA: Involves both coalition formation and scheduling, and it’s mathematically equivalent to MT-SR-TA § MT-MR-TA: Scheduling problem with multiprocessor tasks and multipurpose machines (quite complex) § Mode Modeling ng of

  • f de

depe pende ndenc ncies? → G. Ayorkor Korsah, Anthony Stentz, and

  • M. Bernardine Dias. 2013. A comprehensive taxonomy for multi-robot task
  • allocation. Int. J. Rob. Res. 32, 12 (October 2013), 1495-1512.