Visualitzation and processing of diffusion tensor MRI

Diffusion Tensor Imaging (DTI) is a new magnetic resonance imaging modality capable of producing quantitative maps of microscopic natural displacements of water molecules that occur in brain tissues as part of the physical diffusion process. This technique has become a powerful tool in the investigation of brain structure and function because it allows for in vivo measurements of white matter fiber orientation. The application of DTI in clinical practice requires specialized processing and visualization techniques to extract and represent acquired information in a comprehensible manner. Tracking techniques are used to infer patterns of continuity in the brain by following in a step-wise mode the path of a set of particles dropped into a vector field. In this way, white matter fiber maps can be obtained.

Antecedentes de la lealtad en los entornos on line y off line: un análisis empírico aplicado al sector de la aviación civil

El objetivo de esta investigación es analizar la lealtad de los usuarios de líneas aéreas tanto en el entorno online como en el entorno offline. La revisión bibliográfica ha identificado tres antecedentes: la satisfacción, la confianza y el valor percibido. Se ha llevado a cabo un estudio empírico realizándose un total de 1710 entrevistas personales en el aeropuerto del Prat (Barcelona) a usuarios de dos compañías aéreas tradicionales, Iberia y British Airways, y a una compañía low cost, Easyjet. Se trata de las tres compañías que operan con vuelos directos Barcelona-Londres. En el análisis de los datos se han utilizado modelos de ecuaciones estructurales y en particular la técnica utilizada fue el análisis factorial confirmatorio. Los resultados revelan que tanto la satisfacción, como la confianza y el valor percibido explican las relaciones de lealtad entre los pasajeros y las compañías aéreas.

Contribució al posicionament dinàmic de robots mòbils per mitjà d'un sistema làser

Aquesta tesi tracta el problema del posicionament de robots mòbils quan, en el decurs del moviment, es realitzen mesures angulars relatives al robot de l'orientació de la recta entre un dels seus punts i punts de l'entorn de posició coneguda. Es considera que les mesures angulars són fetes per un sensor làser giratori que detecta diferents reflectors catadiòptrics fixos. La contribució principal és el desenvolupament d'un algorisme dinàmic, basat en un filtre de Kalman estès (EKF), que estima a cada instant de temps l'estat format pels angles associats als reflectors. La simulació hodomètrica dels angles entre mesures directes del sensor làser garanteix l'ús consistent i continuat dels mètodes de triangulació per a determinar la posició i l'orientació del robot. Inclou simulacions informàtiques i experiments per a validar la precisió del mètode de posicionament proposat. En l'experimentació s'utilitza un robot mòbil omnidireccional amb tres rodes de lliscament direccional de corrons esfèrics.

El estatuto jurídico de los trabajadores nacionales de terceros Estados: especial referencia al Acuerdo de Asociación con Turquía

