COORDINATED PATH FOLLOWING of MULTIPLE...

72
António M. Pascoal [email protected] Institute for Systems and Robotics (ISR) IST, Lisbon, Portugal Pre-CDC WORKSHOP San Diego, USA, Dec. 12, 2006 COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION CONSTRAINTS

Transcript of COORDINATED PATH FOLLOWING of MULTIPLE...

Page 1: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

António M. [email protected]

Institute for Systems and Robotics (ISR)IST, Lisbon, Portugal

Pre-CDC WORKSHOP San Diego, USA, Dec. 12, 2006

COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITHCOMMUNICATION CONSTRAINTS

Page 2: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITHCOMMUNICATION CONSTRAINTS

Presentation based on the compilation of joint work with

Aguiar, António IST/ISR, PT

Ghabchelloo, Reza IST/ISR, PT

Hespanha, João UCSB, USA

Kaminer, Isaac NPS, USA

Pascoal, António IST/ISR, PT

Silvestre, Carlos IST/ISR, PT

Page 3: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

OutlineOutline

Motivating applicationsMotivating applicationsCoordinated path following (definition)Coordinated path following (definition)Coordinated path following (wheeled robots): Coordinated path following (wheeled robots): fixed communication topologiesfixed communication topologiesCoordinated path followingCoordinated path following

general setgeneral set--upup for path followingfor path followingunderactuatedunderactuated autonomous vehiclesautonomous vehicles

switchingswitching communication topologiescommunication topologies

Page 4: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

AUV

ASC

Surface and underwater vehicles required to operate in a master / slave configuration

Coordinated Motion ControlCoordinated Motion Control

Page 5: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Dopplerlog

Scanningsonar

low baud rate acousticcommunication link(commands/data)

high baud rate acousticcommunication link

(data)

Autonomous SurfaceCraft (ASC)

Autonomous UnderwaterVehicle (AUV)

Support ShipUnit (SSHU)

Radio Link

Radio Link

Radio Link

low baud rate acousticcommunication link

(emergency commands)

DifferentialGPS- Mobile Station -DifferentialGPS

- Reference Station -

Shore StationUnit (SSTU)

GIB System(buoy 1 of 4)

Radio Link

The ASIMOV concept (project ASIMOV, EC - 2000)

Coordinated Motion ControlCoordinated Motion Control

Page 6: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Two AUVS carrying out a joint survey operation

Coordinated Motion ControlCoordinated Motion Control

Page 7: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordinated Motion ControlCoordinated Motion Control

The quest for midThe quest for mid--water column hydrothermal vents, Azores, PTwater column hydrothermal vents, Azores, PT

AUV Fleet –Methane gradient “descent”

Deep water hydrothermal vent

Methane plume

Page 8: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

MicrosatellitesMicrosatellites: imaging, remote sensing, : imaging, remote sensing, interferometryinterferometry

Autonomous Underwater Vehicles (AUVs)Autonomous Underwater Vehicles (AUVs)::coordinated bathymetric mapping, seafloor imagingcoordinated bathymetric mapping, seafloor imaging

Autonomous Surface Vessels (ASVs)Autonomous Surface Vessels (ASVs)::coordinated ocean surveyingcoordinated ocean surveying

AUVs and ASVsAUVs and ASVs: coordinated control: coordinated control for fast for fast communications and reliable navigationcommunications and reliable navigation

Scientific ApplicationsScientific Applications

Page 9: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Unmanned Air Vehicles(UAVs):Unmanned Air Vehicles(UAVs):

Formation control Formation control for increased aerodynamic for increased aerodynamic efficiency efficiency Coordinated search and rescue operationsCoordinated search and rescue operations

Low cost small autonomous robots:Low cost small autonomous robots:Exploration, mine detection, and neutralizationExploration, mine detection, and neutralization

Cooperative manipulationCooperative manipulation

Other applicationsOther applications

Page 10: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

How it all started at IST (1998) How it all started at IST (1998) -- ASIMOVASIMOV

Theoretical problems: key issuesTheoretical problems: key issues

Coordinated Path FollowingCoordinated Path Following while keeping interwhile keeping inter--vehicle vehicle geometric constraintsgeometric constraints

Motion control in the presence of severe acoustic Motion control in the presence of severe acoustic communication constraintscommunication constraints (multipath, failures, latency, (multipath, failures, latency, asynchronous comms, reduced bandwidth...)asynchronous comms, reduced bandwidth...)

