Notas de Aula

Controle SED
Ramadge e Wonham (RW)

1. Obtenção da planta

2. Obtenção da especificação

3. Síntese do supervisor

Obtenção da Planta

1. Identificar os equipamentos e/ou subsistemas.

2. Construir um ADEF, Gi , para cada um.

3. Definir aspectos, como controlabilidade

4. Modelo global da planta G

G = G1 ||G2 ||...||Gn

Especificação

1. Construir um automato Ej para cada restrição de coordenação

2. Compor as restrições
EP B = E1 ||E2 ||...||Em

3. "Conectar"Em com a planta

R = G//EP B

4. Eliminar estados proibidos e atualizar como componente TRIM.

.
R ..L(R) = Lm (R)

E = Lm (R)

Síntese do supervisor