Planning is a central research area in artificial intelligence, and a lot of effort has gone into constructing more and more efficient planning algorithms. In real-world examples, many problem instances do not have a solution. Hence, there is an obvious need for methods that are capable of identifying unsolvable instances efficiently. It is not possible to efficiently identify all unsolvable instances due to the inherent high complexity of planning, but many unsolvable instances can be identified in polynomial time. We present a number of novel methods for doing this. We adapt the notion of k-consistency (a well-studied concept from constraint satisfaction) for testing unsolvability of planning instances. The idea is to decompose a given problem instance into a number of smaller instances which can be solved in polynomial time. If any of the smaller instances are unsolvable, then the original instance is unsolvable. If all the smaller instances are solvable, then it is possible to extract information which can be used to guide the search. For instance, we introduce the notion of forbidden state patterns that are partial states that must be avoided by any solution to the problem instance. This can be viewed as the opposite of pattern databases which give information about states which can lead to a solution.  We also introduce the notion of critical sets and show how to identify them. Critical sets describe operators or values which must be used or achieved in any solution. It is a variation on the landmark concept, i.e., operators or values which must be used in every solution. With the help of critical sets we can identify superfluous operators and values. These operators and values can be removed by preprocessing the problem instance to decrease planning time.

Este trabalho de dissertação trata do problema de observabilidade e redundância de medidas para efeito de estimação de estado trifásica. É proposta a extensão de uma metodologia numérica eficiente para análise de observabilidade e identificação de medidas críticas e conjuntos críticos de medidas, desenvolvida para modelagem por fase, a fim de considerar redes trifásicas de energia, nas quais os desbalanços nas cargas e os desequilíbrios na rede são considerados. Ao longo do trabalho apresenta-se uma revisão dos principais conceitos de estimação de estado, observabilidade de redes e redundância de medidas, destacando a importância da estimação de estado trifásica para obtenção de uma operação segura de sistemas elétricos de potência desbalanceados e/ou desequilibrados. Os resultados obtidos em diversos testes realizados, com sistemas trifásicos já empregados em outros trabalhos da área contendo 4, 7 e 38 barras, atestam o adequado desempenho da extensão proposta e são apresentados detalhadamente nesta dissertação. Por fim, o conceito de observabilidade topológica, desenvolvido para modelagem monofásica da rede, é estendido para modelagem trifásica, permitindo um entendimento melhor do problema de observabilidade no contexto de estimação trifásica. / This thesis focuses on the problem of observability and measurement redundancy in the context of three-phase state estimation. It is proposed an extension of an efficient numerical methodology for observability and redundancy analysis, developed for the single-phase network model, in order to consider the three-phase network model, where the unbalanced loads and the asymmetric nature of the system are considered. During this work, a review of the main concepts related to state estimation, network observability and measurement redundancy are presented, highlighting the importance of the three-phase state estimation in order to obtain a reliable operation of unbalanced and/or asymmetric power systems. Simulations results obtained for several cases studies based on three three-phase systems already used in the literature, with 4, 7 and 38 buses, validate the proposed methodology extension and are presented in detail in this thesis. Finally, the concept of topological observability, developed for the single-phase network model, is extended for the three-phase model.

Para obter-se uma operação segura dos sistemas elétricos de potência (SEP), é imprescindível uma estimação de estado (EE) confiável, pois, as ações de controle e operação, em tempo real, dos SEP se baseiam no banco de dados obtido pelo processo de EE. O primeiro passo, para o sucesso do processo de EE, é a obtenção de um plano de medição confiável, ou seja, um plano de medição que garanta a observabilidade do sistema e a não presença de medidas críticas e dos conjuntos críticos de medidas. Entretanto, tendo em vista a possibilidade de ocorrer, durante a operação de um SEP, de problemas causando a perda de medidas, a obtenção de um plano de medição confiável é uma condição necessária, mas não suficiente, para o sucesso do processo de EE. Face ao exposto, desenvolveu-se neste trabalho um programa computacional que possibilita uma EE confiável mesmo em situação de perda de medidas. O programa proposto permite, de uma forma rápida em termos de velocidade de execução, análise e restauração da observabilidade, identificação de medidas críticas e de conjuntos críticos de medidas, bem como a atualização dessas características qualitativas de conjunto de medidas após a perda de medidas. Como embasamento teórico para o desenvolvimento do programa proposto, foram utilizados dois algoritmos destinados à análise das características qualitativas de conjuntos de medidas, que se baseiam na fatoração triangular da matriz Jacobiana, bem como técnicas de esparsidade e de desenvolvimento de programas computacionais. Para comprovar a eficiência do programa proposto, vários testes foram realizados, utilizando o sistema de 6, 14 e 30 barras do IEEE e 121 barras da ELETROSUL. / To obtain a safe power system (PS) operation, becomes necessary a reliable state estimation (SE), since the real time control actions of a PS are based on the data obtained through the SE process. The first requirement for a successful SE process is the existence of a reliable measurement placement plan, that is, a measurement placement plan that guarantees system observability and the absence of both critical measurements and critical sets. However, considering that during the operation of a PS measurements can be lost decreasing the measurement-redundancy, one can say that although a reliable measurement placement plan is a necessary condition to guarantee a reliable state estimation, it is not sufficient. This dissertation presents a computer program that allows for a reliable SE, even in situations of problems causing loss of measurements. The proposed software allows, in a very fast way in terms of execution time, observability analysis and restoration, identification of critical measurements and critical sets, as well as the updating of these measurement set qualitative characteristics after loss of measurements. As a theoretical background for the development of the software, two algorithms were utilized allowing for the analysis of measurement set qualitative characteristics based on the triangular factorization of the Jacobian matrix, as well as sparsity techniques and techniques for the development of programs. To prove the efficiency of the proposed software, several tests were performed using the system of 6, 14 and 30 buses from IEEE and 121 buses from ELETROSUL.

