On considère le problème de contrôle optimal de temps minimal pour des systèmes affine et mono-entrée en dimension finie, avec conditions initiales et finales fixées, où le contrôle scalaire prend ses valeurs dans un intervalle fermé. Lors de l'application d'une méthode de tir pour résoudre ce problème, on peut rencontrer des obstacles numériques car la fonction de tir n'est pas lisse lorsque le contrôle est bang-bang. Pour ces systèmes, dans le cas bang-bang, un concept théorique de temps conjugué a été défini, toutefois les algorithmes de calcul direct sont difficiles à appliquer. En outre, les questions théoriques et pratiques de la théorie du temps conjugué sont bien connues dans le cas lisse, et des outils efficaces de mise en oeuvre sont disponibles. On propose une procédure de régularisation pour laquelle les solutions du problème de temps minimal dépendent d'un paramètre réel positif suffisamment petit et sont définis par des fonctions lisses en temps, ce qui facilite l'application de la méthode de tir simple. Sous des hypothèses convenables, nous prouvons un résultat de convergence forte des solutions du problème régularisé vers la solution du problème initial, lorsque le paramètre réel tend vers zéro. Le calcul des temps conjugués pour les trajectoires localement optimales du problème régularisé est standard. Nous prouvons, sous des hypothèses appropriées, la convergence du premier temps conjugué du problème régularisé vers le premier temps conjugué du problème de contrôle bang-bang initial, quand le paramètre réel tend vers zéro. Ainsi, on obtient une procédure algorithmique efficace pour calculer les temps conjugués dans le cas bang-bang. / In this thesis we consider a minimal time control problem for single-input control-affine systems in finite dimension with fixed initial and final conditions, where the scalar control take values on a closed interva1. When applying a shooting method for solving this problem, one may encounter numerical obstacles due to the fact that the shooting function is non smooth whenever the control is bang-bang. For these systems a theoretical concept of conjugate time has been defined in the bang-bang case, however direct algorithms of computation are difficult to apply. Besides, theoretical and practical issues for conjugate time theory are well known in the smooth case, and efficient implementation tools are available. We propose a regularization procedure for which the solutions of the minimal time problem depend on a small enough real positive parameter and are defined by smooth functions with respect to the time variable, facilitating the application of a single shooting method. Under appropriate assumptions, we prove a strong convergence result of the solutions of the regularized problem towards the solution of the initial problem, when the real parameter tends to zero. The conjugate times computation of the locally optimal trajectories for the regularized problem falls into the standard theory. We prove, under appropriate assumptions, the convergence of the first conjugate time of the regularized problem towards the first conjugate time of the initial bang-bang control problem, when the real parameter tends to zero. As a byproduct, we obtain an efficient algorithmic way to compute conjugate times in the bang-bang case.