Dream “Reality” (IST-NPS mission)

Page 11: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Path Following

Inspired by the work of Inspired by the work of Claude Samson et alClaude Samson et al. for wheeled robots. for wheeled robots

A. Micaelli and C. Samson (1992). Path following and time-varying feedback stabilization of a wheeled robot. In Proc. International Conference ICARCV’92, Singapore.

. Use forward motion to make the robot track a desired speed profile.

. Compute the closest point on the path.

. Compute the Serret-Frenet (SF) frame at that point.

. Use rotational motion to align the body-axis with the SF frame and reduce the distance to closest point to zero.

Page 12: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Path Following

“Nonlinear Path Following with Applications to the Control of Autonomous Underwater Vehicles,” L. Lapierre, D. Soetanto, and A. Pascoal, 42th IEEE Conference on Decision and Control, Hawai, USA, Dec. 2003

Avoiding Singularities!Avoiding Singularities!

Important related work

R. Skjetne, T. I. Fossen,P. V. Kokotovic.Robust output maneuvering for a class of nonlinear systems.Automatica, 40(3):373—383, 2004.

“Rabbit” moving along the path

Page 13: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordinated AUV / ASC behavior

(in R. Hindman and J. Hauser, Maneuver Modified Trajectory Tracking, Proceedings of MTNS’96, International Symposium on the Mathematical Theory of Networks and Systems, St. Louis, MO, USA, June 1992)

Exploring an elegant concept introduced in Exploring an elegant concept introduced in

“Combined Trajectory Tracking and Path Following: an Application to the Coordinated Control of Autonomous Marine Craft,” P. Encarnação and A. Pascoal, 40th IEEE Conference on Decision and Control, Orlando, Florida, USA, Dec. 2001

Solution is too complex!

Too muchdata exchanged between the vehicles

Page 14: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordinated Path FollowingCoordinated Path Following

PATHS (HIGHWAYS TO BE FOLLOWED)

Initial configuration

(a fresh start)

Reach (in-line) FORMATION at a

desired speed

Lv !

Page 15: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordinated Path FollowingCoordinated Path Following

PATHS (HIGHWAYS TO BE FOLLOWED)

Initial configuration

(a fresh start)

Reach (in-line) FORMATION at a

desired speed

Lv !

Page 16: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Divide to Conquer ApproachDivide to Conquer ApproachIN-LINE FORMATION

Each vehicle runs its own PATH FOLLOWING

controller to steer itself to the path

Vehicles TALK and adjust theirSPEEDS in order to COORDINATE

themselves (reach formation)

Coordination error

Page 17: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordination error(in-line formation):

Path lengths and

Coordination state / errorCoordination state / error

2s

1s

12 1 2s s s= −

12s

1s 2s

Page 18: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordinated Path Following (using the Coordinated Path Following (using the ““interinter--rabbitrabbit”” distance)distance)

L. Lapierre, D. Soetanto, and A. PascoalL. Lapierre, D. Soetanto, and A. Pascoal (2003). Coordinated (2003). Coordinated Motion Control of Marine Robots. Motion Control of Marine Robots. Proc. 6th IFAC Conference Proc. 6th IFAC Conference on Manoeuvering and Control of Marine Craft (MCMC2003)on Manoeuvering and Control of Marine Craft (MCMC2003), , Girona, Spain.Girona, Spain.

R. Skjetne, I.R. Skjetne, I.--A. F. Ihle, and T. I. FossenA. F. Ihle, and T. I. Fossen (2003) Formation (2003) Formation Control by Synchronizing Multiple Maneuvering Systems. Control by Synchronizing Multiple Maneuvering Systems. Proc. 6th IFAC Conference on Manoeuvering and Control of Proc. 6th IFAC Conference on Manoeuvering and Control of Marine Craft (MCMC2003)Marine Craft (MCMC2003), Girona, Spain., Girona, Spain.

M. Egerstedt and X. HuM. Egerstedt and X. Hu (2001) Formation Constrained Multi(2001) Formation Constrained Multi--Agent Control, IEEE Trans. on Robotics and auto., vol. 17, no. Agent Control, IEEE Trans. on Robotics and auto., vol. 17, no. 6, Dec. 20016, Dec. 2001

They They do not address communication constraintsdo not address communication constraintsexplicitly.explicitly.