L'objectiu de la tesi es centra en la definició, en l'àmbit de l'ordenament comunitari, de l'actual estatut jurídic dels treballadors extracomunitaris assalariats que formen part del mercat de treball regular d'un Estat membre. Els treballadors nacionals de tercers països que formen part del mercat de treball regular d'un Estat comunitari, així com els membres de les seves famílies, gaudeixen d'un estatut jurídic fragmentat: els seus drets són variables, depenen de la norma que els regula. En aquest sentit, la situació varia en funció de la llei interna de l'Estat d'acollida, l'existència o no d'acords bilaterals entre l'Estat d'acollida i l'Estat d'origen, i les normes de dret comunitari. Aquesta situació també és diferent atenent a l'existència i el contingut d'un acord extern celebrat per la Comunitat i els seus Estats membres i el país de la nacionalitat de l'immigrant, aquest aspecte centra el present estudi. Els acords que s'analitzen són aquells que juntament amb aspectes econòmics, contenen disposicions relatives als treballadors, i que s'han celebrat, prenent com a base jurídica l'actual article 310 TCE, amb països geogràficament fronterers amb la Unió Europea. D'entre ells, el model a seguir és l'Acord d'Associació amb Turquia, que preveu uns objectius més amplis, com ara la creació d'una unió duanera enfront a la zona de lliure comerç prevista en els altres acords i que s'ha desenvolupat mitjançant les decisions adoptades pel seu Consell d'Associació. Aquest acord ha estat objecte d'una àmplia jurisprudència per part del Tribunal europeu, relativa a l'aplicació i la interpretació de les seves disposicions. A fi de delimitar l'abast de les disposicions de l'Acord, i valorar si es tracta d'un estatut privilegiat respecte del dels altres treballadors extracomunitaris, es comparen les seves disposicions amb les corresponents a les dels acords celebrats amb els països del Magreb, entenent per aquests el Marroc, Tunísia i Algèria i amb els 10 països d' Europa Central i Oriental (els anomenats PECO's). A fi de clarificar l'estatut jurídic dels treballadors extracomunitaris, és necessari entrar a considerar altres aspectes directament relacionats amb aquest estatut, com són les condicions d'accés i de permanència en un Estat, matèries, que, fins a l'entrada en vigor del Tractat d'Amsterdam, eren competència exclusiva de cadascun dels Estats membres. De totes maneres, no es fa un estudi comparatiu de les diferents legislacions internes en matèria d'immigració, donat que l'àmbit d'anàlisi es limita a l'ordenament comunitari, i no a l'ordenament intern. La tesi s'estructura en dues parts diferenciades, correspon la primera als 2 Capítols inicials i la segona als altres 3. En els dos primers Capítols se segueix un criteri cronològic, començant amb el Tractat de Roma i culminant amb el Tractat de Niça. En aquests Capítols s'analitzen les possibles bases jurídiques del dret originari que podien haver-se utilitzat, així com la cooperació que varen fer els Estats membres, tant a dins com a fora, de la Unió Europea, en relació a les mesures adoptades destinades a la regulació de l'accés i de l'estatut jurídic dels treballadors immigrants. L'entrada en vigor, l'1 de maig de 1999 del Tractat d'Amsterdam ha suposat un important avenç per a l'atribució de competències a la Comunitat en matèria d'immigració, que queda vinculada al nou objectiu de la creació de l'espai de llibertat, seguretat i justícia. A partir d'aquest moment, s'assumeix la lliure circulació de persones com objectiu propi, que requereix la regulació del control a les fronteres externes, d'asil, de la immigració i de la cooperació dels Estats membres en la prevenció i la lluita contra la delinqüència. Això es concreta en la comunitarització d'una part del Tercer Pilar destinada a visats, asil i immigració, amb l'exclusió del Regne Unit, Irlanda i Dinamarca, i en la integració del cabal Schengen a l'estructura de la Unió Europea, tot i que permetent una exclusió per al Regne Unit i Irlanda. Es crea, doncs, una cooperació sui generis plena de solucions d'enginyeria jurídica, que si bé suposa un avenç, trenca la unitat i l'homogeneïtat del dret comunitari. Tot i aquestes complexitats tècniques que deriven de la reforma del Tractat d'Amsterdam, el nou article 63 en els seus apartats 3 i 4 permet abordar, a través de la coordinació o de l'harmonització, els temes d'interès comú vinculats al fenomen de la immigració. Entre ells, hi ha la possibilitat d'elaborar un estatut comú per als treballadors no comunitaris. Les iniciatives legislatives presentades des de l'entrada en vigor del Tractat d'Amsterdam demostren l'acceleració en l'elaboració i el desenvolupament d'una política comunitària d'immigració, integrada en uns objectius comuns, per primera vegada sembla realista pensar en l'adopció d'un estatut jurídic únic per l'extracomunitari que sigui resident de llarga durada. Tot i que aquest estatut pot quedar configurat com un estàndard mínim de protecció, considero que la seva adopció constituiria un pas de gran rellevància en la clarificació dels drets d'aquest col·lectiu de treballadors. Els altres tres Capítols conformen la segona part de la tesi, dedicada a analitzar l'actual estatut dels treballadors nacionals de tercers Estats. Aquest estatut es caracteritza pel seu caràcter fragmentat, que deriva de la diversitat de les disposicions contingudes en els acords externs. Mitjançant un estudi comparatiu, s'analitzen els objectius, l'estructura, els antecedents i el desenvolupament dels acords celebrats amb Turquia, amb els països del Magreb i amb els PECO's. El contingut dels objectius d'aquests acords constata que ens trobem davant 3 models diferents que reflecteixen una disminució del compromís comunitari. El Tribunal de Justícia, en la seva jurisprudència, ha manifestat que tant els acords externs celebrats per la Comunitat, com les decisions adoptades pels òrgans que els desenvolupen, formen part de l'ordenament jurídic comunitari. El Tribunal de Justícia és l'òrgan competent per interpretar-los, contribuint a clarificar el contingut d'aquests instruments jurídics. Aquesta perspectiva es completa amb l'anàlisi de les nocions que recullen els acords externs, a fi de dilucidar si un mateix terme té idèntic contingut, i si, tot i la diversitat dels instruments jurídics utilitzats, tenen una mateixa interpretació jurisprudencial. Per aquest motiu ha estat necessari, que el Tribunal de Justícia determinés l'abast dels diferents conceptes emprats, i clarifiqués si és el mateix que el relatiu als treballadors comunitaris o és diferent. La redacció dels acords estudiats reflecteix un estatut jurídic privilegiat per als treballadors turcs en relació als altres treballadors immigrants. Els treballadors originaris dels països d'Europa Central i Oriental o del Magreb, podran millorar la seva situació actual en la mesura en què les disposicions dels seus respectius acords siguin, en el futur, desenvolupades. De totes maneres, aquesta situació de privilegi que ha estat un fet fins el moment actual, ha canviat amb l'entrada en vigor de diferents lleis d'estrangeria estatals, i pot modificar-se, també, amb el desenvolupament del Tractat d'Amsterdam. Actualment, a un treballador turc li perjudica, més que no beneficia el sistema de terminis que per accedir a un lloc de treball preveu la Decisió 1/80. Els treballadors turcs que formen part del mercat regular de treball d'un Estat membre haurien de quedar protegits pel règim jurídic que els sigui més beneficiós, amb independència de que aquest sigui l'intern de l'Estat d'acollida, el comunitari previst a l'Acord d'Associació i el seu posterior desenvolupament, o el que derivi de les futures directives quan entrin en vigor. Si bé aquestes disposicions dels Acords d'Associació varen ser positives, actualment hauran de ser objecte de modificació, la qual cosa no implica la seva desaparició. El seu contingut haurà de tendir a ressaltar l'especificitat de les relacions que es volen establir amb un tercer Estat concret, establint en aquest sentit un tractament preferent als seus nacionals enfront als altres immigrants, i reconeixent el seu dret de residència com derivat del permís de treball. De tota manera, amb l'entrada en vigor de la directiva relativa a l'estatut dels residents de llarga durada, aquest règim privilegiat només afectarà als immigrants residents legals a l'Estat d'acollida durant els primers 5 anys, és a dir, abans de que se'ls concedeixi el citat estatut.

