Supervisory Control of Discrete Event Systems with Flexible Marking*

Controle supervisório hierárquico modular por agregação de estados

“…De modo a propor uma solução para o problema de controle supervisório do modelo agregado é introduzido o conceito de Γ-compatibilidade (Cury et al, 2004) como segue.…”

“…Em (Cury et al, 2004) mostra-se que a Γ-compatibilidade de uma linguagem é condição necessária e suficiente para existência de um supervisor não bloqueante que a implemente em malha fechada.…”

“…Caso uma linguagem K a qual especifica o comportamento desejado não seja Γ-compatível, em (Cury et al, 2004) mostra-se que existe uma aproximação de K que é única e ótima, no sentido de ser minimamente restritiva. No caso regular, apresenta-se um algoritmo para o cálculo desta aproximação.…”

“…Cury et al, 2004). Define-se a modularidade hierárquica, como a propriedade verificada quando para dois supervisores do nível gerencial S…”

“…De outro ponto de vista, Caines e Hubbard (1998) desenvolveram uma abordagem para controle hierárquico por agregação de estados. Em (Torrico e Cury, 2002) foi introduzido um novo formalismo para o controle hierárquico de sistemas a eventos discretos envolvendo as abordagens mencionadas anteriormente em parceria com o novo modelo generalizado proposto em (Cury et al, 2001;Cury et al, 2004) para o controle de SEDs com estruturas de controle avançadas e marcação dinâmica associada. Em todas estas abordagens sobre controle hierárquico propõe-se uma hierarquia de dois níveis, um nível associado ao operador e um outro nível associado ao gerente.…”