projeto baseado em emula o de modelos cont nuos e ...alimped/ia361_slides_9_2014.pdf · sistemas...

18
Projeto baseado em emulação de modelos contínuos e protocolos de acesso à rede A. P. C. Gonçalves Universidade Estadual de Campinas - UNICAMP 1 o Semestre de 2014

Upload: vankiet

Post on 07-Feb-2019

216 views

Category:

Documents


0 download

TRANSCRIPT

Projeto baseado em emulação de modelos contínuos

e protocolos de acesso à rede

A. P. C. Gonçalves

Universidade Estadual de Campinas - UNICAMP

1o Semestre de 2014

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Este material foi inteiramente baseado em

M. Tabbara, D. Nešic e A. R. Teel, “Networked ControlSystems: Emulation-based Design”, Capítulo 3 do livroNetworked Control Systems: theory and applications,Springer-Verlag, 2010.

e suas referências.

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 2 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Descrição do problema

Vamos considerar que o sistema a ser controlado é compostopor nós por um único canal de comunicação ou barramento.

O sistema é composto por planta, lei de controle, nós,barramento e o protocolo que descreve como e quando ainformação vai ser transferida entre os nós.

Uma questão fundamental é a análise e o projeto do protocolode agendamento (scheduling), isto é, em que sequência osdiversos nós que compartilham a rede vão transmitir e receberdados.

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 3 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Descrição do problema

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 4 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Projeto de NCS por emulação

1 Projete um controle estabilizante desconsiderando a rede;2 escolha um protocolo de sequenciamento apropriado;3 analise se a estabilidade é robusta com relação aos efeitos que

o agendamento na rede introduz.

Pode-se mostrar que, se o sistema sem rede é estável, a escolha deuma classe adequada de protocolos de agendamento garante aestabilidade do sistema com a rede, desde que a taxa detransmissão seja suficientemente alta.

3 escolha uma taxa de transmissão (acima de um requisitomínimo) para chegar ao grau desejado de estabilidade robusta.

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 5 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Projeto de NCS por emulação

Vamos considerar a planta e o controlador dados por

G :