Page 19: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Communication Constraints

What is the communications topology? (GRAPH)

Non-bidirectional linksdirected graphs

Bidirectional Linksundirected graphs

vehicle

link

R. Murray [2002], B. Francis [2003], A. Jadbabaie [2003]

Page 20: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Communication Constraints

Communication Delays

Temporary Loss of Comms

Switching Comms Topology

Asynchronous Comms

Links with Networked Control and Estimation Theory

Page 21: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

In depth analysisIn depth analysis

Page 22: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

SINGLE VEHICLE, PATH FOLLOWING

“guide” (rabbit) moving along the path – “a mind

of its own” (control variable)

This will make the vehicle follow the path

1. Drive the distance from Q to the rabbit to zero;2. Align the flow frame with the Serret-Frenet(align total velocity with the tangent to the path).tv

Page 23: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

COORDINATED PATH FOLLOWING

More general formations and paths

Triangle formation In-line formation

Page 24: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

COORDINATED PATH FOLLOWING

Generalizable to multiple vehicles and other formation patterns, and paths

Coordination Error =error between the “rabbits”

Page 25: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

COORDINATED PATH FOLLOWING

KEY INGREDIENTS:

PATH FOLLOWING for each vehicle

+Inter-vehicle COORDENATION

(driving the coordination errors to zero:speed adjustments based on

VERY LITTLE INFO EXCHANGED)

(space-time decoupling … maths work out!)

Page 26: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Divide to Conquer ApproachDivide to Conquer Approach

PATH FOLLOWING(each vehicle on its

own) , PF

ALONG-PATH COORDINATION,

CC

+COORDINATED

PATH FOLLOWING CPF

But, they co-exist.Analyze in detail!

Page 27: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Key resultsKey results

Coordination achieved with

fixed communication networks (ICAR’05, CDC’05, IJACSP)

brief connectivity losses, general comm. losses, and time delays

(SIAM-to be submitted, CDC’06, MCMC’06)

Page 28: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Fixed comm. networks (ICAR’05, CDC’05, IJACSP)

OutlinePath following: single vehicleCoordination error & path reparameterizationCoordination dynamics Communication constraints & graphsCoordination control

Page 29: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Path following Path following (single vehicle)(single vehicle)

VehicleVehicle:: wheeled robot wheeled robot (underactuated vehicle w/ (underactuated vehicle w/ no sideno side--slip)slip)

Control signalControl signal: : angular speedangular speedStabilityStability:: SemiSemi--global global

asymptotic convergence to asymptotic convergence to the path. the path.

Condition:Condition:

Exponential convergence ifExponential convergence if

0

( )v t dt∞

= ∞∫0mv v≥ >

Page 30: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Path following Path following (kinematics)(kinematics)

•• Path following error Path following error vector and kinematicsvector and kinematics

path curvature at

control signals

exogenous signal

( )cc s P

( ( ) 1) cos( ) sin( )

e e c e

e c e

e c

x y c sye x c s

c

ss

r

v

sv

s

ψψ

ψ

= − +

= − +

= −

Page 31: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Path following Path following (problem)(problem)

•• Problem:Problem: Given a spatial path and a desired Given a spatial path and a desired temporal profile for the speed, derive feedback temporal profile for the speed, derive feedback laws for and to drive to laws for and to drive to zero.zero.

drives to zero (heading control)drives to zero (heading control)

N s

N , ,e e ex y ψ

dynamics: 1 1;r N v FJ m

= =

, , ,e e e dx y v vψ −dv

Page 32: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Path following, resultsPath following, results

MAIN result:MAIN result: existence of control laws that existence of control laws that solve the PF problem: error convergence solve the PF problem: error convergence is guaranteed is guaranteed

-- if is uniformly continuous and does if is uniformly continuous and does not vanish asymptotically.not vanish asymptotically.

OROR--

( )v t

0

( )v t dt∞

= ∞∫

Page 33: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Path following Path following (control strategy)(control strategy)

-- Lyap. func.Lyap. func.

-- approach angle approach angle

-- time derivative time derivative

for some andfor some and-- do back stepping to finddo back stepping to find

2 2 21 1 1 ( ( ))2 2 2p e e e eV x y yψ σ= + + −

1 2( ) sign( )sin ee

e

k yy vy

σε

−= −+

N

22 2

1 2 3( ) ( )ep e e

