Resumo
O Trabalho que pretendemos fazer no doutorado consiste em desenvolver técnicas de análise e síntese de sistemas híbridos. Sistemas Híbridos são sistemas que possuem dois subsistemas. Um é uma família de sistemas de tempo e espaço de estados contínuos (chamada parte contínua) e b outro é um sistema de tempo contínuo e estados num conjunto enumerável (chamado de parte discreta). O segundo s…