In the field of mobile robotics, many applications require feedback control laws that provide perfect path following. Previous work has shown that transverse feedback linearization is an effective approach to designing path following controllers that achieve perfect path following and path invariance. This thesis uses transverse feedback linearization and augments it with dynamic extension to present a framework for designing path following controllers for certain kinematic models of mobile robots. This approach can be used to design path following controllers for a large class of paths. While transverse feedback linearization makes the desired path attractive and invariant, dynamic extension allows the closed-loop system to achieve the desired motion along the path. In particular, dynamic extension can be used to make the mobile robot track a desired velocity or acceleration profile while moving along a path.

Aucun

In the field of mobile robotics, many applications require feedback control laws that provide perfect path following. Previous work has shown that transverse feedback linearization is an effective approach to designing path following controllers that achieve perfect path following and path invariance. This thesis uses transverse feedback linearization and augments it with dynamic extension to present a framework for designing path following controllers for certain kinematic models of mobile robots. This approach can be used to design path following controllers for a large class of paths. While transverse feedback linearization makes the desired path attractive and invariant, dynamic extension allows the closed-loop system to achieve the desired motion along the path. In particular, dynamic extension can be used to make the mobile robot track a desired velocity or acceleration profile while moving along a path.

Cette thèse traite du problème de segmentation sémantique d'une séquence d'images calibrées acquises dans un environnement urbain. Ce problème consiste, plus précisément, à partitionner chaque image en régions représentant les objets de la scène (façades, routes, etc.). Ainsi, à chaque région est associée une étiquette sémantique. Dans notre approche, l'étiquetage s'opère via des primitives visuelles de niveau intermédiaire appelés super-pixels, lesquels regroupent des pixels similaires au sens de différents critères proposés dans la littérature, qu'ils soient photométriques (s'appuyant sur les couleurs) ou géométriques (limitant la taille des super-pixels formés). Contrairement à l'état de l'art, où les travaux récents traitant le même problème s'appuient en entrée sur une sur-segmentation initiale sans la remettre en cause, notre idée est de proposer, dans un contexte multi-vues, une nouvelle approche de constructeur de superpixels s'appuyant sur une analyse tridimensionnelle de la scène et, en particulier, de ses structures planes. Pour construire de «meilleurs» superpixels, une mesure de planéité locale, qui quantifie à quel point la zone traitée de l'image correspond à une surface plane de la scène, est introduite. Cette mesure est évaluée à partir d'une rectification homographique entre deux images proches, induites par un plan candidat au support des points 3D associés à la zone traitée. Nous analysons l'apport de la mesure UQI (Universal Quality Image) et montrons qu'elle se compare favorablement aux autres métriques qui ont le potentiel de détecter des structures planes. On introduit ensuite un nouvel algorithme de construction de super-pixels, fondé sur l'algorithme SLIC (Simple Linear Iterative Clustering) dont le principe est de regrouper les plus proches voisins au sens d'une distance fusionnant similarités en couleur et en distance, et qui intègre cette mesure de planéité. Ainsi la sur-segmentation obtenue, couplée à la cohérence interimages provenant de la validation de la contrainte de planéité locale de la scène, permet d'attribuer une étiquette à chaque entité et d'obtenir ainsi une segmentation sémantique qui partitionne l'image en objets plans. / This thesis deals with the semantic segmentation problem of a calibrated sequence of images acquired in an urban environment. The problem is, specifically, to partition each image into regions representing the objects in the scene such as facades, roads, etc. Thus, each region is associated with a semantic tag. In our approach, the labelling is done through mid-level visual features called super-pixels, which are groups of similar pixels within the meaning of some criteria proposed in research such as photometric criteria (based on colour) or geometrical criteria thus limiting the size of super-pixel formed. Unlike the state of the art, where recent work addressing the same problem are based on an initial over-segmentation input without calling it into question, our idea is to offer, in a multi-view environment, another super-pixel constructor approach based on a three-dimensional scene analysis and, in particular, an analysis of its planar structures. In order to construct "better" super-pixels, a local flatness measure is introduced which quantifies at which point the zone of the image in question corresponds to a planar surface of the scene. This measure is assessed from the homographic correction between two close images, induced by a candidate plan as support to the 3D points associated with the area concerned. We analyze the contribution of the UQI measure (Universal Image Quality) and demonstrate that it compares favorably with other metrics which have the potential to detect planar structures. Subsequently we introduce a new superpixel construction algorithm based on the SLIC (Simple Linear Iterative Clustering) algorithm whose principle is to group the nearest neighbors in terms of a distance merging similarities in colour and distance, and which includes this local planarity measure. Hence the over-segmentation obtained, coupled with the inter-image coherence as a result of the validation of the local flatness constraint related to the scene, allows assigning a label to each entity and obtaining in this way a semantic segmentation which divides the image into planar objects.