e

yV k x k v t ky

ψ σε

= − − + − −+

r s

Page 34: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordination state / coord. errorCoordination state / coord. errorUse the Use the RABBITSRABBITS to define the coordination error!to define the coordination error!Coordination is achieved if the coordination states (CSs) Coordination is achieved if the coordination states (CSs) are equal,are equal,The CS is a geometrical variable: arc length (shifted The CS is a geometrical variable: arc length (shifted paths), angle (circumferences), or even more generalpaths), angle (circumferences), or even more general

Page 35: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordination State / Path ReparametrizationCoordination State / Path Reparametrization

Paths parameterized by Paths parameterized by Vehicles Vehicles ii and and jj are are coordinated if coordinated if Define the function (arc Define the function (arc length) length)

DefineDefine

The choice of The choice of ξξii must yield must yield positivepositive and and boundedbounded RRii

Shifted paths:Shifted paths:

Circumferences:Circumferences:

i jξ ξ=

( )i i is s ξ=

ii

i

sRξ∂

=∂

; ( ) 1i i i is Rξ ξ= =

, ( ) (radii)i i i i i is R R Rξ ξ= =

Page 36: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordination State / Path ReparametrizationCoordination State / Path Reparametrization

4545--degree degree exampleexample

Sinusoidal exampleSinusoidal example

1 1 2 2

1 2

; 2

1; 2

s s

R R

ξ ξ= =

= =

1 1 1 2 2

221 2 2

2

;

1; 1 cos

x s xdsR Rd

ξ ξ

ξξ

= = =

= = = +

Page 37: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordination state dynamicsCoordination state dynamics--11-- The rabbitThe rabbit’’s dynamic for vehicle s dynamic for vehicle ii

-- Dynamics of coordination state Dynamics of coordination state ii

IMPORTANT: IMPORTANT: ddi i is guaranteed to vanish at the path following is guaranteed to vanish at the path following level level IFIFvvii does not blow up and does not blow up and vvi i does not tend to 0 (CAVEAT!)does not tend to 0 (CAVEAT!)

The effect of the PF subdynamics appears as The effect of the PF subdynamics appears as a a ““vanishingvanishing”” disturbance in the Coo disturbance in the Coo

subdynamics.subdynamics.

, 1 ,(cos 1)i i e i i e is v v k xψ= + − +

1 1( ) ( )i i i i i

i i i i

s v dR R

ξ ξξ ξ

= ⇒ = +

Page 38: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordination state dynamicsCoordination state dynamics--22-- Objectives: Objectives:

-- Making Making fromfrom

desired speed of vehicle i equals desired speed of vehicle i equals

-- define the speed tracking errordefine the speed tracking error

1( )i i i

i i

v dR

ξξ

= +0id =

( )i i LR vξ

:1:

i i i L

i i i i L

v R vdf F R v

m dt

η

η

= −

= = +

coordination

formation spe

d

0

ei j

i Lv

ξ ξ

ξ

− =

=

Page 39: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

CoordinationCoordination subsystemsubsystemComplete Fleet of Vehicles

-- is a stateis a state--driven varying matrix: driven varying matrix: and and

•• Problem:Problem: Derive control law for Derive control law for so thatso thatconverge asymptotically to zero.converge asymptotically to zero.

C

Make d equal to 0.Bring it into the picture at a later stage

CONTROL VARIABLE

1LC

f

dv

η

ξ η

=

= + +

,i i jη ξ ξ−f

1( )ii

i i

CR ξ

=

1 20 ( )c C cξ< ≤ ≤

Communication topology comes into play!use Graph theory

Page 40: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Communication ConstraintsV1

V2

V3

Node

edge

AdjacencyMatrix A =

1 1

1

1

0

0

V1 receives info from neighbours V2 and V3

V2 receives info from neighbour V1

V3 receives info from neighbour V1

DegreeMatrix D =

02

0

0

1 0

0 0 1

0

0

0

Page 41: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Communication ConstraintsV1

V2

V3

Node

edge

Neighbour set 1={ V2 , V3}

Neighbour set 2={ V1}

Neighbour set 3={ V1}

Laplacian

1 1 2 1 3

2 2 1

3 3 1

2 1 11 1 01 0 1

( ) ( )

L D A

Lξ ξ ξ ξ ξξ ξ ξξ ξ ξ

