Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos

Abstract

Methodology and Computational Tool for Testing Nonconflict On Modular Control of Discrete Event SystemsThis paper presents contributions on the use of abstractions in modular control of discrete event systems. First, the W •T -strategy is presented for the construction of abstractions for the nonconflict test of local modular supervisors. Second, an efficient computational tool is introduced for the problem of verifying if given abstractions of modular supervisors satisfy the so-called observer property (OP); the observer property plays an important role in the validity of the nonconflict test over abstractions. Finally, this new computational tool is used to validate the W •T strategy in the context of a case study of a comprehensive manufacturing example.KEYWORDS: supervisory control, discrete event systems; modular control; observer property. RESUMOEste artigo apresenta contribuições ao uso de abstracões no controle modular de sistemas a eventos discretos. Inicialmente, propõe-se a estratégia W •T para a construção de abstrações para o teste de não-conflito. Em seguida, apresenta-se uma ferramenta computacional eficiente para o problema de verificar se uma abstração satisfaz a propriedade de observador (OP); esta propriedade tem um papel importante na abordagem de verificação de não-conflito de supervisores modulares baseada em abstrações. Esta ferramentaé então utilizada para validar a estratégia W •T no contexto de um estudo de caso correspondendo a um exemplo de sistema de manufatura de médio porte.PALAVRAS-CHAVE: controle supervisório, sistemas a eventos discretos; controle modular; propriedade do observador.

Generalised Verification of the Observer Property in Discrete Event Systems

“…Abstractions obtained by natural projections have been extensively used in the Supervisory Control Theory (Ramadge and Wonham, 1989), as for example in control with partial observation of events (Wonham, 2011), in hierarchical control (Hill and Tilbury, 2006;Cunha and Cury, 2007;Feng and Wonham, 2008;Schmidt and Breindl, 2011), in modular synthesis (Hill and Tilbury, 2006;Schmidt et al, 2006;Feng and Wonham, 2006), in compositional verification of the nonblocking property (Hill and Tilbury, 2006;Flordal and Malik, 2009;Pena et al, 2009;Pena et al, 2010b), among others.…”