Stop-and-Go Adaptive Cruise Control (ACC+) is an extension of Adaptive Cruise Control (ACC) that works at low speed as well as normal highway speeds to regulate the speed of the vehicle relative to the vehicle it is following. In this thesis, we design an ACC+ controller for a scale model electric vehicle that ensures the robust performance of the system under various models of uncertainty. We capture the operation of the hybrid system via a state-chart model that performs mode switching between different digital controllers with additional decision logic to guarantee the collision freedom of the system under normal operation. We apply different controller design methods such as Linear Quadratic Regulator (LQR) and H-infinity and perform multiple simulation runs in MATLAB/Simulink to validate the performance of the proposed designs. We compare the practicality of our design with existing formally verified ACC designs from the literature. The comparisons show that the other formally verified designs exhibit unacceptable behaviour in the form of mode thrashing that produces excessive acceleration and deceleration of the vehicle. While simulations provide some assurance of safe operation of the system design, they do not guarantee system safety under all possible cases. To increase confidence in the system, we use Differential Dynamic Logic (dL) to formally state environmental assumptions and prove safety goals, including collision freedom. The verification is done in two stages. First, we identify the invariant required to ensure the safe operation of the system and we formally verify that the invariant preserves the safety property of any system with similar dynamics. This procedure provides a high level abstraction of a class of safe solutions for ACC+ system designs. Second, we show that our ACC+ system design is a refinement of the abstract model. The safety of the closed loop ACC+ system is proven by verifying bounds on the system variables using the KeYmaera verification tool for hybrid systems. The thesis demonstrates how practical ACC+ controller designs optimized for fuel economy, passenger comfort, etc., can be verified by showing that they are a refinement of the abstract high level design. / Thesis / Master of Applied Science (MASc)

Im Folgenden werden Transferprozesse in Nanohybridsystemen theoretisch untersucht. Diese Hybridsysteme sind vielversprechende Kandidaten für neue optoelektronische Anwendungen und erfahren daher ein erhebliches Forschungsinteresse. Jedoch beschränken sich Arbeiten darüber hauptsächlich auf experimentelle Untersuchungen und kaum auf die dazugehörige theoretische Beschreibung. Bei den theoretischen Betrachtungen treten entscheidende Limitierungen auf. Es werden entweder Details auf der atomaren Ebene vernachlässigt oder Systemgrößen betrachtet, die wesentlich kleiner als im Experiment sind. Diese Thesis zeigt, wie die bestehenden Theorien verbessert werden können und erweitert die bisherigen Untersuchungen durch die Betrachtung von vier neuen hoch relevanten Nanohybridsystemen. Das erste System ist eine Nanostruktur, die aus einem Au-Kern und einer CdS-Schale besteht. Beim zweiten System wurde eine ZnO/Para-Sexiphenyl Nanogrenzfläche untersucht. Die zwei anderen Systeme beinhalten jeweils einen CdSe-Nanokristall, der entweder mit einem Pheophorbide-a-Molekül oder mit einem röhrenförmigen Farbstoffaggregat wechselwirkt. In allen Systemen ist der Anregungsenergie-Transfer ein entscheidender Transfermechanismus und steht im Fokus dieser Arbeit. Die betrachteten Hybridsysteme bestehen aus zehntausenden Atomen und machen daher eine individuelle Berechnung der einzelnen Subsysteme sowie deren gegenseitiger Wechselwirkung notwendig. Die Halbleiter-Nanostrukturen werden mit der Tight-Binding-Methode und der Methode der Konfigurationswechselwirkung beschrieben. Für das molekulare System wird die Dichtefunktionaltheorie verwendet. Die dazugehörigen Rechnungen wurden von T. Plehn ausgeführt. Das metallische Nanoteilchen wird durch quantisierte Plasmon-Moden beschrieben. Die verwendeten Theorien ermöglichen eine Berechnung von Anregungsenergietransfer in Nanohybridsystemen von bisher nicht gekannter Systemgröße und Detailgrad. / In the following, transfer phenomena in nanohybrid systems are investigated theoretically. Such hybrid systems are promising candidates for novel optoelectronic devices and have attracted considerable interest. Despite a vast amount of experimental studies, only a small number of theoretical investigations exist so far. Furthermore, most of the theoretical work shows substantial limitations by either neglecting the atomistic details of the structure or drastically reducing the system size far below the typical device extension. The present thesis shows how existing theories can be improved. This thesis also expands previous theoretical investigations by developing models for four new and highly relevant nanohybrid systems. The first system is a spherical nanostructure consisting of an Au core and a CdS shell. By contrast, the second system resembles a finite nanointerface built up by a ZnO nanocrystal and a para-sexiphenyl aggregate. For the last two systems, a CdSe nanocrystal couples either to a pheophorbide-a molecule or to a tubular dye aggregate. In all of these systems, excitation energy transfer is an essential transfer mechanism and is, therefore, in the focus of this work. The considered hybrid systems consist of tens of thousands of atoms and, consequently, require an individual modeling of the constituents and their mutual coupling. For each material class, suitable methods are applied. The modeling of semiconductor nanocrystals is done by the tight-binding method, combined with a configuration interaction scheme. For the simulation of the molecular systems, the density functional theory is applied. T. Plehn performed the corresponding calculations. For the metal nanoparticle, a model based on quantized plasmon modes is utilized. As a consequence of these theories, excitation energy transfer calculations in hybrid systems are possible with unprecedented system size and complexity.

