Aos professores e alunos do Laboratório de Automação de Sistemas -LAS pelas sugestões e contribuições -em especial ao Fabrício, à Gladys, ao Luis Alberto, ao Roger e ao David, pelas muitas discussões elucidativas e, sobretudo, pelo apoio e pela amizade.
Aos professores e alunos do grupo Organisation et Conduite de SystèmesDiscret -OCSD (LAAS) que deram suporte para a realização do meu estágio no LAAS -em particular à colaboração do Prof. Dr. Jean-Claude Pascal.Ao meus amigos e colegas de pós-graduação, particularmente àqueles da MC-01, pela companhia e amizade ao longo destes anos.Aos brasileiros, franceses, mexicanos, italianos e outros tantos que me receberam, auxiliaram e fizeram da minha estadia em Toulouse uma grande experiência -em especial à Cristiane, à Cristiani, à Delmira, ao Eduardo, ao Ao Prof. Reinaldo e ao Marco A. Poli pelo esforço e tempo gasto para viabilizar a transmissão da defesa desta tese, por video-conferência, para o LAAS.A todos aqueles que, mesmo não tem sido aqui citados nominalmente, colaboraram, direta ou indiretamente, de maneira não menos importante, na produção deste trabalho.
RESUMOSistemas Supervisórios Híbridos podem ser definidos como sistemas de controle cujos estados são representados por variáveis discretas e contínuas, e cuja dinâmica é determinada em função do tempo e da ocorrência de eventos discretos. O desenvolvimento desta classe de Sistemas Supervisórios pode ser dividido em duas fases. A 1 a Fase consiste na elaboração de um modelo protótipo para o Sistema Supervisório, que é descrito usando um formalismo, e que é validado com base nas especificações do problema. Na 2 a Fase, este modelo, já validado, é convertido na linguagem de programação do Sistema Supervisório propriamente dito. Esta tese concentra-se na 1 a Fase, para qual abordam-se três questões principais: (1) a escolha do formalismo de modelagem; (2) como construir o modelo do Sistema Supervisório Híbrido usando este formalismo; e (3) como validar o Sistema Supervisório Híbrido usando o modelo construído. Para questão (1), introduz-se um novo formalismo de modelagem baseado na aplicação dos conceitos de Orientação a Objetos (OO) às redes Predicado Transição Diferenciais (redes PTD). Este novo formalismo é chamado de redes PTD-OO. No que se refere a questão (2), é proposto um procedimento para obtenção do modelo do Sistema Supervisório em redes PTD-OO usando os diagramas da UML ('Unified Modeling Language'). Finalmente, para a questão (3), o problema de validação é abordado através da definição de um conjunto de propriedades que o modelo em redes PTD-OO deve respeitar afim de que sejam garantidos os requisitos do Sistema Supervisório. Estas propriedades são, então, verificadas através de um procedimento proposto para análise de redes PTD-OO.
ABSTRACTHybrid Supervisory Systems can be described as control systems with states that are represented by both discrete and continuous variables. Their dynamics are function of time and depend also on the occurrence of discrete events. The development of Hybrid Supervi...