Este trabalho de dissertação trata do problema de observabilidade e redundância de medidas para efeito de estimação de estado trifásica. É proposta a extensão de uma metodologia numérica eficiente para análise de observabilidade e identificação de medidas críticas e conjuntos críticos de medidas, desenvolvida para modelagem por fase, a fim de considerar redes trifásicas de energia, nas quais os desbalanços nas cargas e os desequilíbrios na rede são considerados. Ao longo do trabalho apresenta-se uma revisão dos principais conceitos de estimação de estado, observabilidade de redes e redundância de medidas, destacando a importância da estimação de estado trifásica para obtenção de uma operação segura de sistemas elétricos de potência desbalanceados e/ou desequilibrados. Os resultados obtidos em diversos testes realizados, com sistemas trifásicos já empregados em outros trabalhos da área contendo 4, 7 e 38 barras, atestam o adequado desempenho da extensão proposta e são apresentados detalhadamente nesta dissertação. Por fim, o conceito de observabilidade topológica, desenvolvido para modelagem monofásica da rede, é estendido para modelagem trifásica, permitindo um entendimento melhor do problema de observabilidade no contexto de estimação trifásica. / This thesis focuses on the problem of observability and measurement redundancy in the context of three-phase state estimation. It is proposed an extension of an efficient numerical methodology for observability and redundancy analysis, developed for the single-phase network model, in order to consider the three-phase network model, where the unbalanced loads and the asymmetric nature of the system are considered. During this work, a review of the main concepts related to state estimation, network observability and measurement redundancy are presented, highlighting the importance of the three-phase state estimation in order to obtain a reliable operation of unbalanced and/or asymmetric power systems. Simulations results obtained for several cases studies based on three three-phase systems already used in the literature, with 4, 7 and 38 buses, validate the proposed methodology extension and are presented in detail in this thesis. Finally, the concept of topological observability, developed for the single-phase network model, is extended for the three-phase model.

Para obter-se uma operação segura dos sistemas elétricos de potência (SEP), é imprescindível uma estimação de estado (EE) confiável, pois, as ações de controle e operação, em tempo real, dos SEP se baseiam no banco de dados obtido pelo processo de EE. O primeiro passo, para o sucesso do processo de EE, é a obtenção de um plano de medição confiável, ou seja, um plano de medição que garanta a observabilidade do sistema e a não presença de medidas críticas e dos conjuntos críticos de medidas. Entretanto, tendo em vista a possibilidade de ocorrer, durante a operação de um SEP, de problemas causando a perda de medidas, a obtenção de um plano de medição confiável é uma condição necessária, mas não suficiente, para o sucesso do processo de EE. Face ao exposto, desenvolveu-se neste trabalho um programa computacional que possibilita uma EE confiável mesmo em situação de perda de medidas. O programa proposto permite, de uma forma rápida em termos de velocidade de execução, análise e restauração da observabilidade, identificação de medidas críticas e de conjuntos críticos de medidas, bem como a atualização dessas características qualitativas de conjunto de medidas após a perda de medidas. Como embasamento teórico para o desenvolvimento do programa proposto, foram utilizados dois algoritmos destinados à análise das características qualitativas de conjuntos de medidas, que se baseiam na fatoração triangular da matriz Jacobiana, bem como técnicas de esparsidade e de desenvolvimento de programas computacionais. Para comprovar a eficiência do programa proposto, vários testes foram realizados, utilizando o sistema de 6, 14 e 30 barras do IEEE e 121 barras da ELETROSUL. / To obtain a safe power system (PS) operation, becomes necessary a reliable state estimation (SE), since the real time control actions of a PS are based on the data obtained through the SE process. The first requirement for a successful SE process is the existence of a reliable measurement placement plan, that is, a measurement placement plan that guarantees system observability and the absence of both critical measurements and critical sets. However, considering that during the operation of a PS measurements can be lost decreasing the measurement-redundancy, one can say that although a reliable measurement placement plan is a necessary condition to guarantee a reliable state estimation, it is not sufficient. This dissertation presents a computer program that allows for a reliable SE, even in situations of problems causing loss of measurements. The proposed software allows, in a very fast way in terms of execution time, observability analysis and restoration, identification of critical measurements and critical sets, as well as the updating of these measurement set qualitative characteristics after loss of measurements. As a theoretical background for the development of the software, two algorithms were utilized allowing for the analysis of measurement set qualitative characteristics based on the triangular factorization of the Jacobian matrix, as well as sparsity techniques and techniques for the development of programs. To prove the efficiency of the proposed software, several tests were performed using the system of 6, 14 and 30 buses from IEEE and 121 buses from ELETROSUL.

