Dissertação

Linear-Time Temporal Logic Control of Discrete Event Systems EVALUATED

Um Sistema de Eventos Discretos (DES) é um sistema dinâmico que evolui de acordo com a ocorrência instantânea, em intervalos de tempo possivelmente desconhecidos, de eventos físicos. Dado um DES, o seu comportamento (a sequência de eventos gerada) pode não satisfazer um conjunto de objectivos lógicos pretendidos. O objectico do Controlo por Supervisão é restingir esse comportamento de modo a atingir os objectivos. A Lógica Temporal Linear (LTL) é uma extensão da Lógica Proposicional que permite raciocinar sobre sequências infinitas de estados. Iremos utilizar este formalismo lógico como uma ferramenta para especificar os objectivos de desempenho para um dado DES e construir um supervisor que restringe, por construção, o comportamento do DES para esses objectivos. Vários exemplos simulados de aplicação serão apresentados para ilustar o método desenvolvido.
Sistemas de Eventos Discretos, Controlo por Supervisão, Linguagens e Autómatos, Lógica Temporal Linear, Autómatos de Buchi

Outubro 9, 2007, 11:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

CO-ORIENTADOR

Francisco Miguel Alves Campos de Sousa Dionísio

Departamento de Matemática (DM)

Professor Auxiliar

ORIENTADOR

Pedro Manuel Urbano de Almeida Lima

Departamento de Engenharia Electrotécnica e de Computadores (DEEC)

Professor Associado