Assisted visual servoing by means of structured light

Aquesta tesi tracta sobre la combinació del control visual i la llum estructurada. El control visual clàssic assumeix que elements visuals poden ser fàcilment extrets de les imatges. Això fa que objectes d'aspecte uniforme o poc texturats no es puguin tenir en compte. En aquesta tesi proposem l'ús de la llum estructurada per dotar d'elements visuals als objectes independentment de la seva aparença. En primer lloc, es presenta un ampli estudi de la llum estructurada, el qual ens permet proposar un nou patró codificat que millora els existents. La resta de la tesi es concentra en el posicionament d'un robot dotat d'una càmara respecte diferents objectes, utilitzant la informació proveïda per la projecció de diferents patrons de llum. Dos configuracions han estat estudiades: quan el projector de llum es troba separat del robot, i quan el projector està embarcat en el robot juntament amb la càmara. Les tècniques proposades en la tesi estan avalades per un ampli estudi analític i validades per resultats experimentals.

Automatic diagnosis of voltage disturbances in power distribution networks

This thesis proposes a framework for identifying the root-cause of a voltage disturbance, as well as, its source location (upstream/downstream) from the monitoring place. The framework works with three-phase voltage and current waveforms collected in radial distribution networks without distributed generation. Real-world and synthetic waveforms are used to test it. The framework involves features that are conceived based on electrical principles, and assuming some hypothesis on the analyzed phenomena. Features considered are based on waveforms and timestamp information. Multivariate analysis of variance and rule induction algorithms are applied to assess the amount of meaningful information explained by each feature, according to the root-cause of the disturbance and its source location. The obtained classification rates show that the proposed framework could be used for automatic diagnosis of voltage disturbances collected in radial distribution networks. Furthermore, the diagnostic results can be subsequently used for supporting power network operation, maintenance and planning.

