Os passos para a obtenção da especificação global E, seguindo uma abordagem local, são os seguintes. ( ) Construir autômatos Ej para cada re...

Os passos para a obtenção da especificação global E, seguindo uma abordagem local, são os seguintes.

( ) Construir autômatos Ej para cada restrição de coordenação j, do sistema a ser controlado;

( ) Realizar a composição dos autômatos construídos no passo 1; compor o autômato resultante com o autômato da planta G, gerando o autômato R;

( ) Atualizar R pela eliminação, caso houver, de estados considerados proibidos;

( ) Atualizar R pelo cálculo de sua componente co-acessível, ou não bloqueante.

Marque a alternativa que contem a ordem correta.


1-2-3-4