Utförande av kontroller av olika objekt i byggskedet är av stor betydelse för att undvika onödiga kostnader och förseningar. Betonggolv är en typ av objekt som har toleranskrav avseende lutning och buktighet. I Sverige gäller det svenska referensverket AMA-Hus, där anges toleranser för lutning och buktighet. Buktighet kontrolleras för två olika diametrar på 0,25 m respektive 2 m, i den här studien benämnda som lokal och global buktighet.Avsikten med studien var att identifiera det optimala tillvägagånssättet att kontrollera lutning och buktighet av en horisontell yta samt infallsvinkelns påverkan vid reflektorlösa mätningar. Rutnätsskanning med olika punktavstånd utförd med multistation och laserskanning från multistation och laserskanner har använts för att samla in data. Före mätning placerades konstgjorda upphöjda buktningar ut på golvet. Data från mätningarna interpolerades i Surfer-mjukvara, där kartor med höjdkurvor skapades. Interpolationsmetoden som användes var Kriging. Även ett program för objektiv kontroll av buktighet utvecklades i samarbete med en civilingenjör i datateknik.Vid analys konstaterades det att rutnätsskanningarna med punktavstånden över 12,5 cm ej anses lämpliga för kontroll av buktighet. Rutnätsskanningen med punktavstånd på 12,5 cm eller tätare kan inte heller anses optimal för kontroll av buktighet då tidsåtgången blir för omfattande. Laserskanning med multistationen är det tillvägagångsätt som utifrån resultatet i denna studie, baserat på kontrollbarhet av buktighet och lutning, ger tydligast resultat i förhållande till tidsåtgång.Högre infallsvinkel från mätningar längre bort från instrumentet visade ingen systematisk inverkan på mätningarna i denna studie. Den ökade punkttätheten som påvisats nära instrumentet orsakade något som tolkats som brus i punktmolnet och förhöjd tidsåtgång för utförande av mätningar. / Performing controls of different types of objects in the construction phase of buildings are of great importance to avoid unnecessary costs and delays. Concrete floors are one type of object that has defined tolerances regarding levelness and flatness. In Sweden, the tolerance for levelness and flatness can be found in the national guideline AMA-Hus. Flatness is controlled within two different diameters of 0.25 m and 2 m respectively, in this study referred to as local and global flatness.The aim of this study was to identify the optimal method to control levelness and flatness of a horizontal surface and to determine the effect from the angle of incidence using reflectorless measurements. Grid scanning with different point density performed with a multi station and laser scans from multi station and laser scanner were used to collect the data. Before measurements artificial elevated curvatures where placed on the concrete floor. Data from the measurements where interpolated in Surfer software, and height maps were created. The interpolation method used was Kriging. Software containing an algorithm for objective flatness detection was developed in cooperation with a civil engineer in computer science.Analysis of the grid scanning data revealed that point density over 12.5 cm is not sufficient to detect significant elevation differences when controlling flatness. Grid scanning at 12.5 cm or thicker also cannot be deemed optimal since the time required to perform the measurements are disproportionately long. Laser scanning using the multi station proved, in the conditions of this study, to be the optimal method for levelness and flatness control in respect to time consumption.Steeper angle of incidence from measurements further from the instrument showed no systematical deviations of the measurements in this study. However, the increased point density found close to the instrument caused something that could be considered as noise in the point cloud as well as increased time consumption.

