English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Este trabalho apresenta a prova matemática do método para a síntese de supervisores denominado Restrição de Controle sobre Cores Decompostas, o qual é baseado nos conceitos da Teoria de Controle Supervisório, utilizando como principal ferramenta as redes de Petri coloridas para modelar sistemas de eventos discretos, a fim de encontrar supervisores que satisfaçam esses sistemas sujeitos a restrições. Por extensão, é proposto um método para reduzir o número de controladores denominado Fusão de Controladores. This paper presents the mathematical proof of the method for the synthesis of supervisors called Constraint of Control on Decomposed Colors, which is based on concepts of Supervisory Control Theory, using as main tool the coloured Petri nets to model systems discrete event, in order to find supervisors that meet those systems subject to constraints. By extension, it is proposed a method to reduce the number of controllers called Fusion of Controllers

controle and automação

Restrições de controle sobre cores decompostas: uma proposta no controle supervisório de sistemas a eventos discretos utilizando redes de Petri coloridas