Busca heurística na obtenção de supervisor por distinguidores aproximados

Abstract

O emprego da TCS para síntese de supervisores para SEDs é limitado nos casos em que o SED é constituído por muitos subsistemas integrados e há explosão combinatória de estados. O uso de distinguidores foi introduzido na TCS visando a simplificar a modelagem das especificações, com a garantia de síntese do supervisor maximamente permissivo. Ao aproximar-se a linguagem do distinguidor, obtém-se um supervisor aproximado, cuja síntese é de menor complexidade, porém não há garantias de que este seja maximamente permissivo. O objetivo deste trabalho é propor um método para se obter um supervisor, no contexto das aproximações na TCS-D, o menos restritivo possível nos casos em que obter o supervisor maximamente permissivo pelo distinguidor preditivo ou inspecionando cada aproximação é proibitivo. O método consiste na busca heurística no espaço formado pelos supervisores aproximados por distinguidores pelo supervisor com a maior medida de linguagem. Algoritmos de busca baseados em Busca Tabu e Algoritmo Genético foram implementados e validados mediante testes com sistemas criados para este trabalho. Por fim um sistema de AGVs foi submetido aos algoritmos de busca para obtenção de um supervisor. Os resultados mostram que o método é eficaz na exploração do espaço de supervisores aproximados e pode ser utilizado como alternativa para obter-se o melhor supervisor possível de ser sintetizado para sistemas muito complexos.