Motiviert durch das Problem der optimalen Strategie beim Handel einer großen Aktienposition, behandelt diese Arbeit ein stochastisches Kontrollproblem mit zwei besonderen Eigenschaften. Zum einen wird davon ausgegangen, dass das Kontrollproblem eine exponentielle Verzögerung in der Kontrollvariablen beinhaltet, zum anderen nehmen wir an, dass die Koeffizienten des Kontrollproblems linear in der Kontrollvariablen sind. Wir erhalten ein degeneriertes stochastisches Kontrollproblem, dessen Lösung - sofern sie existiert - Bang-Bang-Charakter hat. Die resultierende Unstetigkeit der optimalen Kontrolle führt dazu, dass die Existenz einer optimalen Lösung nicht selbstverständlich ist und bewiesen werden muss. Es wird eine Folge von stochastischen Kontrollproblemen mit Zustandsprozessen konstruiert, deren jeweilige Diffusionsmatrix invertierbar ist und die ursprüngliche degenerierte Diffusionsmatrix approximiert. Außerdem stellen die Kostenfunktionale der Folge eine konvexe Approximation des ursprünglichen linearen Kostenfunktionals dar. Um die Konvergenz der Lösungen dieser Folge zu zeigen, stellen wir die Kontrollprobleme in Form von stochastischen Vorwärts-Rückwärts-Differential-gleichungen (FBSDEs) dar. Wir zeigen, dass die zu der konstruierten Folge von Kontrollproblemen gehörigen Lösungen der Vorwärts-Rückwärtsgleichungen – zumindest für eine Teilfolge - in Verteilung konvergieren. Mit Hilfe einer Konvexitätsannahme der Koeffizienten ist es möglich, einen Kontroll-prozess auf einem passenden Wahrscheinlichkeitsraum zu konstruieren, der optimal für das ursprüngliche stochastische Kontrollproblem ist. Neben der damit bewiesenen Existenz einer optimalen (Bang-Bang-) Lösung, wird damit auch eine glatte Approximation der unstetigen Bang-Bang-Lösung erreicht, welche man für die numerische Approximation des Problems verwenden kann. Die Ergebnisse werden schließlich dann in Form von numerischen Simulationen auf das Problem der optimalen Handels¬ausführung angewendet. / Motivated by the problem of how to optimally execute a large stock position, this thesis considers a stochastic control problem with two special properties. First, the control problem has an exponential delay in the control variable, and so the present value of the state process depends on the moving average of past control decisions. Second, the coefficients are assumed to be linear in the control variable. It is shown that a control problem with these properties generates a mathematically challenging problem. Specifically, it becomes a stochastic control problem whose solution (if one exists) has a bang-bang nature. The resulting discontinuity of the optimal solution creates difficulties in proving the existence of an optimal solution and in solving the problem with numerical methods. A sequence of stochastic control problems with state processes is constructed, whose diffusion matrices are invertible and approximate the original degenerate diffusion matrix. The cost functionals of the sequence of control problems are convex approximations of the original linear cost functional. To prove the convergence of the solutions, the control problems are written in the form of forward-backward stochastic differential equations (FBSDEs). It is then shown that the solutions of the FBSDEs corresponding to the constructed sequence of control problems converge in law, at least along a subsequence. By assuming convexity of the coefficients, it is then possible to construct from this limit an admissible control process which, for an appropriate reference stochastic system, is optimal for our original stochastic control problem. In addition to proving the existence of an optimal (bang-bang) solution, we obtain a smooth approximation of the discontinuous optimal bang-bang solution, which can be used for the numerical solution of the problem. These results are then applied to the optimal execution problem in form of numerical simulations.

<p> A new radar tracking detector using fixed delay lines in place of continuously variable delay lines is described. The fixed delays are switched in and out depending on the output of a correlator. Results of a working system are shown using bang-bang feedback and analog-to-digital feedback, for tracking a time-varying delay. </p> / Thesis / Master of Engineering (MEngr)

The transition to more environmentally sustainable transports, as well as rising fuel prices create a demand for efficient means of transportation. Liftable axles have shown potential to save fuel and reduces tire wear on heavy vehicles. This thesis proposes a simulation environment and a control method for the electronically controlled air suspension system on a four axle truck that enables axle lifting. The goal of the work is to propose a control method that fulfills certain safety criteria and is robust to disturbances introduced by an external un-modeled controller. A simulation environment is proposed, based upon two different physical models of the suspension system. The first model offers simplicity for the initial tuning of the controller and the second model serves as a platform for more realistic testing of the controller before the final vehicle test. The results from the vehicle tests show that the proposed controller is able to regulate the pressure in the suspension bellows to the desired load distribution between the axles of the vehicle, while the vehicle is maintaining a certain height above ground. The vehicle test showed that it was difficult to read the correct pressure in the suspension bellows when the valves controlling the airflow in and out of the suspension bellow were open. A method for compensating the error when the valves are open is proposed. / Övergången till hållbara och miljövänliga transporter samt stigande bränslepriser skapar en efterfrågan av mer effektiva transportmedel. Lyftbara axlar har visats medföra minskad bränsleförbrukning och däckslitage. Denna uppsats föreslår en simuleringsmiljö samt en metod för reglering av det elektroniskt styrda luftfjädringssystemet på en fyraxlig lastbil som möjliggör lyftning av en axel. Målet med arbetet är att föreslå en metod för reglering av systemet som uppfyller en rad säkerhetskriterier och är robust för störningar introducerade av en extern, icke-modellerad styrenhet. Den föreslagna simuleringsmiljön är baserad på två olika fysiska modeller av fjädringssystemet. Den första modellen karakteriseras av dess enkelhet och används för inledande testning och justering av regulatorn. Den andra modellen används för mer realistisk testning av regulatorn innan det avslutande fordonstestet. Resultatet från fordonstesterna visar att den föreslagna regulatorn kan reglera trycket i luftbälgen till den önskade lastfördelningen mellan axlarna på fordonet medan dess höjd bibehålls. Under fordonstestet konstaterades att det inte gick att avläsa det korrekta trycket i luftbälgen när ventilerna som styr luftflödet till och från luftbälgen var öppna. En metod för att kompensera felet som uppstår när ventilerna är öppna föreslås.