Dans cette thèse, nous avons étudié les propriétés optiques de boîtes quantiques InAs/GaAs contenues dans un fil photonique. Des résultats antérieurs à cette thèse ont montré que ces fils photoniques permettent d’extraire les photons avec une efficacité très élevée.Le premier résultat original de ce travail est l’observation de la dérive temporelle de la raie d’émission de la photoluminescence d’une boîte quantique. Cet effet a été attribué à la lente modification de la charge de surface du fil due à l’absorption des molécules d’oxygène présentes dans le vide résiduel du cryostat. Nous avons montré qu’une fine couche de Si3N4 permettait de supprimer cette dérive. La dérive temporelle pouvant être différente pour différentes boites quantiques, nous avons pu tirer partie de cet effet pour mettre en résonance deux boites quantiques contenues dans le même fil.Le deuxième résultat original est la mise en évidence de la modification de l’énergie d’émission d’une boîte quantique soumise à une contrainte mécanique induite par la vibration du fil. Nous avons observé que le spectre de la raie d’émission d’une boîte quantique s’élargit considérablement lorsque le fil est mécaniquement excité à sa fréquence de résonance. A l’aide d’une illumination stroboscopique synchronisée avec l’excitation mécanique, nous avons pu reconstruire l’évolution du spectre d’une boîte quantique au cours d’une période de la vibration mécanique. L’amplitude de l’oscillation spectrale de la raie de luminescence dépend de la position de la boîte dans le fil à cause d’un très fort gradient de contrainte. En utilisant deux modes d’oscillation mécanique de polarisations linéaires et orthogonales, nous pouvons extraire une cartographie complète de la position des boîtes quantiques à l’intérieur du fil. Enfin, grâce à ce gradient, on peut, dans certains cas, trouver une position du fil pour laquelle deux boites quantiques peuvent être amenées en résonance. / In the framework of this thesis, single InAs/GaAs quantum dot devices were studied by optical means. Starting with a general description of self-assembled InAs QDs, two types of single QD devices were presented. The first approach was a tapered GaAs photonic wire embedding single InAs QDs whose efficiency as a single photon source was previously shown to be 90%. We investigated several optical properties of the single QDs. The charged and neutral states of the QD were identified and selectively excited using quasi-resonant excitation.The first original result of this thesis is the observation of a continuous temporal blue-drift of the QD emission energy. We attributed this blue drift to oxygen adsorption onto the sidewall of the wire, which modified the surface charge and hence the electric field seen by the QD. Moreover, we demonstrated that a proper coating of the GaAs photonic nanowire surface suppressed the drift. The temperature effect on this phenomenon revealed an adsorption peak around 20K, which corresponds to the adsorption of oxygen on GaAs. This observation is in good agreement with previous temperature studies with a tapered photonic wire. This was the first study of the spectral stability of photonic wires embedding QDs, crucial for resonant quantum optics experiments. As an alternative, we took advantage of this temporal drift to tune QD emission energies. In a controlled way, we tuned into resonance two different QDs which were embedded in the same photonic nanowire. In the last part of this work, we studied the influence of the stress on single QDs contained in a trumpet-like GaAs photonic wire. The main effect of stress is to shift the luminescence lines of a QD. We applied the stress by exciting mechanical vibration modes of the wire. When the wire is driven at its the mechanical resonance the time-integrated photoluminescence spectrum is broaden up to 1 meV owing to the oscillating stress, The measured spectral modulation is a first signature of strain-mediated coupling between a mechanical resonator and embedded QD single light emitter. With a stroboscopic technique, we isolated a certain phase of the oscillating wire and thereby selected a value of QD emission energies. As a highlight of our study, we managed to bring two different QDs contained in the same wire into resonance by controlling their relative phase. In addition, we could extract the 2D spatial positioning of embedded QDs from the spectral shifts observed for two orthogonal mechanical polarizations.. The investigation of the strain-mediated tuning of QDs can, therefore, be an effective tool to explore the QD positions without destroying the sample.

