Tese

Modelagem e análise de sistemas supervisórios híbridos (2004)

• Authors:
  • Villani, Emília
  • Miyagi, Paulo Eigi (Orientador)
• Autor USP: VILLANI, EMILIA - EP
• Unidade: EP
• Sigla do Departamento: PMR
• Subjects: SISTEMAS DE CONTROLE; REDES DE PETRI
• Language: Português
• Abstract: 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 deverespeitar 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
• Imprenta:
  • Publisher place: São Paulo
  • Date published: 2004
• Data da defesa: 04.03.2004


---

How to cite

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

• ABNT

  VILLANI, Emília. Modelagem e análise de sistemas supervisórios híbridos. 2004. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-08062004-131133/. Acesso em: 28 out. 2024.

• APA

  Villani, E. (2004). Modelagem e análise de sistemas supervisórios híbridos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3132/tde-08062004-131133/

• NLM

  Villani E. Modelagem e análise de sistemas supervisórios híbridos [Internet]. 2004 ;[citado 2024 out. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-08062004-131133/

• Vancouver

  Villani E. Modelagem e análise de sistemas supervisórios híbridos [Internet]. 2004 ;[citado 2024 out. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-08062004-131133/

Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

• Abordagem híbrida para modelagem de sistemas de ar condicionado em edifícios inteligentes