Modelagem e controle de um microveículo aéreo: uma aplicação de estabilidade robusta com a técnica backstepping em uma estrutura hexarrotor

In this Thesis, the development of the dynamic model of multirotor unmanned aerial vehicle with vertical takeoff and landing characteristics, considering input nonlinearities and a full state robust backstepping controller are presented. The dynamic model is expressed using the Newton-Euler laws, aiming to obtain a better mathematical representation of the mechanical system for system analysis and control design, not only when it is hovering, but also when it is taking-off, or landing, or flying to perform a task. The input nonlinearities are the deadzone and saturation, where the gravitational effect and the inherent physical constrains of the rotors are related and addressed. The experimental multirotor aerial vehicle is equipped with an inertial measurement unit and a sonar sensor, which appropriately provides measurements of attitude and altitude. A real-time attitude estimation scheme based on the extended Kalman filter using quaternions was developed. Then, for robustness analysis, sensors were modeled as the ideal value with addition of an unknown bias and unknown white noise. The bounded robust attitude/altitude controller were derived based on globally uniformly practically asymptotically stable for real systems, that remains globally uniformly asymptotically stable if and only if their solutions are globally uniformly bounded, dealing with convergence and stability into a ball of the state space with non-null radius, under some assumptions. The Lyapunov analysis technique was used to prove the stability of the closed-loop system, compute bounds on control gains and guaranteeing desired bounds on attitude dynamics tracking errors in the presence of measurement disturbances. The controller laws were tested in numerical simulations and in an experimental hexarotor, developed at the UFRN Robotics Laboratory

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Desenvolvimento de um sistema de planejamento, gestão de serviços e controle de custos em obras de construção civil

The increasing competitiveness of the construction industry, set in an economic environment in which the offer is now greater than the demand , causes the prices of many products and services, are strongly influenced by the processes of production and the final consumer. Thus, to become more competitive in the market and construction companies are seeking new alternatives to reduce and control costs, production processes and tools that allow for close monitoring of the construction schedule, with the consequent compliance deadline with the client. Based on this scenario, the creation of control tools, service management and planning work emerges as an investment opportunity and an area that can promote great benefits to construction companies. The goal of this work is to present a system of planning, service management and costs control that through worksheets provide information relating to the production phase of the work, allowing the visualization of possible irregularities in the planning and cost of the enterprise, enabling the company to take steps to achieve the goals of the enterprise in question, and correct them when necessary. The developed system has been used in a piece of real estate in Rio Grande do Norte, and the results showed that its use together allowed the construction company to accompany their results and take corrective and preventive actions during the production process, efficiently and effective

Automação de um sistema rotatório para secagem do rejeito de maracujá

The rotary dryer is one of the most used equipments in processing industries. Its automatic control mode of operation is important specially to keep the moisture content of the final product in the desired value. The classical control strategies, like PID (proportional integral derivative) control, are largely used in the industrial sector because of its robustness and because they are easy to be implemented. In this work, a data acquisition system was implemented for monitoring the most relevant process variables, like: both inlet and outlet drying air temperature, dryer rotation, outlet air speed and humidity, and mass of the final product. Openloop tests were realized to identify a mathematical model able to represent the drying process for the rotary system. From this model, a PID controller was tuned using a direct synthesis method, assuming a first order trajectory. The PID controller was implemented in the system in order to control the inlet drying air temperature. By the end, closedloop tests (operating in automatic mode) were realized to observe the controller performance, and, after setting the best tune, experiments were realized using passion fruit seeds as raw material. The experiments realized in closedloop showed a satisfactory performance by the implemented control strategy for the drying air temperature of the rotary system

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases