Tesis sobre el tema "Embedded model control"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 35 mejores tesis para su investigación sobre el tema "Embedded model control".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
MOLANO, JIMENEZ ANDRES GUILLERMO. "Embedded Model Control For Mars Terminal Descent Phase". Doctoral thesis, Politecnico di Torino, 2011. http://hdl.handle.net/11583/2501690.
Texto completoGuiggiani, Alberto. "Embedded model predictive control: finite precision arithmetic and aerospace applications". Thesis, IMT Alti Studi Lucca, 2015. http://e-theses.imtlucca.it/168/1/thesis_GUIGGIANI.pdf.
Texto completoCIMINI, Gionata. "Complexity certification and efficient implementation of model predictive control for embedded applications". Doctoral thesis, Università Politecnica delle Marche, 2017. http://hdl.handle.net/11566/245310.
Texto completoDue to the fast sampling frequency and the scarce computational resources, the complexity certification of optimization algorithms plays a key role in determining the success of embedded Model Predictive Control (MPC). This thesis proposes a certification algorithm for dual active-set methods, able to compute exactly the worst-case number of iterations and the amount of time needed to solve a parametric Quadratic Programming (QP) problem, like those that arise in linear MPC. Therefore, given an MPC problem and a computational unit, it can be certified if the optimization problem will be always solved in the prescribed amount of time. The lack of a complexity certification is a threat for accelerating methods as well, as speeding up the worst-case time is much more important than improving the average case in embedded MPC. The thesis presents two novel accelerating methodologies, for which the worst-case improvement can be exactly certified. The first is a semi-explicit MPC, combining an online solver with the multiparametric solution of those polyhedral regions that most affect the worst-case time. The second method consists of an alternative selection for violated constraints in dual active-set solvers, which lowers the worst-case number of iterations and the complexity of the single iteration. Finally, embedded MPC for electrical drives and power converters is experimentally investigated. MPC for the torque control of a brushless motor is demonstrated to be feasible on a cheap control board, and even faster than the corresponding multiparametric solution. Embedded MPC for pre-compensated DC-DC converters is developed, in order to overcome the obstacle of a non-modifiable primal controller, very common in power converters. The issue of estimating the state for multiple DC-DC converters on the same power supply is also addressed, by presenting a unified nonlinear robust observer for six different converter topologies.
Mancino, Francesco. "An embedded model predictive controller for optimal truck driving". Thesis, KTH, Reglerteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-205649.
Texto completoEn algoritm för hastighetsstyrning baserad på modell-prediktiv reglering har utvecklats och testats på befintlig styrsystem i ett Scania lastbil. Genom att använda en enkel modell av fordonet och kunskap om lutningen på vägen framför den kunde man sänka bränsleförbrukningen med nästan 1% i vissa sträckor, jämfört med en regelbaserad farthållare. Problemet är formulerat som en optimerings-problem där bränsleförbrukning och total restid måste minimeras. För att hitta den optimala lösningen användes dynamisk programmering och hela koden är skriven så att den kan exekveras på en Scania styrenehet. Koden är kan köras parallellt med den mjukvara som är installerad på styrenheten. Simuleringar utfördes i en miljö utvecklad i Simulink. Två test-körningar på E4 motorvägen utfördes.
Aksønov, Sergei. "Embedded Control of a Wind Turbine Based on Model Driven Development". Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for teknisk kybernetikk, 2012. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-19213.
Texto completoLOTUFO, MAURICIO ALEJANDRO. "Embedded Model Control for UAVs: theoretical aspects, simulations and experimental results". Doctoral thesis, Politecnico di Torino, 2017. http://hdl.handle.net/11583/2687427.
Texto completoBrugnolli, Mateus Mussi. "Predictive adaptive cruise control in an embedded environment". Universidade de São Paulo, 2018. http://www.teses.usp.br/teses/disponiveis/3/3139/tde-24092018-151311/.
Texto completoA inclusão de sistemas avançados para assistência de direção (ADAS) tem beneficiado o conforto e segurança através da aplicação de diversas teorias de controle. Um destes sistemas é o Sistema de Controle de Cruzeiro Adaptativo. Neste trabalho, é usado uma distribuição de duas malhas de controle para uma implementação embarcada em um carro de um Controle de Cruzeiro Adaptativo. O modelo do veículo foi estimado usando a teoria de identificação de sistemas. O controle da malha externa utiliza dados de um radar para calcular uma velocidade de cruzeiro apropriada, enquanto o controle da malha interna busca o acionamento do veículo para atingir a velocidade de cruzeiro com um desempenho desejado. Para a malha interna, é utilizado duas abordagens do controle preditivo baseado em modelo: um controle com horizonte de predição finito, e um controle com horizonte de predição infinito, conhecido como IHMPC. Ambos controladores foram embarcados em um microcontrolador capaz de comunicar diretamente com a unidade eletrônica do veículo. Este trabalho valida estes controladores através de simulações com sistemas variantes e experimentos práticos com o auxílio de um dinamômetro. Ambos controladores preditivos apresentaram desempenho satisfatório, fornecendo segurança para os passageiros.
Júnior, José Genario de Oliveira. "Model predictive control applied to A 2-DOF helicopter". Universidade de São Paulo, 2018. http://www.teses.usp.br/teses/disponiveis/3/3139/tde-11042018-082532/.
Texto completoEste trabalho apresenta uma aplicação de controle preditivo embarcado em um helicóptero de bancada com dois graus de liberdade. A modelagem matemática é apresentada, junto com uma análise do modelo linear obtido. São obtidas duas representações de modelos de espaço de estados considerando a entrada incremental, que serão usadas posteriormente para a formulação do controlador. Então, é definida a técnica de controle utilizada, juntamente com a inclusão das restrições físicas da planta na formulação do problema. Após isto, é feita uma discussão sobre qual solver para a programação quadrática utilizar, junto com algumas alternativas ao solver escolhido, bem como algumas considerações sobre a aplicação embarcada. Finalmente, são apresentados os resultados da identificação de sistemas aplicadas ao protótipo, bem como os resultados experimentais obtidos.
Chen, Dejiu. "Systems Modeling and Modularity Assessment for Embedded Computer Control Applications". Doctoral thesis, KTH, Maskinkonstruktion, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3792.
Texto completoQC 20100524
Menendez, Zometa Juan Pablo [Verfasser]. "Code generation for model predictive control of embedded systems / Juan Pablo Menendez Zometa". Magdeburg : Universitätsbibliothek, 2017. http://d-nb.info/1136955097/34.
Texto completoArantes, Gilz Paulo Ricardo. "Embedded and validated control algorithms for the spacecraft rendezvous". Thesis, Toulouse 3, 2018. http://www.theses.fr/2018TOU30155/document.
Texto completoAutonomy is one of the major concerns during the planning of a space mission, whether its objective is scientific (interplanetary exploration, observations, etc.) or commercial (service in orbit). For space rendezvous, this autonomy depends on the on-board capacity of controlling the relative movement between two spacecraft. In the context of satellite servicing (troubleshooting, propellant refueling, orbit correction, end-of-life deorbit, etc.), the feasibility of such missions is also strongly linked to the ability of the guidance and control algorithms to account for all operational constraints (for example, thruster saturation or restrictions on the relative positioning between the vehicles) while maximizing the life of the vehicle (minimizing propellant consumption). The literature shows that this problem has been intensively studied since the early 2000s. However, the proposed algorithms are not entirely satisfactory. Some approaches, for example, degrade the constraints in order to be able to base the control algorithm on an efficient optimization problem. Other methods accounting for the whole set of constraints of the problem are too cumbersome to be embedded on real computers existing in the spaceships. The main object of this thesis is the development of new efficient and validated algorithms for the impulsive guidance and control of spacecraft in the context of the so-called "hovering" phases of the orbital rendezvous, i.e. the stages in which a secondary vessel must maintain its position within a bounded area of space relatively to another main vessel. The first contribution presented in this manuscript uses a new mathematical formulation of the space constraints for the relative motion between spacecraft for the design of control algorithms with more efficient computational processing compared to traditional approaches. The second and main contribution is a predictive control strategy that has been formally demonstrated to ensure the convergence of relative trajectories towards the "hovering" zone, even in the presence of disturbances or saturation of the actuators.[...]
Noxon, Nikola John Linn. "A MODEL PREDICTIVE CONTROL APPROACH TO ROLL STABILITY OF A SCALED CRASH AVOIDANCE VEHICLE". DigitalCommons@CalPoly, 2012. https://digitalcommons.calpoly.edu/theses/783.
Texto completoBerner, Patrik Simon [Verfasser], Martin [Gutachter] Mönnigmann y Rolf [Gutachter] Findeisen. "An event-triggered networked model predictive control approach for lean embedded hardware / Patrik Simon Berner ; Gutachter: Martin Mönnigmann, Rolf Findeisen ; Fakultät für Maschinenbau". Bochum : Ruhr-Universität Bochum, 2019. http://d-nb.info/1202608833/34.
Texto completoAzevedo, Diego Sousa de. "Otimização do código do sistema de navegação e controle de robôs móveis baseado em NMPC para embarcar em arquiteturas de baixo custo". Universidade Federal da Paraíba, 2015. http://tede.biblioteca.ufpb.br:8080/handle/tede/7853.
Texto completoMade available in DSpace on 2016-02-16T13:26:42Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 3970645 bytes, checksum: d514b848324ac20a549db632034383d7 (MD5) Previous issue date: 2015-10-10
The purpose of this study is to adapt and embed a navigation system and control of mobile robots, based on NMPC, in a low-cost board existent on the market, to provide sufficient com-putational resources so that the robot is able to converge, without losing performance, using the same horizons applied in a Laptop. The obtained results demonstrate the proposed scenario according with the experiments, proving that it is possible to use low cost boards, to a navigation system and control of mobile robots, based on NMPC, using the same predictive and control horizons applied in a Laptop.
A proposta desse trabalho é adaptar e embarcar um sistema de navegação e controle de robôs móveis, baseado em NMPC, em uma placa de baixo custo já existente no mercado, que dispo-nibilize recursos computacionais suficientes para que o Robô seja capaz de convergir, sem perda de desempenho e utilizando os mesmos horizontes aplicados em um Laptop. Os Resulta-dos obtidos demonstram todo o cenário proposto e de acordo com os experimentos realizados, comprovou-se que é possível o uso de placas de baixo custo, para controle de robôs móveis, baseado em NMPC, utilizando os mesmos horizontes de predição e controle aplicados em uma Laptop.
Oliveira, Matheus Canuto. "Análise e implementação de um sistema de controle para regulação das taxas de glicose em um modelo de paciente com Diabetes tipo 1". Pós-Graduação em Engenharia Elétrica, 2018. http://ri.ufs.br/jspui/handle/riufs/7523.
Texto completoA necessidade de ter mecanismos e tecnologias para o controle dos níveis de glicose no sangue é essencial para pessoas que possuem diabetes de qualquer tipo, visto que esta é uma doença que ainda não possui cura e é um dos principais fatores de riscos para doenças cardiovasculares, como infarto, AVC, complicações renais e etc. O número de pessoas diabéticas no mundo e no Brasil é alarmante, além disso, tem-se que os brasileiros ocupam o quarto lugar no ranking mundial de acordo com o último levantamento no ano de 2015 feito pela International Diabetes Federation (IDF). Vários estudos têm sido realizados no intuito de obter o melhor controle da glicemia de pessoas com diabetes, uma das formas de controle que está sendo pesquisada atualmente é o desenvolvimento de um pâncreas artificial. Através da união de três sistemas, sendo estes: o de monitoramento da glicemia, o de algoritmo de controle e o de atuador através de bomba de infusão de insulina, é possível que sejam obtidos resultados eficientes no controle da glicemia como já têm mostrado alguns estudos. Este trabalho consiste em desenvolver um protótipo de um sistema de controle embarcado, Hardware in Loop (HIL), baseado no microcontrolador nano Arduino, de baixo custo e de baixo consumo de energia que possa controlar o nível de glicose no sangue de um modelo de um paciente com diabetes tipo 1, considerando algumas perturbações e ruídos, utilizando o filtro de Kalman como estimador. Os resultados obtidos com a implementação do controlador são analisados buscando a obtenção de um melhor desempenho.
São Cristóvão, SE
Yu, Ping. "Direct Online/Offline Digital Signature Schemes". Thesis, University of North Texas, 2008. https://digital.library.unt.edu/ark:/67531/metadc9717/.
Texto completoMurali, madhavan rathai Karthik. "Synthesis and real-time implementation of parameterized NMPC schemes for automotive semi-active suspension systems". Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALT052.
Texto completoThis thesis discusses the synthesis and real-time (RT) implementation of parameterized Nonlinear Model Predictive Control (pNMPC) schemes for automotive semi-active suspension systems. The pNMPC scheme uses a black-box simulation-based optimization method. The crux of the method is to finitely parameterize the input profile and simulate the system for each parameterized input and obtain the approximate objective and constraint violation value for the pNMPC problem. With the obtained results from the simulation, the input with minimum objective value or the least constraint violation value is selected and injected into the system and this is repeated in a receding horizon fashion. The method was experimentally validated on dSPACE MicroAutoBoX II (MABXII) and the results display good performance of the proposed approach. The pNMPC method was also augmented to parallelized pNMPC and the proposed method was implemented for control of semi-active suspension system for a half car vehicle. This method was implemented by virtue of Graphic Processing Units (GPUs) which serves as a paragon platform for implementation of parallel algorithms through its multi-core processors. Also, a stochastic version of the parallelized pNMPC method is proposed which is termed as Scenario-Stochastic pNMPC (SS-pNMPC) scheme and the method was implemented and tested on several NVIDIA embedded boards to verify and validate the RT feasibility of the proposed method for control of semi-active suspension system for a half car vehicle. In general, the parallelized pNMPC schemes provide good performance and also, fares well for large input parameterization space. Finally, the thesis proposes a software tool termed “pNMPC – A code generation software tool for implementation of derivative free pNMPC scheme for embedded control systems”. The code generation software (S/W) tool was programmed in C/C++ and also, provides interface to MATLAB/Simulink. The S/W tested for variety of examples both in simulation as well as on RT embedded hardware (MABXII) and the results looks promising and viable for RT implementation for real world applications. The code generation S/W tool also includes GPU code generation feature for parallel implementation. To conclude, the thesis was conducted under the purview of the EMPHYSIS project and the goals of the project align with this thesis and the proposed pNMPC methods are amenable with eFMI standard
Gustavson, Nathan Zadok. "MODELING AND EMBEDDED CONTROL OF AN INFRARED ELECTROMAGNETIC SUSPENSION SYSTEM". OpenSIUC, 2011. https://opensiuc.lib.siu.edu/theses/736.
Texto completoSilva, Hilgad Montelo da. "Simulação com hardware in the loop aplicada a veículos submarinos semi-autônomos". Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/3/3152/tde-09022009-164239/.
Texto completoUnmanned 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.
Samii, Soheil. "Quality-Driven Synthesis and Optimization of Embedded Control Systems". Doctoral thesis, Linköpings universitet, Institutionen för datavetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-68641.
Texto completoHajjar, Salam. "Conception sûre de systèmes embarqués à base de COTS". Phd thesis, INSA de Lyon, 2013. http://tel.archives-ouvertes.fr/tel-00952827.
Texto completoKhalgui, Mohamed. "Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants". Thesis, Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL009N/document.
Texto completoThis thesis deals with the temporal validation and the deployment of component-based industrial control applications. We are interested in the Function Blocks approach, defined in the IEC 61499 standard, as a well known component based technology in the industry. A Function Block is an event triggered component owning data to support the application functionalities. The advantage of this technology is the taking into account of the application and also its execution support. The first thesis contribution deals with the interpretation of the different concepts defined in the standard. In particular, we propose a policy defining a deterministic behavior of a FB. To apply an exhaustive temporal validation of the application, we propose a behavioral model of a Block as Timed Automata. On the other hand, we propose a semantic for the concept of FBs networks to develop industrial control applications. The second thesis contribution deals with the deployment of FBs networks in a distributed multi-tasking architecture. Such deployment has to respect classical End to End Response Time Bounds as temporal constraints. To validate the temporal behavior of an application, we propose an approach transforming its blocks into an actions system with precedence constraints. The purpose is to exploit previous theories on the scheduling of real-time systems. To deploy FBs networks in feasible OS tasks, we propose a Hybrid scheduling approach combining an off-line non-preemptive scheduling and an on-line preemptive one. The off-line scheduling allows to construct OS tasks from FBs, whereas the on-line one allows to schedule these tasks according to the classical EDF policy. A constructed OS task is an actions sequence defining an execution scenario of the application. Thanks to this approach, we reduce the context switching at run-time by merging application actions in OS tasks. In addition, the system feasibility is increased by applying an on-line preemptive policy. Finally, the last thesis contribution is an extension of the previous one. We propose an approach allocating FBs networks in a distributed architecture. Based on a heuristic, such approach uses the hybrid method to construct feasible OS tasks in calculators. The allocation problem of a particular application FB is to look for a corresponding calculator while respecting functional, temporal and execution support constraints. We note that the proposed heuristic is based on a back-tracking technic to increase the solutions space
Pirro, Matteo. "Embedded Control Systems for Performances Improvement and Energy Efficiency of Electrical Drives and Power Converters". Doctoral thesis, Università Politecnica delle Marche, 2015. http://hdl.handle.net/11566/243081.
Texto completoThe global demand for electrical energy is growing continuously, at double the growth rate of primary energy consumption. Efficient energy use, sometimes simply called energy efficiency, is the goal to reduce the amount of energy required to provide products and services. A clear transition to more electric energy systems is mandatory as energy efficiency from primary fuel to the enduser and the integration of renewables are the future key challenges. Power electronics will play a key role in this paradigm shift to more renewable electrical energy and higher energy efficiency in multiple applications. In electrical energy generation a major shift to renewables as sources of future electrical energy will happen. In the field of Power Electronics four topics must be taken into account talking about energy efficiency: electrical motors, power converters, LED lighting and HVDC. In this thesis a detailed discussion on the modelling of the most known power converters has been made and some more accurate models have been proposed to better represent the behaviour of particular topologies or working modes. Passivity-Based controllers for power factor control have been proposed and argued; they resulted particularly suited in the motor control and in the LED lighting applicative fields. A global tracking passivity–based PI controller for bilinear systems has been proposed: an example application has been presented in the field of HVDC control. Furthermore, a sliding-mode robust to load variations controller for output voltage regulation in DC--DC converters has been presented. Finally inductor current observers for the boost topology has been illustrated with the aim of making superfluous the use of expensive sensors in this topology. Each proposed algorithm has been numerically tested and many of them has been experimentally verified on embedded platforms and their performances evaluated. Experimental tests have been done in the Laboratory of Advanced Robotics of DII at Università Politecnica delle Marche, Ancona, in the Laboratory of Energy Department at Supélec, Paris and in the Laboratoire de Signaux et Systémes at Supélec, Paris.
Maurer, Simon. "Analysis and coordination of mixed-criticality cyber-physical systems". Thesis, University of Hertfordshire, 2018. http://hdl.handle.net/2299/21094.
Texto completoMikulcak, Marcus [Verfasser], Sabine [Akademischer Betreuer] Glesner, Sabine [Gutachter] Glesner, Christian [Gutachter] Hammer y Frank [Gutachter] Slomka. "Information flow analysis of discrete embedded control system models / Marcus Mikulcak ; Gutachter: Sabine Glesner, Christian Hammer, Frank Slomka ; Betreuer: Sabine Glesner". Berlin : Technische Universität Berlin, 2020. http://d-nb.info/1212927907/34.
Texto completoTuzov, Ilya. "Dependability-driven Strategies to Improve the Design and Verification of Safety-Critical HDL-based Embedded Systems". Doctoral thesis, Universitat Politècnica de València, 2021. http://hdl.handle.net/10251/159883.
Texto completo[CA] La utilització de sistemes encastats en cada vegada més àmbits d'aplicació està portant al fet que el seu disseny haja d'enfrontar-se a majors requisits de rendiment, consum d'energia i àrea (PPA). Així mateix, la seua utilització en aplicacions crítiques provoca que hagen de complir amb estrictes requisits de confiabilitat per a garantir el seu correcte funcionament durant períodes prolongats de temps. En particular, l'ús de dispositius lògics programables de tipus FPGA és un gran desafiament des de la perspectiva de la confiabilitat, ja que aquests dispositius són molt sensibles a la radiació. Per tot això, la confiabilitat ha de considerar-se com un dels criteris principals per a la presa de decisions al llarg del tot flux de disseny, que ha de complementar-se amb diversos processos que permeten aconseguir estrictes requisits de confiabilitat. Primer, l'avaluació de la robustesa del disseny permet identificar els seus punts febles, guiant així la definició de mecanismes de tolerància a fallades. Segon, l'eficàcia dels mecanismes definits ha de validar-se experimentalment. Tercer, l'avaluació comparativa de la confiabilitat permet als dissenyadors seleccionar els components predissenyats (IP), les tecnologies d'implementació i les eines de disseny (EDA) més adequades des de la perspectiva de la confiabilitat. Finalment, l'exploració de l'espai de disseny (DSE) permet configurar de manera òptima els components i les eines seleccionats, millorant així la confiabilitat i les mètriques PPA de la implementació resultant. Tots els processos anteriorment esmentats es basen en tècniques d'injecció de fallades per a poder avaluar la robustesa del sistema dissenyat. A pesar que existeix una àmplia varietat de tècniques d'injecció de fallades, diverses problemes encara han d'abordar-se per a cobrir les necessitats plantejades en el flux de disseny. Aquelles solucions basades en simulació (SBFI) han d'adaptar-se als models de nivell d'implementació, tenint en compte l'arquitectura dels diversos components de la tecnologia utilitzada. Les tècniques d'injecció de fallades basades en FPGAs (FFI) han d'abordar problemes relacionats amb la granularitat de l'anàlisi per a poder localitzar els punts febles del disseny. Un altre desafiament és la reducció del cost temporal dels experiments d'injecció de fallades. A causa de l'alta complexitat dels dissenys actuals, el temps experimental dedicat a l'avaluació de la confiabilitat pot ser excessiu fins i tot en aquells escenaris més simples, mentre que pot ser inviable en aquells processos relacionats amb l'avaluació de múltiples configuracions alternatives del disseny. Finalment, aquests processos orientats a la confiabilitat manquen d'un suport instrumental que permeta cobrir el flux de disseny amb tota la seua varietat de llenguatges de descripció de maquinari, tecnologies d'implementació i eines de disseny. Aquesta tesi aborda els reptes anteriorment esmentats amb la finalitat d'integrar, de manera eficaç, aquests processos orientats a la confiabilitat en el flux de disseny. Primerament, es proposen nous mètodes d'injecció de fallades que permeten una avaluació de la confiabilitat, precisa i detallada, en diferents nivells del flux de disseny. Segon, es defineixen noves tècniques per a l'acceleració dels experiments d'injecció que milloren el seu cost temporal. Tercer, es defineix dues estratègies DSE que permeten configurar de manera òptima (des de la perspectiva de la confiabilitat) els components IP i les eines EDA, amb un cost experimental mínim. Quart, es proposa un kit d'eines (DAVOS) que automatitza i incorpora amb eficàcia els processos orientats a la confiabilitat en el flux de disseny semicustom. Finalment, es demostra la utilitat i eficàcia de les propostes mitjançant un cas d'estudi en el qual s'implementen tres processadors encastats en un FPGA de Xilinx serie 7.
[EN] Embedded systems are steadily extending their application areas, dealing with increasing requirements in performance, power consumption, and area (PPA). Whenever embedded systems are used in safety-critical applications, they must also meet rigorous dependability requirements to guarantee their correct operation during an extended period of time. Meeting these requirements is especially challenging for those systems that are based on Field Programmable Gate Arrays (FPGAs), since they are very susceptible to Single Event Upsets. This leads to increased dependability threats, especially in harsh environments. In such a way, dependability should be considered as one of the primary criteria for decision making throughout the whole design flow, which should be complemented by several dependability-driven processes. First, dependability assessment quantifies the robustness of hardware designs against faults and identifies their weak points. Second, dependability-driven verification ensures the correctness and efficiency of fault mitigation mechanisms. Third, dependability benchmarking allows designers to select (from a dependability perspective) the most suitable IP cores, implementation technologies, and electronic design automation (EDA) tools. Finally, dependability-aware design space exploration (DSE) allows to optimally configure the selected IP cores and EDA tools to improve as much as possible the dependability and PPA features of resulting implementations. The aforementioned processes rely on fault injection testing to quantify the robustness of the designed systems. Despite nowadays there exists a wide variety of fault injection solutions, several important problems still should be addressed to better cover the needs of a dependability-driven design flow. In particular, simulation-based fault injection (SBFI) should be adapted to implementation-level HDL models to take into account the architecture of diverse logic primitives, while keeping the injection procedures generic and low-intrusive. Likewise, the granularity of FPGA-based fault injection (FFI) should be refined to the enable accurate identification of weak points in FPGA-based designs. Another important challenge, that dependability-driven processes face in practice, is the reduction of SBFI and FFI experimental effort. The high complexity of modern designs raises the experimental effort beyond the available time budgets, even in simple dependability assessment scenarios, and it becomes prohibitive in presence of alternative design configurations. Finally, dependability-driven processes lack an instrumental support covering the semicustom design flow in all its variety of description languages, implementation technologies, and EDA tools. Existing fault injection tools only partially cover the individual stages of the design flow, being usually specific to a particular design representation level and implementation technology. This work addresses the aforementioned challenges by efficiently integrating dependability-driven processes into the design flow. First, it proposes new SBFI and FFI approaches that enable an accurate and detailed dependability assessment at different levels of the design flow. Second, it improves the performance of dependability-driven processes by defining new techniques for accelerating SBFI and FFI experiments. Third, it defines two DSE strategies that enable the optimal dependability-aware tuning of IP cores and EDA tools, while reducing as much as possible the robustness evaluation effort. Fourth, it proposes a new toolkit (DAVOS) that automates and seamlessly integrates the aforementioned dependability-driven processes into the semicustom design flow. Finally, it illustrates the usefulness and efficiency of these proposals through a case study consisting of three soft-core embedded processors implemented on a Xilinx 7-series SoC FPGA.
Tuzov, I. (2020). Dependability-driven Strategies to Improve the Design and Verification of Safety-Critical HDL-based Embedded Systems [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/159883
TESIS
MOREIRA, Anne Lorayne Gerônimo Silva Augusto. "Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução". Universidade Federal de Campina Grande, 2016. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/768.
Texto completoMade available in DSpace on 2018-05-22T14:55:43Z (GMT). No. of bitstreams: 1 ANNE LORAYNE GERÕNIMO SILVA AUGUSTO MOREIRA - DISSERTAÇÃO (PPGCC) 2016.pdf: 843001 bytes, checksum: 3c03d468b4f80d420da1bad90adf7ca0 (MD5) Previous issue date: 2016
Capes
O desenvolvimento de sistemas embarcados possibilitou uma forte expansão no número de aplicações dependentes de dispositivos programáveis em áreas tão distintas como automobilística, sistemas financeiros e sistemas médicos. Uma eventual falha em algum desses sistemas pode provocar diferentes graus de danos e prejuízos e, por isso, exige-se um alto grau de confiabilidade em seu funcionamento. O aumento da complexidade dos novos sistemas computacionais e a pressão econômica e busca de novos mercados, concorrem para a busca da redução nos prazos de entrega dos dispositivos programáveis e de seus softwares e sistemas embarcados. Este trabalho apresenta um estudo de caso para a utilização de um método de verificação formal de software aplicado a um sistema computacional de controle de fluxo adaptativo para Gateways Bluetooth Low-Energy utilizados em sistemas de monitoramento remoto de pacientes. Os resultados obtidos neste trabalho confirmam a viabilidade da aplicação do método na verificação formal do software proposto.
The embedded system development had a positive impact on the expansion of applications dependent on programmable devices inside many areas such as automotive industry, financial services, and medical systems. A failure in any of these systems can cause losses and damages on many levels. Therefore, embedded systems require a high level of reliability while operating. The increasing complexity of these new computational systems, the cost-effective pressure, and the new market demand, contribute to reduce the delivery deadlines of the programmable devices, their softwares, and embedded systems. This research presents a case study in which we evaluated the usage of a formal verification method applied to a computational controlling system, with adaptive flow, for Gateway Bluetooth Low Energy used in patient monitoring systems. The results obtained in this study confirm the application feasibility of the formal verification method of the proposed software.
Jajtner, Jan. "Návrh vestavěného systému pro řízení výukového modelu rotačního kyvadla". Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2015. http://www.nusl.cz/ntk/nusl-232046.
Texto completoTaylor, Charles. "MODERNIZATION OF THE MOCK CIRCULATORY LOOP: ADVANCED PHYSICAL MODELING, HIGH PERFORMANCE HARDWARE, AND INCORPORATION OF ANATOMICAL MODELS". VCU Scholars Compass, 2013. http://scholarscompass.vcu.edu/etd/493.
Texto completoLi, Nan. "Digital control strategies for DC/DC SEPIC converters towards integration". Phd thesis, INSA de Lyon, 2012. http://tel.archives-ouvertes.fr/tel-00760064.
Texto completoTrabelsi, Chiraz. "Contrôle matériel des systèmes partiellement reconfigurables sur FPGA : de la modélisation à l'implémentation". Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2013. http://tel.archives-ouvertes.fr/tel-00852361.
Texto completoBleris, Leonidas G. "Dynamics and control of microchemical systems : From reduced-order theoretical approaches to embedded model predictive control /". Diss., 2006. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3215832.
Texto completoWang, Liying. "Modeling, control and stability analysis of VSC-HVDC links embedded in a weak multi-machine AC system". Thesis, 2013. http://hdl.handle.net/2440/83802.
Texto completoThesis (Ph.D.) -- University of Adelaide, School of Electrical and Electronic Engineering, 2013
Wong, Kai Cheung Peter. "Intelligent Distribution Voltage Control in The Presence of Intermittent Embedded Photo-Voltaic Generation". Thesis, 2017. https://vuir.vu.edu.au/34842/.
Texto completoKekana, Marino. "An improved finite element model for vibration and control simulation of smart composite structures with embedded piezoelectric sensor and actuator". Thesis, 2001. http://hdl.handle.net/10321/2091.
Texto completoThis thesis details a study conducted to investigate the dynamic stability of an existing active control model (ACFl) of a composite structure embedded with a piezoelectric sensor and actuator for the purpose of vibration measurement and control. Criteria for stability are established based on the second method of Lyapunov which considers the energy of the system. Results show that ACFl is asymptotically stable although piezoelectric control effects persist when the feedback gain is set to zero. Meanwhile, it is required that there should be no control effects occurring through the piezoelectric actuator when the gain is set to zero. In this study, a new active control model (ACF2) is developed to satisfy the stability criteria, which satisfies the requirement of no piezoelectric control effects when the gain is set to zero. In ACF2 - as well as ACFl - the displacement and potential fields are discretised using the finite element method. In light of the locking phenomena associated with discrete displacements - which is expected to be pronounced in the case of discrete potentials due to their element geometry, ACF2-mixed is developed. ACF2 and ACF2-mixed control methodologies are similar except that in ACF2 both the displacement and potential field are discretised whereas in ACF2-mixed, only the displacement field is discretised and the potential field is continuous. Consequent to ACF2 and ACF2-mixed, stability analysis of the resulting time integration scheme is investigated as well. The results show that the damping forces due to the piezoelectric effect do not add energy to the structure. Hence, asymptotic stability is achieved. The time integration scheme yielded a small error, consistent with the literature. Numerical results revealed that ACFl exhibits a high degree of locking which is relaxed in ACF2 whereas ACF2-mixed exhibits envisaged results when compared with the other two models. Therefore, the ACF2 and ACF2-mixed will provide engineers with an alternative simulation model to solve actively controlled vibration problems hitherto.
D