When cold rolling thin steel strips with high tensile strength, reversible cluster mills are used. The customer’s demands are high on the products flatness, which is controlled by the different flatness actuators that the mill is equipped with. The objective of this thesis was to find an optimal CVC shape on the shifting inner second intermediate roll in the 20-high cluster mill KV96 at Sandvik Materials Technology in Sandviken. The project consisted of a theoretical calculation of the roll shape that can give the desired change of the strips flatness and practical development and testing of these rolls in the mill. The results showed that the flatness of the strips can be altered with up to 30 I-units at the edges and 20 I-units in the center with the use of an inner second intermediate roll of the CVC type as this study has concluded. In this work, three CVC shapes was developed using the calculation software Cluster. The rolls was then ground and verified in the mill. / Vid kallvalsning av tunna band med hög hållfasthet används reversibla mångvalsarsverk. Kundkraven är höga på produkternas planhet, vilken styrs av de planhetsställdon verket är utrustat med. Målsättningen med detta examensarbete var att finna en optimal CVC-form på den förskjutningsbara inre mellanvalsen i 20-valsarsverket KV96 vid Sandvik Materials Technology AB i Sandviken. Projektet har bestått av att teoretiskt beräkna den valsform som kan ge den önskade förändringen i planhetsmätarbilden samt att praktiskt ta fram och prova dessa valsar i verket. Resultaten visar att man kan påverka planheten på banden med upp till 30 I-enheter i kanten och 20 I-enheter i mitten med användandet av en inre mellanvals av CVC-typ som denna studie kommit fram till. I det här arbetet utvecklades, med hjälp av beräkningsprogrammet Cluster, tre CVC-valsgeometrier som sedan slipades fram och verifierades i valsverket.

In this dissertation, we focus on the strategy that places and stabilizes the path of an aerial drogue, which is towed by a mothership aircraft using a long flexible cable, onto a horizontally flat orbit by maneuvering the mothership in the presence of wind. To achieve this goal, several studies for towed cable systems are conducted, which include the dynamic modeling for the cable, trajectory generation strategies for the mothership, trajectory-tracking control law design, and simulation and flight test implementations. First, a discretized approximation method based on finite element and lumped mass is employed to establish the mathematical model for the towed cable system in the simulation. Two approaches, Gauss's Principle and Newton's second law, are utilized to derive the equations of motion for inelastic and elastic cables, respectively. The preliminary studies for several key parameters of the system are conducted to learn their sensitivities to the system motion in the steady state. Flight test results are used to validate the mathematical model as well as to determine an appropriate number of cable links. Furthermore, differential flatness and model predictive control based methods are used to produce a mothership trajectory that leads the drogue onto a desired orbit. Different desired drogue orbits are utilized to generate required mothership trajectories in different wind conditions. The trajectory generation for a transitional flight in which the system flies from a straight and level flight into a circular orbit is also presented. The numerical results are presented to illustrate the required mothership orbits and its maneuverability in different wind conditions. A waypoint following based strategy for mothership to track its desired trajectory in flight test is developed. The flight test results are also presented to illustrate the effectiveness of the trajectory generation methods. In addition, a nonlinear time-varying feedback control law is developed to regulate the mothership to follow the desired trajectory in the presence of wind. Cable tensions and wind disturbance are taken into account in the design model and Lyapunov based backstepping technique is employed to develop the controller. The mothership tracking error is proved to be capable of exponentially converging to an ultimate bound, which is a function of the upper limit of the unknown component of the wind. The simulation results are presented to validate the controller. Finally, a trajectory-tracking strategy for unmanned aerial vehicles is developed where the autopilot is involved in the feedback controller design. The trajectory-tracking controller is derived based on a generalized design model using Lyapunov based backstepping. The augmentations of the design model and trajectory-tracking controller are conducted to involve the autopilot in the closed-loop system. Lyapunov stability theory is used to guarantee the augmented controller is capable of driving the vehicle to exponentially converge to and follow the desired trajectory with the other states remaining bounded. Numerical and Software-In-the-Loop simulation results are presented to validate the augmented controller. This method presents a framework of implementing the developed trajectory-tracking controllers for unmanned aerial vehicles without any modification to the autopilot.