This diploma thesis deals with adjusting the reverberation time of enclosed spaces. It is divided into two thematic areas. The first thematic area deals with active systems that adjust the reverberation time, with a stronger focus on usage of reverberators to simulate secondary spaces. The second thematic area is the implementation of reverberators and their fundamental building blocks in Matlab.

Photovoltaic in the Czech Republic has gone through significant development during last few years. The thesis describes physical principle of converting solar energy into electrical energy using photovoltaic cells. Photovoltaic power plant is a set of technologic components connected together to utilize solar energy and convert it into electric energy that could be distributed to electric power network. Review of the photovoltaic development in the Czech Republic and the list of the biggest operational photovoltaic power plants present important data for assessment of the current status of photovoltaic technology in the Czech Republic. Chapter operations and maintenance of photovoltaic power plants summarizes the most common causes of failures and presents diagnostic tools for service requests. Due to legislative changes, hybrid photovoltaic power plants construction has been prioritized as it is economically more efficient now. Construction of new hybrid photovoltaic power plant was assessed analytically using SWOT analysis that evaluates strong and weak sides of the projects in comparison with opportunities and threats of construction. After evaluation of obtained data the next steps of the hybrid photovoltaic power plant’s construction plan are proposed. The first part of hybrid photovoltaic power plant design contains PVGIS program's data evaluation, which provides sunlight intensity information for specified area. Obtained data were used in the second part of the design to determine proper components selection for family house hybrid photovoltaic power plant. Finally the economic view of the design and return of investments were assessed.

The thesis deals with the principle functions of low-temperature fuel cells with proton exchange membrane (PEMFC), photovoltaic sources (PVPP) and wind energy sources (WPP), along with solving their detailed mathematical expressions. In this work, the individual sources and their simulated models are analyzed in depth. The actual simulation is preceded by familiarization with important historical milestones in the development of fuel cells. Furthermore there is a basic classification of fuel cells and the characteristics of the cells used in the energy sectors. The text also provides information on projects that address the implementation of PEMFC as a primary or supplementary source of energy. Along with outlining the options for PEMFC as a perspective hydrogen technologies in the near future, the basic methods of hydrogen production and storage options are presented for the complexity. The work is exclusively focused on improving PEMFC mathematical models that under the hybrid system cooperate with renewable energy sources (RES). Part of the theses contains a short review of run or modeled concepts of hybrid systems in the energy sector. Using these models the main deficiencies of the models or of the whole PEMFC system can be identify. Specifications of the deficiencies lead to the creation of a new advanced dynamic PEMFC model that allows an analysis of the development of electrical and non-electrical quantities using long term tests. Furthermore, the thesis presents results of the experiments of thermal and dynamic behavior PEMFC, which were obtained from the additionally extended model with a reformer and the DC/DC converter. In this text there is a model of a photovoltaic module created, which is based on the nominal values parameterization. The model is subjected to basic experiments in which measured hydrometeorological data are used. If the hybrid system utilizes renewable energy sources, it is good to know the evolution of atmospheric conditions in the installation of these resources. Specifically for PVPP, publicly available databases containing information about solar radiation levels can be used for the selected location. Public databases are often used for initial design and manufacturing options for PVPP. An evaluation of the relevancy of public databases is performed based on a long-term observation of real measured data. Furthermore, these data are used for experiments on the photovoltaic module. Partially the text addresses the issue of the wind energy sources, however, it is simulated only on a simplified model of WPP. Created models of subsystems can be generally implemented as partial inputs hybrid systems in the future work. The thesis was developed at Centre for Research and Utilization of Renewable Energy (CVVOZE) with the financial support of the National Programme for Sustainability and the Ministry of Education, Youth and Sports of the Czech Republic under the project no. LO1210 - Energy for Sustainable Development and the project no. FEKT-S-14-2520 - New Technologies for Sustainable Development of Electrical Power Systems. The thesis was also generated under the project no. TA03020523 - Dynamic model of distribution network with the financial support of Technology Agency of the Czech Republic.

