Modelagem e análise de sistemas supervisórios híbridos.

Autor(es)

Emília Villani

• Tipo de documento: Tese de Doutorado
• Imprenta: São Paulo. , gráficos, ilustrações, tabelas.
• Instituição: Universidade de São Paulo (USP). Escola Politécnica (EP/BC)
• Data de defesa: 2004-03-04

Membros da banca

Paulo Eigi Miyagi; Reginaldo Arakaki; Stéphane Julia; Arthur Jose Vieira Porto; Robert Jean Valette

• Orientador: Paulo Eigi Miyagi
• Área do conhecimento: Engenharias - Engenharia Mecânica
• Indexada em: Banco de Dados Bibliográficos da USP-DEDALUS; Biblioteca Digital de Teses e Dissertações - USP
• Localização: Universidade de São Paulo. Biblioteca Central da Escola Politécnica; EPBC/FT-1948; Universidade de São Paulo. Escola Politécnica. Biblioteca de Engenharia Mecânica, Naval e Oceânica; EPMN/FT-1948

Resumo

Sistemas Supervisórios Híbridos podem ser definidos como sistemas de controle cujos estados são representados por variáveis discretas e contínuas, e cuja dinâmica é determinada em função do tempo e da ocorrência de eventos discretos. O desenvolvimento desta classe de Sistemas Supervisórios pode ser dividido em duas fases. A 1ª Fase consiste na elaboração de um modelo protótipo para o Sistema Supervisório, que é descrito usando um formalismo, e que é validado com base nas especificações do problema. Na 2ª Fase, este modelo, já validado, é convertido na linguagem de programação do Sistema Supervisório propriamente dito. Esta tese concentra-se na 1ª Fase, para qual abordam-se três questões principais: (1) a escolha do formalismo de modelagem; (2) como construir o modelo do Sistema Supervisório Híbrido usando este formalismo; e (3) como validar o Sistema Supervisório Híbrido usando o modelo construído. Para questão (1), introduz-se um novo formalismo de modelagem baseado na aplicação dos conceitos de Orientação a Objetos (OO) às redes Predicado Transição Diferenciais (redes PTD). Este novo formalismo é chamado de redes PTD-OO. No que se refere a questão (2), é proposto um procedimento para obtenção do modelo do Sistema Supervisório em redes PTD-OO usando os diagramas da UML (‘Unified Modeling Language’). Finalmente, para a questão (3), o problema de validação é abordado através da definição de um conjunto de propriedades que o modelo em redes PTD-OO deve respeitar afim de que sejam garantidos os requisitos do Sistema Supervisório. Estas propriedades são, então, verificadas através de um procedimento proposto para análise de redes PTD-OO. (AU)

• Processo FAPESP: 00/00264-8 - Modelagem, análise e controle de sistemas supervisórios híbridos
• Beneficiário: Emilia Villani
• Modalidade de apoio: Bolsas no Brasil - Doutorado