− −⎛ ⎞⎜ ⎟= − = −⎜ ⎟⎜ ⎟−⎝ ⎠− + −⎛ ⎞ ⎛ ⎞

⎜ ⎟ ⎜ ⎟= −⎜ ⎟ ⎜ ⎟⎜ ⎟ ⎜ ⎟−⎝ ⎠ ⎝ ⎠

--Graph is connected

Properties:

1 0L =rank 1 2L n⇒ = − =

1 2 30Lξ ξ ξ ξ= ⇒ = =

Page 42: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Communication constraintsCommunication constraints

• info available from a subset of the fleet: the neighboring vehicles, sets

• bi-directional or directional comm.

• use graph Laplacian to model comm. constraints declared by sets

iN

iNL

Page 43: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

CoordinationCoordination strategiesstrategiesComplete Fleet of Vehicles (for )

-- Comm. graph is Comm. graph is undirectedundirected and and connected connected -- (MAIN results)(MAIN results) either of the following control laws solve the either of the following control laws solve the

CC problemCC problem

-- : underlying comm. graph Laplacian : underlying comm. graph Laplacian -- : positive diagonal matrices : positive diagonal matrices -- : saturation function: saturation function

1L

f

C v

η

ξ η

=

= +

0d =

1 1

( )( ) sat( )

f A BCLf LC C A ALf A L A C B A L

η ξη ξη η ξ− −

= − −

= − + + −

= − + − +

,A BL

sat(.)

Page 44: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

CoordinationCoordination strategiesstrategies

vehicle i, decentralized formi

ii i i i j

j Ni

f A BCLbf aR

η ξ

η ξ ξ∈

= − −

= − −∑

Challenges: DONE! 1) when is varying

2) prove satisfies required conditions when putting together PF and CC

( )C ξ( )iv t

Switching comm. / failures / time delaysare very important issues

next part of the talk

Page 45: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Part IPart I-- summary (contributions)summary (contributions)

Several solutions for coordination controlSeveral solutions for coordination controlBiBi--directional network ( varying)directional network ( varying)NonNon--bidirectional networks ( constant)bidirectional networks ( constant)

PFPF--CC interconnected system: error CC interconnected system: error trajectories are bounded and converge to trajectories are bounded and converge to zero asymptotically. Namely, zero asymptotically. Namely, vv((tt)) satisfies satisfies the required conditions.the required conditions.

( )C ξ

( )C Cξ =

Page 46: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

General Path FollowingalgorithmsSwitching communications

OutlineOutline•General under-actuated vehicle, PF•Coordination under

– Brief connectivity losses– General communications losses(Time delays)

Page 47: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

PathPath followingfollowing

•• PathPath--following problemfollowing problem

–– Given a geometric path and a speGiven a geometric path and a speed assignmented assignment

vvrr ((tt),), we wantwe want

•• the position of the vehicle to converge to and remain inside an the position of the vehicle to converge to and remain inside an arbitrarily thin tube centered around the desired path arbitrarily thin tube centered around the desired path

•• satisfy (asymptotically) the desired speed assignment, i.e.,satisfy (asymptotically) the desired speed assignment, i.e.,

yd (γ )

asrv tγ → →∞

{ }3( ) :dy R Rγ γ∈ ∈

Page 48: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

PathPath following following (a very general set(a very general set--up)up)

( , )( )

i i i i

i i i

x f x uy h x=⎧

⎨ =⎩

,( ) ( ) ( ( ))i i d i ie t y t y tγ= −PFollowing error

Vehicle dynamics

Speed tracking error ,( ) ( ) ( )i i r it t v tη γ= −

Page 49: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordination, problemCoordination, problem

Coordination problem:- Derive a control law for

- such that asympt.

- : a given formation speed profile

,r iv

0, 0i j i Lvγ γ γ− → − →

( )Lv t

, 1,...,i r i iv i nγ η= + =Coo. Dyn.

iη a signal from PF closed-loop dyn.

Comm. needed to exchange informationComm. subjected to change and time delays

Page 50: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordination, control lawCoordination, control law

, 1,...,i r i iv i nγ η= + =Coo. Dyn.

, ( )

, ( ) ( ) ( ) ( )i p t

r i L i i jj N

v t v t k t tγ γ∈

= − −∑

, ( )i p tN : Neighbors of vehicle i at time t

Proposed control

, ( ), i p tr i L i i jj N∈ ∑