Image classification for a large number of object categories

L'increment de bases de dades que cada vegada contenen imatges més difícils i amb un nombre més elevat de categories, està forçant el desenvolupament de tècniques de representació d'imatges que siguin discriminatives quan es vol treballar amb múltiples classes i d'algorismes que siguin eficients en l'aprenentatge i classificació. Aquesta tesi explora el problema de classificar les imatges segons l'objecte que contenen quan es disposa d'un gran nombre de categories. Primerament s'investiga com un sistema híbrid format per un model generatiu i un model discriminatiu pot beneficiar la tasca de classificació d'imatges on el nivell d'anotació humà sigui mínim. Per aquesta tasca introduïm un nou vocabulari utilitzant una representació densa de descriptors color-SIFT, i desprès s'investiga com els diferents paràmetres afecten la classificació final. Tot seguit es proposa un mètode par tal d'incorporar informació espacial amb el sistema híbrid, mostrant que la informació de context es de gran ajuda per la classificació d'imatges. Desprès introduïm un nou descriptor de forma que representa la imatge segons la seva forma local i la seva forma espacial, tot junt amb un kernel que incorpora aquesta informació espacial en forma piramidal. La forma es representada per un vector compacte obtenint un descriptor molt adequat per ésser utilitzat amb algorismes d'aprenentatge amb kernels. Els experiments realitzats postren que aquesta informació de forma te uns resultats semblants (i a vegades millors) als descriptors basats en aparença. També s'investiga com diferents característiques es poden combinar per ésser utilitzades en la classificació d'imatges i es mostra com el descriptor de forma proposat juntament amb un descriptor d'aparença millora substancialment la classificació. Finalment es descriu un algoritme que detecta les regions d'interès automàticament durant l'entrenament i la classificació. Això proporciona un mètode per inhibir el fons de la imatge i afegeix invariança a la posició dels objectes dins les imatges. S'ensenya que la forma i l'aparença sobre aquesta regió d'interès i utilitzant els classificadors random forests millora la classificació i el temps computacional. Es comparen els postres resultats amb resultats de la literatura utilitzant les mateixes bases de dades que els autors Aixa com els mateixos protocols d'aprenentatge i classificació. Es veu com totes les innovacions introduïdes incrementen la classificació final de les imatges.

Improvements in the ray tracing of implicit surfaces based on interval arithmetic

Las superfícies implícitas son útiles en muchas áreasde los gráficos por ordenador. Una de sus principales ventajas es que pueden ser fácilmente usadas como primitivas para modelado. Aun asi, no son muy usadas porque su visualización toma bastante tiempo. Cuando se necesita una visualización precisa, la mejor opción es usar trazado de rayos. Sin embargo, pequeñas partes de las superficies desaparecen durante la visualización. Esto ocurre por la truncación que se presenta en la representación en punto flotante de los ordenadores; algunos bits se puerden durante las operaciones matemáticas en los algoritmos de intersección. En este tesis se presentan algoritmos para solucionar esos problemas. La investigación se basa en el uso del Análisis Intervalar Modal el cual incluye herramientas para resolver problemas con incertidumbe cuantificada. En esta tesis se proporcionan los fundamentos matemáticos necesarios para el desarrollo de estos algoritmos.

