The main objective of this thesis is to develop a new methodology to evaluate the transmission cable losses of wind-generated electricity. The research included the power loss variations of submarine cables in relation to the line length, cable capacity and the transmission technology in an offshore wind farm having a capacity of 500 MW. The literature of similar studies helped to generate a solid background for the research.   The comprehensive analysis carried out is based on a hypothetical wind farm and using three different power transmission wind farm models to investigate the technical reliability of transmission technology, namely, High Voltage Alternative Current (HVAC), High Voltage Direct Current Voltage Source Converter (HVDC VSC) and High Voltage Direct Current Line Commutated Converter (HVDC LCC). The analyses carried out are performed under assumptions and simplifications of power system models to evaluate the submarine cable transmission losses of 3 different transmission systems by using the MATLAB/ Simulink software.   With relevance to the simulation results, the HVAC submarine cable has more losses than any other transmission technology cables and it is suitable for short distance power transmission. The VSC technology has less losses than HVAC. Comparing with afore-mention technologies the HVDC LCC technology transmission links have the lowest line losses. Moreover, the transformer losses and the converter losses were calculated. The simulation results also included the overall power system losses by each of the transmission models.

Veículos Submarinos Não Tripulados (UUVs Unmanned Underwater Vehicles) possuem muitas aplicações comerciais, militares e científicas devido ao seu elevado potencial e relação custo-desempenho considerável quando comparados a meios tradicionais utilizados para a obtenção de informações provenientes do meio subaquático. O desenvolvimento de uma plataforma de testes e amostragem confiável para estes veículos requer o projeto de um sistema completo além de exigir diversos e custosos experimentos realizados no mar para que as especificações possam ser devidamente validadas. Modelagem e simulação apresentam medidas de custo efetivo para o desenvolvimento de componentes preliminares do sistema (software e hardware), além de verificação e testes relacionados à execução de missões realizadas por veículos submarinos reduzindo, portanto, a ocorrência de potenciais falhas. Um ambiente de simulação preciso pode auxiliar engenheiros a encontrar erros ocultos contidos no software embarcado do UUV além de favorecer uma maior introspecção dentro da dinâmica e operação do veículo. Este trabalho descreve a implementação do algoritmo de controle de um UUV em ambiente MATLAB/SIMULINK, sua conversão automática para código compilável (em C++) e a verificação de seu funcionamento diretamente no computador embarcado por meio de simulações. Detalham-se os procedimentos necessários para permitir a conversão dos modelos em MATLAB para código C++, integração do software de controle com o sistema operacional de tempo real empregado no computador embarcado (VxWORKS) e a estratégia de simulação com Hardware In The Loop (HIL) desenvolvida - A principal contribuição deste trabalho é apresentar de forma racional uma estrutura de trabalho que facilite a implementação final do software de controle no computador embarcado a partir do modelo desenvolvido em um ambiente amigável para o projetista, como o SIMULINK. / Unmanned Underwater Vehicles (UUVs) have many commercial, military, and scientific applications because of their potential capabilities and significant costperformance improvements over traditional means of obtaining valuable underwater information The development of a reliable sampling and testing platform for these vehicles requires a thorough system design and many costly at-sea trials during which systems specifications can be validated. Modeling and simulation provide a cost-effective measure to carry out preliminary component, system (hardware and software), and mission testing and verification, thereby reducing the number of potential failures in at-sea trials. An accurate simulation environment can help engineers to find hidden errors in the UUV embedded software and gain insights into the UUV operation and dynamics. This work describes the implementation of a UUV\'s control algorithm using MATLAB/SIMULINK, its automatic conversion to an executable code (in C++) and the verification of its performance directly into the embedded computer using simulations. It is detailed the necessary procedure to allow the conversion of the models from MATLAB to C++ code, integration of the control software with the real time operating system used on the embedded computer (VxWORKS) and the developed strategy of Hardware in the loop Simulation (HILS). The Main contribution of this work is to present a rational framework to support the final implementation of the control software on the embedded computer, starting from the model developed on an environment friendly to the control engineers, like SIMULINK.

