Linear-Time Temporal Logic Control of Discrete Event Systems EVALUATED

Detalhes: 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.

Discussão: outubro 9, 2007, 11:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

AUTOR

Bruno Filipe Araújo de Lacerda (ist152706)

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