Local model predictive control for navigation of a wheeled mobile robot using monocular information

Aquesta tesi està inspirada en els agents naturals per tal de planificar de manera dinàmica la navegació d'un robot diferencial de dues rodes. Les dades dels sistemes de percepció són integrades dins una graella d'ocupació de l'entorn local del robot. La planificació de les trajectòries es fa considerant la configuració desitjada del robot, així com els vértexs més significatius dels obstacles més propers. En el seguiment de les trajectòries s'utilitzen tècniques locals de control predictiu basades en el model, amb horitzons de predicció inferiors a un segon. La metodologia emprada és validada mitjançant nombrosos experiments.

Multi-layer survivability: routing schemes for GMPLS-based networks

En les xarxes IP/MPLS sobre WDM on es transporta gran quantitat d'informacio, la capacitat de garantir que el trafic arriba al node de desti ha esdevingut un problema important, ja que la fallada d'un element de la xarxa pot resultar en una gran quantitat d'informacio perduda. Per garantir que el trafic afectat per una fallada arribi al node desti, s'han definit nous algoritmes d'encaminament que incorporen el coneixement de la proteccio en els dues capes: l'optica (WDM) i la basada en paquets (IP/MPLS). D'aquesta manera s'evita reservar recursos per protegir el trafic a les dues capes. Els nous algoritmes resulten en millor us dels recursos de la xarxa, ofereixen rapid temps de recuperacio, eviten la duplicacio de recursos i disminueixen el numero de conversions del trafic de senyal optica a electrica.

Selective submap joining SLAM for autonomous vehicles

Simultaneous Localization and Mapping (SLAM) do not result in consistent maps of large areas because of gradual increase of the uncertainty for long term missions. In addition, as the size of the map grows the computational cost increases, making SLAM solutions unsuitable for on-line applications. This thesis surveys SLAM approaches paying special attention to those approaches aimed to work on large scenarios. Special focus is given to existing underwater SLAM applications. A technique based on using independent local maps together with a global stochastic map is presented. This technique is called Selective Submap Joining SLAM (SSJS). A global map contains relative transformations between local maps, which are updated once a new loop is detected. Maps sharing several features are fused, maintaining the correlation between landmarks and vehicle's pose. The use of local maps reduces computational costs and improves map consistency as compared to state of the art techniques.

A hybrid approach of knowledge-based reasoning for structural assessment

La idea básica de detección de defectos basada en vibraciones en Monitorización de la Salud Estructural (SHM), es que el defecto altera las propiedades de rigidez, masa o disipación de energía de un sistema, el cual, altera la respuesta dinámica del mismo. Dentro del contexto de reconocimiento de patrones, esta tesis presenta una metodología híbrida de razonamiento para evaluar los defectos en las estructuras, combinando el uso de un modelo de la estructura y/o experimentos previos con el esquema de razonamiento basado en el conocimiento para evaluar si el defecto está presente, su gravedad y su localización. La metodología involucra algunos elementos relacionados con análisis de vibraciones, matemáticas (wavelets, control de procesos estadístico), análisis y procesamiento de señales y/o patrones (razonamiento basado en casos, redes auto-organizativas), estructuras inteligentes y detección de defectos. Las técnicas son validadas numérica y experimentalmente considerando corrosión, pérdida de masa, acumulación de masa e impactos. Las estructuras usadas durante este trabajo son: una estructura tipo cercha voladiza, una viga de aluminio, dos secciones de tubería y una parte del ala de un avión comercial.

A proposal of a behavior-based control architecture with reinforcement learning for an autonomous underwater robot