On s'interesse ici a la resolution numerique de problemes de controle optimal peu reguliers. On utilise a la base les methodes dites indirectes, a la fois precises et rapides, mais en pratique tres sensibles a l'initialisation. Cette difficulte nous amene a utiliser une demarche homotopique, dans laquelle on part d'un probleme apparente plus facile a resoudre. Le "suivi de chemin" de l'homotopie connectant les deux problemes est ici realise par un algorithme de type simplicial. On s'interesse en premier lieu a un probleme de transfert orbital avec maximisation de la masse utile, puis a deux problemes d'arcs singuliers. Les perspectives futures liees a ces travaux comprennent en particulier l'etude de problemes a contraintes d'etat, egalement delicats a resoudre par les methodes indirectes. Par ailleurs, on souhaite comparer cette approche avec les methodes directes, qui impliquent la discretisation totale ou partielle du probleme.

On considère le problème de contrôle optimal de temps minimal pour des systèmes affine et mono-entrée en dimension finie, avec conditions initiales et finales fixées, où le contrôle scalaire prend ses valeurs dans un intervalle fermé. Lors de l'application d'une méthode de tir pour résoudre ce problème, on peut rencontrer des obstacles numériques car la fonction de tir n'est pas lisse lorsque le contrôle est bang-bang. Pour ces systèmes, dans le cas bang-bang, un concept théorique de temps conjugué a été défini, toutefois les algorithmes de calcul direct sont difficiles à appliquer. En outre, les questions théoriques et pratiques de la théorie du temps conjugué sont bien connues dans le cas lisse, et des outils efficaces de mise en oeuvre sont disponibles. On propose une procédure de régularisation pour laquelle les solutions du problème de temps minimal dépendent d'un paramètre réel positif suffisamment petit et sont définis par des fonctions lisses en temps, ce qui facilite l'application de la méthode de tir simple. Sous des hypothèses convenables, nous prouvons un résultat de convergence forte des solutions du problème régularisé vers la solution du problème initial, lorsque le paramètre réel tend vers zéro. Le calcul des temps conjugués pour les trajectoires localement optimales du problème régularisé est standard. Nous prouvons, sous des hypothèses appropriées, la convergence du premier temps conjugué du problème régularisé vers le premier temps conjugué du problème de contrôle bang-bang initial, quand le paramètre réel tend vers zéro. Ainsi, on obtient une procédure algorithmique efficace pour calculer les temps conjugués dans le cas bang-bang.

abstract: Phase locked loops are an integral part of any electronic system that requires a clock signal and find use in a broad range of applications such as clock and data recovery circuits for high speed serial I/O and frequency synthesizers for RF transceivers and ADCs. Traditionally, PLLs have been primarily analog in nature and since the development of the charge pump PLL, they have almost exclusively been analog. Recently, however, much research has been focused on ADPLLs because of their scalability, flexibility and higher noise immunity. This research investigates some of the latest all-digital PLL architectures and discusses the qualities and tradeoffs of each. A highly flexible and scalable all-digital PLL based frequency synthesizer is implemented in 180 nm CMOS process. This implementation makes use of a binary phase detector, also commonly called a bang-bang phase detector, which has potential of use in high-speed, sub-micron processes due to the simplicity of the phase detector which can be implemented with a simple D flip flop. Due to the nonlinearity introduced by the phase detector, there are certain performance limitations. This architecture incorporates a separate frequency control loop which can alleviate some of these limitations, such as lock range and acquisition time. / Dissertation/Thesis / M.S. Electrical Engineering 2012