Engenheiros têm introduzido um melhor suporte para procedimentos de monitoramento de condições complexas através da aplicação de sistemas descentralizados inteligentes usando uma variedade de técnicas de inteligência artificial. Agora é largamente reconhecido que estes problemas decorrentes da complexidade funcional do monitoramento de condições podem ser resolvidos com arquiteturas que contenham muitos módulos distribuídos e inteligentes, que interajam dinamicamente, os quais são chamados de agentes inteligentes. A tecnologia baseada em agentes tem gerado muita agitação nos últimos anos por causa da promessa de ser um novo paradigma na hora de definir os conceitos para modelar e implementar sistemas de controle. O objetivo do presente estudo é implantar esta tecnologia no controle de uma caldeira de recuperação com a finalidade de gerenciar e integrar produção, qualidade e segurança no processo. A caldeira de recuperação tem dois objetivos bem definidos, cada um com suas restrições operacionais: (1) geração de vapor vivo a ser utilizado no processo, e, (2) redução de reagentes inorgânicos para recuperar sulfeto e carbonato de sódio, necessários no ciclo do processo de fabricação de celulose. Cada um destes objetivos é um sistema com funções independentes dentro da caldeira, mas que, no entanto tem seus desempenhos interligados entre si através das variáveis comuns existentes no processo. Esta é exatamente a definição de um sistema agente, ou melhor, de um Sistema Multi-Agente (SMA), no qual não existe uma otimização e sim a busca de uma solução possível. O modelo dinâmico da Caldeira foi simulado em Matlab(TM) Simulink(TM) baseado no modelo matemático da caldeira de recuperação de licor negro B&W (Babcock&Wilcox). O SMA foi desenvolvido utilizando a linguagem de programação JAVA e a plataforma de agentes JADE. / Engineers have been introducing better support for procedures of monitoring complex conditions through the application of intelligent decentralized systems, implementing a variety of artificial intelligent techniques. Nowadays it is vastly known that these problems that are consequence of the functional complexity of monitoring conditioning can be solved trough architectures, built by many intelligent distributed modules, which interact dynamically, known as intelligent agents. Technology based on agents have been creating excitement over the last years because of its promise of being a new paradigm that can be used to define modeling and implementing concepts for control systems. The goal of this thesis is to implement this new technology on controlling a recovery boiler, aiming to manage and integrate production, quality and security to the process. The operation of the recovery boiler has two well defined objectives, each one with its operational constraints: (1) steam production, an important asset in the pulp and paper process, and, (2) reduction of inorganic reagents to recover sulfate and sodium carbonates, the necessary chemicals in the Kraft pulp production. Each one of these functions, is an independent system inside the recovery boiler, however they have their performances connected to each other by common variables present in the process. This is exactly the definition of an agent system, in other words, a definition of a Multi-Agent System (MAS), for which there is not an optimization, but the search for the best possible outcome. The recovery boiler dynamic model was simulated using Matlab(TM) Simulink(TM) based on the mathematic model of B&W (Babcock&Wilcox) recovery boiler of black liquor. The MAS was implemented using JAVA(TM) programming language and JADE(TM) agent platform.

Hydropower is a flexible energy source that is essential for balancing the electrical power system on all timescales, from seconds to years. In addition to intra-hour regulation, it provides frequency containment reserves (FCR-N,FCR-D) and frequency restoration reserves (mFRR, aFRR) to the grid. The turbine governor is a device responsible for controlling the power output and delivering frequency control to the system. The aim of this Master’s Thesis project is to develop a new hydropower turbine governor in MATLAB/Simulink, which contains all critical functionality from the existing governor and with the same performance. The new governor should as far as possible comply to the well-established communication standard IEC 61850. A working model of the turbine governor has been built in Simulink that supports normal operation with frequency control, start and stop, load rejection, operation mode as synchronous condenser and more. Validations of the model against data from Akkats powerplant shows that the model behaves as a real governor during normal operation. Validations of the start sequence showed deviations during sequence 3 and 4 which can be explained by usage of different PID parameters. Using IEC 61850 as a nomenclature and as a way of structuring functions in the governor has also been possible. Implementing the whole standard for communication, requires that the control system also is renewed according to IEC 61850. Certain functions, as sequencing has thus not been done according to the standard. MATLAB and Simulink provide tools for building, simulating and testing implementations of the turbine governor. The contributions this platform can provide are; ease of implementation, optimization and testing of control strategies. Simulink also provides a graphical interface, which reduce system complexity. An optimal implementation requires a hardware with support for Simulink to get a transparent platform. Ultimately, these benefits could result in better frequency quality at a lower cost, which is essential for successful and cost-effective integration of other renewable energy sources such as wind- and solar power.

The purpose of this master thesis is to improve the quality of software testing in a large company developing real-time embedded systems. Software testing is a very important part of software development. By performing comprehensive software testing the quality and validity of a software system can be assured. One of the main issues with software testing is to be sure that the tests are correct. Knowing what to test, but also how to perform testing, is of utmost importance. In this thesis, we explore different ways to increase the quality of real-time testing by introducing new techniques in several stages of the software development model. Four complementary methods are suggested. The proposed methods are validated by implementing them in an existing and completed project on a subset of the software development process. The original output from the completed project is compared with the new output. The presented results from the validation are positive in the sense that it is shown that the test stage was more qualitative, mostly due to a higher level of quality on input from earlier stages.