Aquesta tesi proposa l'ús d'un seguit de tècniques pel control a alt nivell d'un robot autònom i també per l'aprenentatge automàtic de comportaments. L'objectiu principal de la tesis fou el de dotar d'intel·ligència als robots autònoms que han d'acomplir unes missions determinades en entorns desconeguts i no estructurats. Una de les premisses tingudes en compte en tots els passos d'aquesta tesis va ser la selecció d'aquelles tècniques que poguessin ésser aplicades en temps real, i demostrar-ne el seu funcionament amb experiments reals. El camp d'aplicació de tots els experiments es la robòtica submarina. En una primera part, la tesis es centra en el disseny d'una arquitectura de control que ha de permetre l'assoliment d'una missió prèviament definida. En particular, la tesis proposa l'ús de les arquitectures de control basades en comportaments per a l'assoliment de cada una de les tasques que composen la totalitat de la missió. Una arquitectura d'aquest tipus està formada per un conjunt independent de comportaments, els quals representen diferents intencions del robot (ex.: "anar a una posició", "evitar obstacles",...). Es presenta una recerca bibliogràfica sobre aquest camp i alhora es mostren els resultats d'aplicar quatre de les arquitectures basades en comportaments més representatives a una tasca concreta. De l'anàlisi dels resultats se'n deriva que un dels factors que més influeixen en el rendiment d'aquestes arquitectures, és la metodologia emprada per coordinar les respostes dels comportaments. Per una banda, la coordinació competitiva és aquella en que només un dels comportaments controla el robot. Per altra banda, en la coordinació cooperativa el control del robot és realitza a partir d'una fusió de totes les respostes dels comportaments actius. La tesis, proposa un esquema híbrid d'arquitectura capaç de beneficiar-se dels principals avantatges d'ambdues metodologies. En una segona part, la tesis proposa la utilització de l'aprenentatge per reforç per aprendre l'estructura interna dels comportaments. Aquest tipus d'aprenentatge és adequat per entorns desconeguts i el procés d'aprenentatge es realitza al mateix temps que el robot està explorant l'entorn. La tesis presenta també un estat de l'art d'aquest camp, en el que es detallen els principals problemes que apareixen en utilitzar els algoritmes d'aprenentatge per reforç en aplicacions reals, com la robòtica. El problema de la generalització és un dels que més influeix i consisteix en permetre l'ús de variables continues sense augmentar substancialment el temps de convergència. Després de descriure breument les principals metodologies per generalitzar, la tesis proposa l'ús d'una xarxa neural combinada amb l'algoritme d'aprenentatge per reforç Q_learning. Aquesta combinació proporciona una gran capacitat de generalització i una molt bona disposició per aprendre en tasques de robòtica amb exigències de temps real. No obstant, les xarxes neurals són aproximadors de funcions no-locals, el que significa que en treballar amb un conjunt de dades no homogeni es produeix una interferència: aprendre en un subconjunt de l'espai significa desaprendre en la resta de l'espai. El problema de la interferència afecta de manera directa en robòtica, ja que l'exploració de l'espai es realitza sempre localment. L'algoritme proposat en la tesi té en compte aquest problema i manté una base de dades representativa de totes les zones explorades. Així doncs, totes les mostres de la base de dades s'utilitzen per actualitzar la xarxa neural, i per tant, l'aprenentatge és homogeni. Finalment, la tesi presenta els resultats obtinguts amb la arquitectura de control basada en comportaments i l'algoritme d'aprenentatge per reforç. Els experiments es realitzen amb el robot URIS, desenvolupat a la Universitat de Girona, i el comportament après és el seguiment d'un objecte mitjançant visió per computador. La tesi detalla tots els dispositius desenvolupats pels experiments així com les característiques del propi robot submarí. Els resultats obtinguts demostren la idoneïtat de les propostes en permetre l'aprenentatge del comportament en temps real. En un segon apartat de resultats es demostra la capacitat de generalització de l'algoritme d'aprenentatge mitjançant el "benchmark" del "cotxe i la muntanya". Els resultats obtinguts en aquest problema milloren els resultats d'altres metodologies, demostrant la millor capacitat de generalització de les xarxes neurals.

A proposal to estimate the motion of an underwater vehicle through visual mosaicking