Os centros de operação de sistemas elétricos de potência (SEP) exigem que uma vasta quantidade de informações esteja disponível para o controle e supervisão dos SEP. Em uma operação segura dos SEP é de suma importância que o processo de estimação de estado (EE) seja confiável. Visando este propósito, neste trabalho: i) propõe-se o desenvolvimento de um programa computacional que permita avaliar e aumentar a confiabilidade de um SEP em termos de qualidade e redundância das medidas disponíveis. Este programa fundamenta-se na fatoração da matriz Jacobiana transposta (\'H POT.t\') para realização da análise e restauração de observabilidade, e identificação de medidas críticas e conjuntos críticos de medidas. Para estimação de estado, é utilizado o algoritmo desacoplado rápido versão BX, e para a detecção e identificação de erros grosseiros, utiliza-se o teste dos resíduos normalizados; ii) propõe-se uma metodologia e um algoritmo para análise de observabilidade e identificação de ilhas observáveis, usando conceitos de caminhos de grafo e a fatoração triangular da matriz \'H POT. t\'. Para comprovar a eficiência das metodologias propostas, vários testes foram realizados, utilizando o sistema de 6, 14, 30 e 118 barras do IEEE. / The operating center requires much information in order to control and supervise the power systems. In a secure power systems operation it is important that the state estimation process be reliable. For that purpose, in this work: i) a computer program to evaluate and increment the reliability of power system in terms of redundancy and measurements availability is developed. That program is based on the \'H POT.t\' matrix factorization with the purpose of observability analysis and restoration; critical measurements and critical sets identification. The version BX of the fast decoupled algorithm for state estimation is used. Gross errors detection and identification is made through the normalized residue test; ii) using of path graph concepts a methodology and algorithm for network observability analysis and observable island identification is developed. To implement that algorithm, the triangular factorization of the transpose Jacobian matrix is used. To prove the efficiency of the proposed methodology, several tests were performed using the system of 6, 14, 30 and 118 buses from IEEE.

Os centros de operação de sistemas elétricos de potência (SEP) exigem que uma vasta quantidade de informações esteja disponível para o controle e supervisão dos SEP. Em uma operação segura dos SEP é de suma importância que o processo de estimação de estado (EE) seja confiável. Visando este propósito, neste trabalho: i) propõe-se o desenvolvimento de um programa computacional que permita avaliar e aumentar a confiabilidade de um SEP em termos de qualidade e redundância das medidas disponíveis. Este programa fundamenta-se na fatoração da matriz Jacobiana transposta (\'H POT.t\') para realização da análise e restauração de observabilidade, e identificação de medidas críticas e conjuntos críticos de medidas. Para estimação de estado, é utilizado o algoritmo desacoplado rápido versão BX, e para a detecção e identificação de erros grosseiros, utiliza-se o teste dos resíduos normalizados; ii) propõe-se uma metodologia e um algoritmo para análise de observabilidade e identificação de ilhas observáveis, usando conceitos de caminhos de grafo e a fatoração triangular da matriz \'H POT. t\'. Para comprovar a eficiência das metodologias propostas, vários testes foram realizados, utilizando o sistema de 6, 14, 30 e 118 barras do IEEE. / The operating center requires much information in order to control and supervise the power systems. In a secure power systems operation it is important that the state estimation process be reliable. For that purpose, in this work: i) a computer program to evaluate and increment the reliability of power system in terms of redundancy and measurements availability is developed. That program is based on the \'H POT.t\' matrix factorization with the purpose of observability analysis and restoration; critical measurements and critical sets identification. The version BX of the fast decoupled algorithm for state estimation is used. Gross errors detection and identification is made through the normalized residue test; ii) using of path graph concepts a methodology and algorithm for network observability analysis and observable island identification is developed. To implement that algorithm, the triangular factorization of the transpose Jacobian matrix is used. To prove the efficiency of the proposed methodology, several tests were performed using the system of 6, 14, 30 and 118 buses from IEEE.