High efficiency is an essential requirement for any system, where the energy can be saved with full retention of system performance. The power amplifier in modern mobile communications system consumes most of the supplied power through the dissipated power and the required cooling systems. However, as new services were added as features for the developed mobile generations, the required data rate has increased to fulfil the new requirements. In this case, the data should be sent with the allocated bandwidth, so complex modulation schemes are used to utilise the available bandwidth efficiently. Nevertheless, the modulated signal will have a Peak to Average Power Ratio (PAPR) which increases as the modulation complexity is increasing. In this case, the power amplifier should be backed off and designed to provide good linearity and efficiency over high PAPR. Among the efficiency enhancement techniques, the Doherty technique (Load modulation technique) is the simplest one, where no additional circuity nor signal processing is required. In this work, the theory of load modulation amplifiers is investigated through two asymmetrical Doherty Power Amplifiers (DPA) targeting 3.3-3.5 GHz were designed and fabricated using two transistors (25 W and 45 W). In addition, more compact load modulation amplifiers targeting sub 6-GHz bandwidth of 5G specifically 3.4-3.8 GHz is discussed including the theory of implementing these amplifiers, where different amplifier capabilities are explored. Each amplifier design was discussed in detail, in which the input and output matching networks were designed and tested in addition to the design of the stability circuit to make sure that the amplifier is stable and working according to the specified requirements. The fabricated circuits were evaluated practically using the available instrument test, whereas Microwave Office software was used for the simulation purpose, each amplifier was designed separately, where all the designed amplifiers were able to provide the targeted efficiency at different back-off power points. Besides, some additional factors that affect the designed load modulation amplifiers such as the effect of the harmonics at the back-off and mismatching the amplifier is discussed. / European Union’s Horizon 2020 research and innovation programme (SECRET)

O modo de produção vigente exige cada vez mais rapidez, precisão e eficiência nos processos. Em resposta a essas tendências, constituem-se desafios à área de Metrologia a obtenção de sistemas de medição e algoritmos de avaliação de erros mais precisos; a avaliação de incertezas com precisão; e a execução de medições com rapidez. Neste trabalho apresenta-se um Sistema Automatizado de medição para avaliação dos desvios de forma e orientação de componentes. O sistema é baseado na utilização de um robô industrial com seis graus de liberdade e sensores de deslocamento do tipo LVDT. O emprego de sistemas como o proposto para a avaliação de desvios geométricos está condicionado à utilização de um modelo matemático de separação de erros, uma vez que a acurácia de posicionamento e a repetibilidade dos robôs disponíveis atualmente não são adequadas à medição de grandezas micrométricas. Além da aplicação do modelo de separação de erros, este trabalho inclui a elaboração modelos e rotinas de processamento de dados para a avaliação de desvios geométricos. Sistemas similares desenvolvidos foram aplicados principalmente à medição de desvios de retilineidade, e em alguns casos, circularidade. Neste trabalho, buscou-se ampliar o escopo de aplicações deste tipo de sistema, de forma a abranger não só a avaliação dos desvios de retilineidade, mas também a avaliação dos desvios de planicidade e perpendicularismo. Além disso, o enfoque da pesquisa foi dirigido à avaliação do desempenho do sistema e do modelo de separação de erros, por meio da realização de testes experimentais com três peças distintas e por meio de análise comparativa com sistemas convencionais de medição. Os resultados obtidos comprovaram a eficiência do sistema proposto, que destacou-se também por apresentar boa repetibilidade. / The current production system demands fast, efficient and precise processes. In order to address these issues, most of the research efforts in the Metrology area have been focused into the development of faster and more accurate measuring systems as well as into the definition of methods to better evaluate uncertainties in measurement. This work presents an automated system for the evaluation of form and orientation deviations of mechanical components. A six-degree-of-freedom industrial robot and LVDT sensors are used to take the measurements. The implementation of the proposed system depends on the application of a mathematical model for error separation since the accuracy of positioning and repeatability presented by the currently available industrial robots are not suitable for measuring micrometric deviations. Besides the application of the error separation model, this work also includes the development of data processing algorithms for the evaluation of geometrical deviations. Few similar systems to the proposed one were developed and applied mainly for straightness and, in some cases, roundness measurements. This work aimed at broadening the range of applications of this kind of measuring systems, making them suitable for the evaluation of flatness and orthogonality deviations. Additionally, the focus of the research was set to the performance evaluation of the system and the error separation model. In order to do that, experimental tests with three different parts were carried out. The values found were compared to the values of the deviations measured with conventional GD&T practice. The obtained results showed the efficiency of the proposed system, which also presented good repeatability.