This thesis proposes a solution to the problem of estimating the motion of an Unmanned Underwater Vehicle (UUV). Our approach is based on the integration of the incremental measurements which are provided by a vision system. When the vehicle is close to the underwater terrain, it constructs a visual map (so called "mosaic") of the area where the mission takes place while, at the same time, it localizes itself on this map, following the Concurrent Mapping and Localization strategy. The proposed methodology to achieve this goal is based on a feature-based mosaicking algorithm. A down-looking camera is attached to the underwater vehicle. As the vehicle moves, a sequence of images of the sea-floor is acquired by the camera. For every image of the sequence, a set of characteristic features is detected by means of a corner detector. Then, their correspondences are found in the next image of the sequence. Solving the correspondence problem in an accurate and reliable way is a difficult task in computer vision. We consider different alternatives to solve this problem by introducing a detailed analysis of the textural characteristics of the image. This is done in two phases: first comparing different texture operators individually, and next selecting those that best characterize the point/matching pair and using them together to obtain a more robust characterization. Various alternatives are also studied to merge the information provided by the individual texture operators. Finally, the best approach in terms of robustness and efficiency is proposed. After the correspondences have been solved, for every pair of consecutive images we obtain a list of image features in the first image and their matchings in the next frame. Our aim is now to recover the apparent motion of the camera from these features. Although an accurate texture analysis is devoted to the matching pro-cedure, some false matches (known as outliers) could still appear among the right correspon-dences. For this reason, a robust estimation technique is used to estimate the planar transformation (homography) which explains the dominant motion of the image. Next, this homography is used to warp the processed image to the common mosaic frame, constructing a composite image formed by every frame of the sequence. With the aim of estimating the position of the vehicle as the mosaic is being constructed, the 3D motion of the vehicle can be computed from the measurements obtained by a sonar altimeter and the incremental motion computed from the homography. Unfortunately, as the mosaic increases in size, image local alignment errors increase the inaccuracies associated to the position of the vehicle. Occasionally, the trajectory described by the vehicle may cross over itself. In this situation new information is available, and the system can readjust the position estimates. Our proposal consists not only in localizing the vehicle, but also in readjusting the trajectory described by the vehicle when crossover information is obtained. This is achieved by implementing an Augmented State Kalman Filter (ASKF). Kalman filtering appears as an adequate framework to deal with position estimates and their associated covariances. Finally, some experimental results are shown. A laboratory setup has been used to analyze and evaluate the accuracy of the mosaicking system. This setup enables a quantitative measurement of the accumulated errors of the mosaics created in the lab. Then, the results obtained from real sea trials using the URIS underwater vehicle are shown.

Application of modal interval analysis to the simulation of the behaviour of dynamic systems with uncertain parameters

Els models matemàtics quantitatius són simplificacions de la realitat i per tant el comportament obtingut per simulació d'aquests models difereix dels reals. L'ús de models quantitatius complexes no és una solució perquè en la majoria dels casos hi ha alguna incertesa en el sistema real que no pot ser representada amb aquests models. Una forma de representar aquesta incertesa és mitjançant models qualitatius o semiqualitatius. Un model d'aquest tipus de fet representa un conjunt de models. La simulació del comportament de models quantitatius genera una trajectòria en el temps per a cada variable de sortida. Aquest no pot ser el resultat de la simulació d'un conjunt de models. Una forma de representar el comportament en aquest cas és mitjançant envolupants. L'envolupant exacta és complete, és a dir, inclou tots els possibles comportaments del model, i correcta, és a dir, tots els punts dins de l'envolupant pertanyen a la sortida de, com a mínim, una instància del model. La generació d'una envolupant així normalment és una tasca molt dura que es pot abordar, per exemple, mitjançant algorismes d'optimització global o comprovació de consistència. Per aquesta raó, en molts casos s'obtenen aproximacions a l'envolupant exacta. Una aproximació completa però no correcta a l'envolupant exacta és una envolupant sobredimensionada, mentre que una envolupant correcta però no completa és subdimensionada. Aquestes propietats s'han estudiat per diferents simuladors per a sistemes incerts.