Determination of inner and outer bounds of reachable sets EVALUATED

Detalhes: Para verificar a segurança de um sistema dinâmico, um procedimento importante é o calculo do seu conjunto de atingibilidade. Existem diferentes métodos de calcular conjuntos de atingibilidade, nomeadamente os designados como ?interval integration?, ?capture basin?, ?level set? e métodos que envolvem a função de tempo mínimo de alcance. É implementado e testado um algoritmo para sub e sobrestimar conjuntos, que potencialmente reduz o esforço computacional quando a função de teste ou o ?contractor? é pesado computacionalmente. Este algoritmo é usado para calcular limites exteriores e interiores de conjuntos de atingibilidade. A função de teste ou os ?contractors? usados neste trabalho incluem ?guaranteed integration? que é realizada através do método de Euler ou pelo VSPODE. Os métodos desenvolvidos foram aplicados para calcular aproximações internas e externas de conjuntos de atingibilidade para o exemplo do duplo integrador. Através dos resultados obtidos foi possível concluir que o uso de ?contractors? em vez de funções de teste conduziu a resultados muito mais ajustados e que para um dado tamanho mínimo de caixa existe um passo temporal óptimo. Ao contrário do esperado, o método de Euler para a ?guaranteed integration? revelou melhores resultados que o VSPODE.

Discussão: maio 31, 2011, 10:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

AUTOR

Francisco Fernandes Castro Rego (ist156289)

ORIENTADOR

António Manuel dos Santos Pascoal

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

Professor Associado