Cette thèse traite de la synchronisation des systèmes dynamiques.La synchronisation est étudiée pour une configuration de type maître-esclave, c'est-à-dire pour des systèmes couplés de façon unidirectionnelle. Ce type de configuration s'avère d'un intérêt tout particulier car elle correspond à des architectures de communications chiffrées un-vers-un ou un-vers-plusieurs. Une attention spécifique est portée sur l'autosynchronisation, comportement qui caractérise la synchronisation par le simple couplage maître-esclave et donc en l'absence de tout contrôle extérieur. Elle joue un rôle majeur dans les communications impliquant des chiffreurs par flot autosynchronisants. L'étude de l'autosynchronisation dans le contexte cryptographique s'appuie sur la théorie du contrôle. Un lien original entre l'autosynchronisation et le principe de chiffrement/déchiffrement en cryptographie est mis en évidence. Il fait appel à la propriété de platitude des systèmes dynamiques, un concept emprunté à l'automatique. On montre que les systèmes dynamiques plats définissent complètement l'ensemble des systèmes autosynchronisants et permettent d'élargir les structures existantes des chiffreurs autosynchronisants. La platitude est tout d'abord étudiée pour deux types de systèmes non linéaires~: les systèmes linéaires commutés et à paramètres variants (LPV). La caractérisation des sorties plates s'appuie sur le concept de semigroupes nilpotents et un algorithme performant est proposé. Une approche constructive pour réaliser des structures maître-esclave autosynchronisantes est proposée sur la base de systèmes plats et les notions d'inversibilité à gauche et à droite empruntées à la théorie du contrôle. Par la suite, l'autosynchronisation est étudiée dans le contexte booléen, privilégié en cryptographie.Elle est caractérisée en premier lieu au travers la notion d'influence. Ensuite, différentes représentations matricielles associées aux fonctions booléennes sont proposées. Ces représentations s'avèrent particulièrement intéressantes pour l'analyse des propriétés liées à la sécurité. Un lien entre l'autosynchronisation et les structures propres des représentations matricielles est établi. Une approche orientée graphes est finalement élaborée pour la caractérisation. De nouvelles constructions de structures autosynchronisantes en sont déduites et des éléments de sécurité sont discutés. Enfin, une plateforme de test à base de FPGA qui a été réalisée est décrite / This thesis deals with the synchronization of dynamical systems. The synchronization considered is called master-slave, that is, the dynamical systems are connected in a unidirectional way. This configuration is of interest because it corresponds to an architecture encountered in secured communications of type one-to-one or one-to-many. A special attention is paid to self-synchronization. A behaviour that characterizes synchronization achieved with a simple master-slave coupling and so, without any external control. It is a central feature of self-synchronizing stream ciphers. The study of self-synchronization in the cryptographic context relies on control theory. An original connection between self-synchronization and encryption/decryption is provided. It is based on the flatness property of dynamical systems, a property borrowed from automatic control. It is shown that flat dynamical systems completly define the set of all self-synchronizing systems and thus, enlarge the existing structures of self-synchronizing stream ciphers. Flatness is first of all studied for the case of two nonlinear systems: switched linear systems and linear parameter-varying (LPV) systems. Flatness caracterization is based on the concept of nilpotent semigroups and an efficient algorithm is provided. A constructive approach for self-synchronizing master-slave structures is proposed. It relies on the construction of flat systems as well as on left and right invertibility also borrowed from control theory. Then, self-synchronization is studied in the Boolean context which is preferred in cryptography. Self-synchronization is caracterized through the notion of influence. Several matrix representations of Boolean functions are proposed. These representations are especially interesting for security analysis. A connection between self-synchronization and the eigenstructures of these matrices is established. Then, a graph oriented approach is provided. New self-synchronizing constructions are deduced and security elements are discussed. Eventually, the description of a realized FPGA based test plateform is provided