info. arrives with time delay

( )p t : a vector indicating which edge is active at time t

Page 51: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Coordination, closedCoordination, closed--looploop

( ) 1p t LKL vγ γ η= − + +Closed-loop dyn. in vector formno delays

( ) ( )( ) ( ) 1p t p t LKD t KA t vγ γ γ τ η= − + − + +Closed-loop dyn. in vector formwith delays

Two types of

switching comm.considered

Page 52: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Switching Communicationbrief connectivity losses

V1

V2

V3

connected

V1

V3

disconnected

V1

V2

V3

connectedtime

1 2 31, 1, 0p p p= = =

1p

2p

1 2 31, 0, 1p p p= = =

3p

1p

1 2 30, 1, 0p p p= = =

2p

is a function of p, denoted pLL

Page 53: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Brief Connectivity LossesBrief Connectivity Losses

Inspired by the concept of Inspired by the concept of ““brief instabilitiesbrief instabilities”” --Hespanha et. Al. IEEETransactions AC 04Hespanha et. Al. IEEETransactions AC 04

BCL:BCL: the communication graph is connected and the communication graph is connected and disconnected alternativelydisconnected alternatively

Page 54: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Brief connectivity lossesBrief connectivity losses0 graph is connectd

( )1 graph is disconnectd

pχ⎧

= ⎨⎩

Charac. function ofswitching topology :

2

11 2( , ) ( ( ))

t

p tT t t p t dtχ= ∫Connectivity loss time

over :1 2[ , ]t t2 1 0( ) (1 )pT t t Tα α≤ − + −The comm. Network has BCL if

0

0 10Tα≤ ≤>

Asympt. connectivity loss rate:

Connectivity loss upper bound:

Example: periodically- 10 sec connected - 40 sec disconnected 0

20%40T

α =⎧→ ⎨ =⎩

Page 55: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Brief connectivity lossesBrief connectivity losses2

11 2( , ) ( ( ))

t

p tT t t p t dtχ= ∫Connectivity loss time

over :1 2[ , ]t t

2 1

0

2 1 2 1 2 1

(1 ) limp p

t t

T TTt t t t t t

αα α− →∞

−≤ + ⇒ ≤

− − −

2 1

0 0(1 )p

p p p

T t t

T T T T Tα α

= −

≤ + − ⇒ ≤

If the graph is disconnected over

1 2[ , ]t t

2 1 0( ) (1 )pT t t Tα α≤ − + −

Page 56: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Switching Communication“uniform” connected in mean

time

V1

V2

V3

1 2 31, 0, 0p p p= = =

1p V1

V2

V3

1 2 31, 0, 1p p p= = =

3p

V1

V3

1 2 30, 0, 0p p p= = =

1pL2pL

3pL

1 2 3[ , ]t t T p p pL L L L+ = + + [ , ]

[ , ]

rank 1 21 0

t t T

t t T

L nL

+

+

= − =⎧⇒ ⎨ =⎩

the union graph over time interval Tis connected

Page 57: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Uniform Connected in MeanUniform Connected in Mean•• Inspired by work of Inspired by work of

–– Moreau (CDCMoreau (CDC’’04)04)–– Lin, Francis, Maggiore (SIAM recent)Lin, Francis, Maggiore (SIAM recent)

•• UCM:UCM: there is a there is a T T >0>0, such that the union , such that the union communication graph is connected over any time communication graph is connected over any time interval of length interval of length TT

We assume a switching dwell time(time clearance between two consecutive switches)

0Dτ >

Page 58: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Error spaceError spaceCoo. dyn:

( ) 1p t LKL vγ γ η= − + +

11 1 , 11

TT

L

L I K

β

β

γ γ

β ββ

=

= − =

Error vector:

Important properties: 0 span{1}0T

pKL Lβ

γ γ

β γ

γ γ η

= ⇔ ∈

=

= − +

T TpLγ γ λγ γ≥

When declares a connected graphor

when

p

0pL γ ≠

Page 59: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Convergence, switching topologyConvergence, switching topology2

112

2

when 012 otherwise

pT V k LV K V

V k

λ η γγ γ

λ η−

⎧− + ≠⎪= ⇒ ≤ ⎨+⎪⎩

We assumed that the PF control law guarantees but...

, as0 tη → →∞

1 1

1 1

(1 ) for BCL

( ) for UCM2D

DT

