Verificación difusa en línea de sistemas de tiempo real y análisis de su incertidumbre
Tesis doctoral de Joaquin Perez Marquez Esta tesis presenta el leguaje de especificación ftl-cfree, que extiende la lógica temporal con […]
Tesis doctoral de José Luis Martin Gonzalez
Información academica José Luis Martin Gonzalez. Tesis donde José Luis Martin Gonzalez ha sido autor, director o parte del tribunal.
Monitorización de la interacción humana mediante tecnología bluetooth
Tesis doctoral de José María Cabero Lopez La caracterización del comportamiento humano mediante el análisis de la actividad delas personas
Control de tramas para alta disponibilidad por redundancia en redes de automatización industrial sobre ethernet con prp y hsr
Tesis doctoral de José Angel Araujo Parra Las redes de comunicaciones y en particular las redes ethernet se han abierto
Estimating the resilience against single event upsets in applications implemented on sram based fpgas
Tesis doctoral de Uli Kretzschmar — This thesis addresses the utilization of custom off the shelf sram based fpgas in
Optimización de la extracción de energia en un aerogenerador de pequeña potencia
Tesis doctoral de Iñigo Kortabarria Iparragirre La tecnología minieólica está constituida por aerogeneradores de potencias inferiores a 100 kw. Aunque
Methodology to evaluate offshore wind power plant electric topologies
Tesis doctoral de Ander Madariaga Alvarez Esta tesis presenta una nueva metodología para realizar estudios tecno-económicos de topologías eléctricas para
Implementación de funciones elementales en dispositivos fpga
Tesis doctoral de Roberto Gutierrez Mazon En esta tesis doctoral se han diseñado arquitecturas hardware de algunos subsistemas digitales característicos
Implentación de un control digital de potencia activa y reactiva para inversores. aplicación a sistemas fotovoltáicos conectados a red
Tesis doctoral de Linda Hassaine Esta tesis se centra en los sistemas fotovoltaicos conectados a la red eléctrica. El objetivo
Sintesis eficiente de sistemas dinámicos no lineales multidimensionales
Tesis doctoral de Pablo Echevarria Fernandez El trabajo estudia la implementación digital sobre dispositivos programables (fpga) de sistemas dinámicos de
Técnicas de verificación funcional de sistemas digitales
Tesis doctoral de Iñigo Ugarte Olano En la tesis se desarrollan varias técnicas de verificación de sistemas digitales a nivel