A New approach for supervisory control of discrete event systems

Hierarchically Consistent Controlled Discrete Event Systems

“…The results for supervisory control in Cury et al (2001) are the following. Given the CDES D = (L, Γ), a supervisor for D is a map f :…”

“…The specification E s (γ M ) inhibits every vocal string after s whose output is not an event in γ, and E s (γ N ), besides inhibiting every vocal string after s whose output is not an event in γ, also inhibits the silent marked strings after s. Finally, define D hi as the controlled DES in the generalized framework of Cury et al (2001)…”

“…In this work, hierarchical consistency is achieved for a two level hierarchy with no refinement for the hierar-chy. This is done by modelling the high level system using a generalized framework for controlled DES introduced in Cury et al (2001). It is also provided a constructive procedure to obtain the complete hierarchy, given the low level system and the high level set of events.…”

“…The paper has the following outline: section 2 presents the problem formulation; section 3 reviews the generalized framework for supervisory control of DES of Cury et al (2001); section 4 introduces the proposed model for the high level system; section 5 contains the main results of the paper; section 6 presents the method to build the hierarchy illustrated by an example; section 7 makes some comments on related work, summarizes the contributions of the paper and give directions of future research.…”

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

“…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.…”