Dissertação

Specifying the Behaviour of Building Automation Systems EVALUATED

Os sistemas de automação de edifícios têm sentido um acréscimo de interesse devido ao seu potencial de poupança de energia, assim como através da criação de ambientes inteligentes. No entanto, o desenvolvimento deste tipo de sistemas consiste essencialmente em controladores embebidos em hardware, escritos em linguagens de baixo nível difíceis de programar. Em situações onde a actuação deve variar continuamente de acordo com o input dos sensores, o desenvolvimento e teste torna-se ainda mais difícil. Nesta dissertação é proposta uma framework baseada numa linguagem declarativa com o intuito de especificar o comportamento de um sistema de automação de edifícios. Esta linguagem permite a especificação do comportamento sem se preocupar com os detalhes de hardware. A linguagem e a framework propostas usam as noções de lógica fuzzy e lógica temporal. As especificações desenvolvidas usando esta linguagem descrevem sistemas de controlo fuzzy que interagem com actuadores usando um processo de defuzzification alterado. A nossa proposta foi validada através do desenvolvimento de um simulador da linguagem e do caso estudo descrito, que especificam o comportamento de um sistema de automação de um escritório. Para uma validação mais detalhada usámos um conjunto de dados de sensores e observámos o comportamento produzido pelo sistema. Por fim, analisámos os gráficos correspondentes a variação dos actuadores durante as simulações.
Sistemas de Automação de Edifícios; Especificação de Comportamento; Lógica Fuzzy; Sistemas de Controlo Fuzzy; Contextos Fuzzy; Lógica Temporal; Sistemas com Noção de Contexto; Sistemas Periciais

Setembro 6, 2011, 11:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

CO-ORIENTADOR

Andreas Miroslaus Wichert

Departamento de Engenharia Informática (DEI)

Professor Auxiliar

ORIENTADOR

Paulo Jorge Fernandes Carreira

Departamento de Engenharia Informática (DEI)

Professor Auxiliar