λ λ ατλ λτ

= −⎧⎪⎨ =⎪ +⎩

We show that for both-Brief Connectivity Losses with param.-Uniform Connected in Mean with param.

0,TαT

Page 60: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

PathPath followingfollowing( , )( )

i i i i

i i i

x f x uy h x=⎧

⎨ =⎩

,( ) ( ) ( ( ))i i d i ie t y t y tγ= −PF error

Vehicles dyn.

Speed tracking error ,( ) ( ) ( )i i r it t v tη γ= −

The PF control law requires then, it requires

,( ( ))d i id ydt

γ and higher derivatives,i iγ γ

a simple situation: - exact following ,( ) ( )i r it v tγ =

, ( )

( ) ( ) ( )i p t

L i i jj N

v t k t tγ γ∈

= − −∑

Only is availableLvri L riv v v= +

Page 61: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Path following resultsPath following results

•• New resultsNew results: For a general underactuated : For a general underactuated vehicle, there is a control law that uses vehicle, there is a control law that uses

instead of instead of such that the closedsuch that the closed--loop PF is ISS with loop PF is ISS with input .input .

iu, and L Lv v , and L riv vγ γ= +

riv

Page 62: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

PF and CC interconectionPF and CC interconectionPF

CC rv

η

Proof of convergence.

Key Ingredient: a new small gain theoremfor systems with brief instabilities

Page 63: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

PF and CC interconectionPF and CC interconectionPF

CC rv

η

Main Result A (Brief Connectivity Losses)

For any choice of connectivity parameters T and α, there exist PT and CC gains that yield convergence of thecomplete system error trajectories to an arbitrarily small neighborhood of the origin.

Page 64: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

PF and CC interconectionPF and CC interconectionPF

CC rv

η

Main Result B (Connected in Mean)

For any choice of average connectedness time T, there exist PT and CC gains that yield convergence of thecomplete system error trajectories to an arbitrarily small neighborhood of the origin.

Page 65: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

SummarySummary

•• Path following control for a general Path following control for a general underactuated vehicle: ISS from inputunderactuated vehicle: ISS from input

•• Coordination strategies under switching Coordination strategies under switching communicationscommunications–– Brief connectivity lossesBrief connectivity losses–– Uniform connected in meanUniform connected in mean

•• PFPF--CC interconnectionCC interconnection

rv

Page 66: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Simulations (ASCraft, fully actuated)Simulations (ASCraft, fully actuated)[[João Almeida, MSc, ISTJoão Almeida, MSc, IST--2006]2006]

In-line formation Triangle formation

Page 67: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Simulations (Simulations (Underactuated AUVsUnderactuated AUVs))

Page 68: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Simulations, no failuresSimulations, no failurescoordination errors path following errors

Page 69: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Simulations, 75% failureSimulations, 75% failurecoordination errors path following errors

With 75% of communications failures occurring periodically with T=20s

Page 70: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Contributions, Contributions, Coordination controlCoordination control

Fixed networksFixed networksProper setProper set--up for coordinated path following, up for coordinated path following, general coordination patterns and paths.general coordination patterns and paths.Several solutions for bidirectional and nonSeveral solutions for bidirectional and non--bidirectional networks.bidirectional networks.Convergence guaranteed when putting Convergence guaranteed when putting together PF and CC systems (dynamics of the together PF and CC systems (dynamics of the vehicle directly taken into account!)vehicle directly taken into account!)

Page 71: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Contributions, Contributions, Coordination controlCoordination controlSwitching networksSwitching networks

Coordination guaranteed under switching Coordination guaranteed under switching communicationscommunications

Brief connectivity lossesBrief connectivity lossesUniform connectedness in meanUniform connectedness in mean

Switching communications with delaysSwitching communications with delaysSmall gain theorem for systems with brief Small gain theorem for systems with brief failuresfailures

convergence guaranteed when putting together PF convergence guaranteed when putting together PF and CC systemsand CC systems

Page 72: COORDINATED PATH FOLLOWING of MULTIPLE …users.isr.ist.utl.pt/~pedro/cdc06workshop/slides/Pascoal.pdf · COORDINATED PATH FOLLOWING of MULTIPLE UNDERACTUATED VEHICLES WITH COMMUNICATION

Future workFuture work

Information exchange in discrete set-up, asynchronous Non-equal and varying time delaysCoordinated navigationCoordinated navigation