In support of a short dissertation entitled - "A critical review of the source and residence principles of taxation of income : A place for both principles in the South African tax system?" Qbjeetives To review and critically examine the application of the source and reside.nce principles regarding the taxption of income in South Africa, and to reveal the extent of the existence and application of a hybrid tax system in respect of the source and residence principles. To examine the legal principles and policy considerations arising from the existence of a hybrid tax system, inter alia, in the context of the Fifth Interim Report of the Katz Commission and consequent legislative developments. with a view to recommending. where appropriate, tax reform. Methodology iDd AQProach A review of relevant authority,liter@ture, principles and legislation. Conclusion To draw conclusions and recommendations regarding the merits of adopting a hybrid system in South Africa and, where appropriate, recommend legislative reforms particularly with regard to business income. / Mercantile Law / LL.M. (Mercantile Law)

In support of a short dissertation entitled - "A critical review of the source and residence principles of taxation of income : A place for both principles in the South African tax system?" Qbjeetives To review and critically examine the application of the source and reside.nce principles regarding the taxption of income in South Africa, and to reveal the extent of the existence and application of a hybrid tax system in respect of the source and residence principles. To examine the legal principles and policy considerations arising from the existence of a hybrid tax system, inter alia, in the context of the Fifth Interim Report of the Katz Commission and consequent legislative developments. with a view to recommending. where appropriate, tax reform. Methodology iDd AQProach A review of relevant authority,liter@ture, principles and legislation. Conclusion To draw conclusions and recommendations regarding the merits of adopting a hybrid system in South Africa and, where appropriate, recommend legislative reforms particularly with regard to business income. / Mercantile Law / LL.M. (Mercantile Law)

This thesis deals with charging stations for electric bicycles powered by renewable energy. The aim of this work is to make a proposal for the hybrid charging stations for electric bicycles, which will work independently and, if necessary, will be backed up by a network. In this thesis is entered theoretical information on the issue of electric bicycles, the batteries, charging stations, the connectors of chargers, and photovoltaic systems. The practical part of this thesis is the basic design of the charging station and its design of the mathematical model of the individual parts in Simulink program, which are linked to the actual design of the charging station. In conclusion, this thesis deals with energy and economic analysis of the proposed system, therein included various methods of assessing investment recommendations of appropriate processing methods and overall assessment of the subject.

This report is the result of a conducted Minor Field Study (MFS), to the greatestextent funded by the Swedish International Development Cooperation Agency(SIDA), in an attempt to design a system for evaluating smaller solar power systems indeveloping countries. The study was to the greater part conducted in Nairobi, Kenyain close collaboration with the University of Nairobi. The aim was to develop asystem that would use easily available components and keep the costs to a minimum,yet deliver adequate performance. The system would measure certain parameters of asolar power system and also relevant environmental data in order to evaluate theperformance of the system. Due to the specific competence of the collaboratinggroup at the University of Nairobi, a Kinetis Freescale K64-microcontroller with anARM-Cortex processor was selected as the core of the design. Components wereselected, schematics were drawn, a circuit board was designed and manufactured andsoftware was written. After 12 weeks a somewhat satisfying proof-of-concept wasreached at the end of the field study in Kenya. The project however proved howdifficult it is to go from first idea to a functional proof-of-concept during a limitedtimeframe, and also in an East-African country. The final proof-of-concept was testedat Mpala Research Centre in Kenya and despite containing some flaws proved that itwould indeed be possible to design a working system on the principles discussed inthis report. The system is open-source, so anyone may use and modify it.