{

x = Ax + Bu

y = CxC :

{

xc = Acxc + Bcy

u = Ccxc

e vamos supor que (Ac ,Bc ,Cc) foram projetados sem levar emconta os efeitos da rede, que introduz as seguintes limitações:

1 as transmissões só ocorrem em instantes específicos {ti}∞i=0; e2 Só um componente do NCS pode transmitir dados em um

instante ti .

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 6 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Projeto de NCS por emulação

Vamos chamar de y e u as versões de y e u disponíveis para oscontroladores e atuadores através da rede.

G :

{

x = Ax + Bu

y = CxC :

{

xc = Acxc + Bc y

u = Ccxc

De forma análoga ao segurador de ordem zero, podemos considerarque y e u ficam constantes entre dois instantes de transmissão esão atualizados (reset) com componentes de u ou y à medida queesses ficam disponíveis e são transmitidos pela rede.

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 7 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Projeto de NCS por emulação

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 8 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Projeto de NCS por emulação

Vamos definir o erro entre os valores das medidas e do sinal decontrole transmitidos pela rede e seus valores reais

e =

[

ey

eu

]

=

[

y − y

u − u

]

e entre instantes de transmissão a dinâmica do sistema fica

G :

x = Ax + Bu + Beu

y = Cx˙u = 0

C :

xc = Acxc + Bcy + Bcey

u = Ccxc

˙y = 0

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 9 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Projeto de NCS por emulação

Fazendo x = [x ′ x ′c ]′, chegamos a

[

˙xe

]

=

[

A11 A12

A21 A22

] [

x

e

]

onde

A11 =

[

A BCc

BcC Ac

]

A12 =

[

0 B

Bc 0

]

A21 = −

[

C 00 Cc

]

A11 A22 = −

[

C 00 Cc

]

A12

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 10 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Projeto de NCS por emulação

Sistema dinâmico determina o estado do sistema e o erroentre transmissões.

Os elementos de e são atualizados, ou sofrem saltos nosinstantes de transmissão.

Seja ey ,j = yj − yj . Se o j -ésimo elemento de y é transmitidono instante ti :

yj (ti)← yj(ti )⇔ ey ,j(ti ) = 0

Logo, o efeito do protocolo de agendamento na rede é o dereajustar para zero os componentes do erro nosinstantes de transmissão. Um modelo desse tipo écompletamente descrito por

1 uma dinâmica em tempo contínuo para o estado x e o erro e;2 uma sequencia de instantes de transmissão {ti}

i=0;

3 um protocolo de agendamento, ou mapa de reset do erro.

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 11 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Características de protocolos

Uma desvantagem com a transmissão de vários dados por umúnico canal é que ele deve ser exclusivo.

Se mais de um agente tenta transmitir ao mesmo tempo,ocorre perda de dados ou colisão. A prevenção de colisões é aprincipal função do protocolo de agendamento.Os protocolos podem ter as seguintes características

1 Acesso à rede arbitrado localmente sem perdas de pacotes.2 Acesso à rede arbitrado globalmente, com ou sem perdas de

pacotes.3 Acesso à rede não é arbitrado, com ou sem perdas de pacotes.

Acessos arbitrados: Round-robin (RR) ou Maximum-error-first

try-once-discard (TOD).

Acessos não-arbitrados: Carrier-sense multiple access (CSMA):Ethernet, CSMA p-persistente: Bluetooth, 802.11 a/b/g,ALOHA.

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 12 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Características de protocolos

Como vimos, o sistema NCS é modelado como um sistema híbrido,composto por uma equação dinâmica contínua entre os instantes detransmissão. Mas a cada ti ,

e(t+i ) = Qi(e(ti ))e(ti ),

ou

e(t+i ) = Qi(ei (ti ))e(ti ),

e(t+i ) = Λ(i ,(I − Qi(e(ti)))e(ti ),e(ti))

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 13 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Protocolos arbitrados

Round-robin

Empregado nos protocolos tipo token ring e token bus

Tipo mais simples de protocolo de agendamento para sistemasmultiplexados no tempo.

Cada link de rede tem um índice único e o acesso à rede éfornecido conforme uma ordem pré-estabelecida. Em termosdo modelo para a atualização do erro, fica

e+ = (I −∆(i))e,

onde ∆(i) = diag{δ1(i)Is1 , . . . , δN(i)Isℓ} e

δk(i) =

{

1, se k − 1 = i mod ℓ0, caso contrário

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 14 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Protocolos arbitrados

Maximum-error-first try-once-discard

O esquema TOD pode ser descrito por

Qi (e) = (I −Ψ(e))

onde Ψ(e) = diag{ψ1(e)Il1 , . . . ,ψℓ(e)Ilℓ} e

ψj(e) =

{

1, se j = min(arg maxj |ej |)0, caso contrário

Ou seja, o nó escolhido para ocupar o canal é sempre aquele commaior magnitude de erro para transmissão.

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 15 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Protocolos randômicos

Sequência de tempos de transmissão aleatória e mapas de erroQi i.i.d, independentes de e.

Qi são matrizes que assumem valores em {M0,M1, . . . ,Mℓ}onde M0 = I e Mj é tal que

Mje = Mj(e1 . . . ,ej , . . . ,eℓ)

= (e1, . . . ,ej−1,0,ej+1, . . . ,eℓ)

Ou seja, no instante de tempo ti algum nó j vai assumir ocontrole da rede e transmitir seus valores, levando o vetor deerro para zero

ej(t+

i ) = 0,ek(t+

i ) = ek(ti ), k 6= j

Ou ainda, Qi = M0, o que significa que houve uma colisão e ovetor e segue sem mudanças.

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 16 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Protocolos randômicos

Para um NCS com ℓ links, um protocolo randômico é definidocomo uma cadeia de Markov discreta Qi subordinada a umprocesso de renovação N(t) tal que

1 Qi são matrizes i.i.d. associadas com probabilidades de links ecolisões dadas por

Prob{Qi = Mk} = pk , k = 1,2, . . . , ℓ

2 A sequência de tempos de transmissão {ti}i∈N é definida por

t0 = τ0,

onde τ0 ∼ exp(λ) e para cada i > 0, i ∈ N,

ti = ti−1 + τi ,

onde τi ∼ exp(λ). Definimos

N(t) =

{

0, t ∈ [0,t0),k , t ∈ [tk−1,tk)

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 17 / 18

Sistemas com transmissão pela rede Projeto de controle Tipos de protocolo

Protocolos randômicos

Tempo de cobertura é definido como

T0 = min{j ≥ 1 : {M1, . . . ,Mℓ} ⊂ {Q0, . . . ,Qj−1}}

e para i > 0:

Ti = min{j ≥ 0 : {M1, . . . ,Mℓ} ⊂ {QTi−1, . . . ,Qj−1}}

É possível mostrar que, se a probabilidade de colisão for p0 eProb{Qi = Mk} = Prob{Qi = Mj} = (1− p0)/ℓ, para k ,j 6= 0,então

E [T ] =ℓHℓ

1− p0

,

onde Hℓ é o ℓ-ésimo número harmônico.

Gonçalves, A. P. C. IA361–Tópicos em Controle II UNICAMP 18 / 18