As equações do modelo bidimensional de veículos autônomos subaquáticos fornecem um exemplo de sistema de controle não linear com o qual podemos ilustrar propriedades da teoria de controle ótimo. Apresentamos, sistematicamente, como os conceitos de formalismo hamiltoniano e teoria de Lie aparecem de forma natural neste contexto. Para tanto, estudamos brevemente o Princípio do Máximo de Pontryagin e discutimos características de sistemas afins. Tratamos com cuidado do Fenômeno Fuller, fornecendo critérios para decidir quando ele está ou não presente em junções, utilizando para isso uma linguagem algébrica. Apresentamos uma abordagem numérica para tratar problemas de controle ótimo e finalizamos com a aplicação dos resultados ao modelo bidimensional de veículo autônomo subaquático. / The equations of the two-dimensional model for autonomous underwater vehicles provide an example of a nonlinear control system which illustrates properties of optimal control theory. We present, systematically, how the concepts of the Hamiltonian formalism and the Lie theory naturally appear in this context. For this purpose, we briefly study the Pontryagin\'s Maximum Principle and discuss features of affine systems. We treat carefully the Fuller Phenomenon, providing criteria to detect its presence at junctions with an algebraic notation. We present a numerical approach to treat optimal control problems and we conclude with an application of the results in the bidimesional model of autonomous underwater vehicle.

As equações do modelo bidimensional de veículos autônomos subaquáticos fornecem um exemplo de sistema de controle não linear com o qual podemos ilustrar propriedades da teoria de controle ótimo. Apresentamos, sistematicamente, como os conceitos de formalismo hamiltoniano e teoria de Lie aparecem de forma natural neste contexto. Para tanto, estudamos brevemente o Princípio do Máximo de Pontryagin e discutimos características de sistemas afins. Tratamos com cuidado do Fenômeno Fuller, fornecendo critérios para decidir quando ele está ou não presente em junções, utilizando para isso uma linguagem algébrica. Apresentamos uma abordagem numérica para tratar problemas de controle ótimo e finalizamos com a aplicação dos resultados ao modelo bidimensional de veículo autônomo subaquático. / The equations of the two-dimensional model for autonomous underwater vehicles provide an example of a nonlinear control system which illustrates properties of optimal control theory. We present, systematically, how the concepts of the Hamiltonian formalism and the Lie theory naturally appear in this context. For this purpose, we briefly study the Pontryagin\'s Maximum Principle and discuss features of affine systems. We treat carefully the Fuller Phenomenon, providing criteria to detect its presence at junctions with an algebraic notation. We present a numerical approach to treat optimal control problems and we conclude with an application of the results in the bidimesional model of autonomous underwater vehicle.

In this thesis, a base for the modeling and analysis of laser guided weapons is constituted. In particular, the effects of several control schemes on the performance of a generic laser guided weapon system are investigated. In this generic model, it is assumed that the velocity pursuit guidance is employed via a velocity aligning seeker as the sole sensor. The laser seeker is modeled experimentally, based on data obtained by conducting a series of tests. The laser reflection is also modeled. Aerodynamic coefficients of the generic geometry are generated by the software Missile Datcom. A nonlinear, six degree of freedom simulation is constructed incorporating 10 Hz laser sensing, velocity pursuit guidance, seeker model, and multiple control schemes. The effects of bang-bang, bang-trail-bang, multiposition and continuous control techniques on weapon performance are investigated for stationary and moving targets under ideal and noisy conditions. Flight characteristics like miss distance, range envelope, impact speed, and time of flight are monitored. Weapon&amp / #8217 / s maneuverability is investigated and the effect of employing a theoretical down sensor on the performance is demonstrated. In the light of simulation results, comparisons between various schemes are carried out, improvements on them and their flight envelopes are emphasized. It is concluded that the multiposition scheme provides a significant performance increase in most delivery types and can be an alternative to the continuous scheme. It is shown that the continuous scheme can achieve longer ranges only if backed up by a down sensor.