Since the first lines of code were introduced in the automotive domain, vehicles have transitioned from being predominantly mechanical systems to software intensive systems. With the ever-increasing computational power and memory of vehicular embedded systems, a set of new, more powerful and more complex software functions are installed into vehicles to realize core functionalities. This trend impacts all phases of the system development including requirements specification, design and architecture of the system, as well as the integration and testing phases. In such settings, creating and managing different artifacts during the system development process by using traditional, human-intensive techniques becomes increasingly difficult. One problem stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints. Another problem is related to the fact that industrial development relies on models, e.g. developed in Simulink, from which code may be generated, so the correctness of such models needs to be ensured. A potential way to address of the mentioned problems is by applying computer-aided specification, analysis and verification techniques already at the requirements stage, but also further at later development stages. Despite the high degree of automation, exhaustiveness and rigor of formal specification and analysis techniques, their integration with industrial practice remains a challenge. To address this challenge, in this thesis, we develop the foundation of a framework, tailored for industrial adoption, for formal specification and analysis of system requirements specifications and behavioral system models. First, we study the expressiveness of existing pattern-based techniques for creating formal requirements specifications, on a relevant industrial case study. Next, in order to enable practitioners to create formal system specification by using pattern-based techniques, we propose a tool called SeSAMM Specifier. Further, we provide an automated Satisfiability Modulo Theories (SMT)-based consistency analysis approach for the formally encoded system requirements specifications. The proposed SMT-based approach is suitable for early phases of the development for debugging the specifications. For the formal analysis of behavioral models, we provide an approach for statistical model checking of Simulink models by using the UPPAAL SMC tool. To facilitate the adoption of the approach, we provide the SIMPPAAL tool that automates procedure of generating network of stochastic timed automata for a given Simulink model. For validation, we apply our approach on a complex industrial model, namely the Brake-by-Wire function from Volvo GTT. / VeriSpec

DC system and DC microgrids are gaining popularity in recent times. This thesis suggests a method to state the workability of a DC based PV system using the softwares Simulink, PVsyst and HOMER. The aims of this project include suggesting a DC based architecture, finding out the performance ratio and a cost analysis. The advantages of the DC based system, the cost benefits associated with it and its performance will determine its feasibility.   Not many softwares have the functionality to simulate DC based PV systems. PVsyst is considered as one of the most sought-out softwares for the simulation of PV systems. It can simulate a DC based PV system but has a lot of limitations when it comes to the architecture and voltage levels. Due to these factors, the results from softwares Simulink, Homer and PVsyst are used to calculate the performance ratio of the suggested DC system.    The simulation of the DC system involves modelling of a DC-DC converter. DC-DC converters are used in HVDC transmission and are being considered for small scale and medium scale microgrids. The DC-DC boost converter is coupled with a MPPT model in Simulink. P and O algorithm is chosen as the MPPT algorithm as it is simple and widely used. The Simulink model of PV array and MPPT based boost converter provides the power output at the needed voltage level of 350V. The input for the Simulink model is obtained from the results of HOMER. The inputs include solar irradiation data and cell temperature. The same input data is used for the simulations in HOMER and PVsyst. The performance ratio is obtained by combining the power output from Simulink with the other aspects of the system from PVsyst. The performance ratio is done only for the month of January due to the limitations in Simulink. The performance ratio is found out to be 65.5 %.   The cost estimation is done for the distribution and power electronics aspects of the system. It is found out that the cost associated with the conductors will have an impact on the total cost only if the conductors used for distribution is more in length. The cost associated with the power converters will make a difference in total cost only if the system is within the range of 100kW. The study shows the workability of the PV based DC system based on the above mentioned aspects

The increasing penetration of wind power into the power system dominated by variable-speed wind turbines among the installed wind turbines will require further development of control methods. Power electronic converters are widely used to improve power quality in conjunction with the integration of variable speed wind turbines into the grid. In this thesis, a detailed model of the Predictive Current Control (PCC) method will be descripts for the purpose of control of the grid-connected converter. The injected active and reactive power to the grid will be controlled to track their reference value. The PCC model predicts the future grid current by using a discrete-time model of the system for all possible voltage vectors generated by the inverter. The voltage vector that minimizes the current error at the next sampling time will be selected and the corresponding switching state will be the optimal one. The PCC is implemented in Matlab/Simulink and simulation results are presented.

This diploma thesis focuses on an analysis, a model creation and simulations of a car boot door mechanism. The problem was analyzed on the basis of real measurements made on three different vehicles. Based on the measurements, computational models describing the real system at different levels of complexity were created. Matlab/Simulink was used to create and calculate the models. The output of the thesis is the simulator of a car boot door which also includes simplified model of a control unit. The simulator should provide an approximation of current and kinematic quantities of these mechanisms. The model is implemented on dSPACE platform that allows real-time simulations. The simulator can be modified in terms of changing the parameters of the mechanism and modifying some of its results.

This thesis deals with the identification and regulation of the "Ball & Plate" model. The thesis contains a description of the existing real model and the relevant mathematical and simulation model. The root hodograph method and the state space method are used to calculate the controller, especially the feedback controller with integrator. The final part of the work is devoted to the 3D model construction using Simulink and SimScape, which describes and visualizes the behavior of the real model and enables simulation experiments to be performed quickly and easily.