Safety constraints are ubiquitous in many robotic applications. For instance, aerial robots such as quadrotors or hexcoptors need to realize fast collision-free flight, and bipedal robots have to choose their discrete footholds properly to gain the desired friction and pressure contact forces. In this thesis, we address the safety critical control problem for fully-actuated and under-actuated mechanical systems. Since many mechanical systems evolve on nonlinear manifolds, we extend the concept of Control Barrier Function to a new concept called geometric Control Barrier Function which is specifically designed to handle safety constraints on manifolds. This type of Control Barrier Function stems from geometric control techniques and has a coordinate free and compact representation. In a similar fashion, we also extend the concept of Control Lyapunov Function to the concept of geometric Control Lyapunov Function to realize tracking on the manifolds. Based on these new geometric versions of CLF and CBF, we propose a general control design method for fully-actuated systems with both state and input constraints. In this CBF-CLF-QP control design, the control input is computed based on a state-dependent Quadratic Programming (QP) where the safety constraints are strictly enforced using geometric CBF but the tracking constraint is imposed through a type of relaxation. Through this type of relaxation, the controller could still keep the system state safe even in the cases when the reference is unsafe during some time period. For a single quadrotor, we propose the concept of augmented Control Barrier Function specifically to let it avoid external obstacles. Using this augmented CBF, we could still utilize the idea of CBF-CLF-QP controller in a sequential QP control design framework to let this quadrotor remain safe during the flight. In meantime, we also apply the geometric control techniques to the aerial transportation problem where a payload is carried by multiple quadrotors through cable suspension. This type of transportation method allows multiple quadrotors to share the payload weight, but introduces internal safety constraints at the same time. By employing both linear and nonlinear techniques, we are able to carry the payload pose to follow a pre-defined reference trajectory.

京都大学 / 0048 / 新制・課程博士 / 博士(人間・環境学) / 甲第22521号 / 人博第924号 / 新制||人||221(附属図書館) / 2019||人博||924(吉田南総合図書館) / 京都大学大学院人間・環境学研究科共生人間学専攻 / (主査)准教授 木坂 正史, 教授 角 大輝, 教授 足立 匡義 / 学位規則第4条第1項該当 / Doctor of Human and Environmental Studies / Kyoto University / DFAM

The theory of deterministic chaos has generated a lot of interest and continues to be one of the much-focused research areas in the field of dynamics today. This is due to its prevalence in essential parts of human lives such as electrical circuits, chemical reactions, the flow of blood through the human system, the weather, etc. This thesis presents a study of the Lorenz equations, a famous example of chaotic systems. In particular, it presents the analysis of the Lorenz equations from stability to chaos and various bifurcation scenarios with numerical and graphical interpretations. It studies concepts of non-linear dynamical systems such as equilibrium points, stability, linearization, bifurcation, Lyapunov function, etc. Finally, it discusses how the Lorenz equations serve as a model for the waterwheel (in detail), and the convection roll for fluid.

No description available.

<p>We present an alternative proof of the existence theorem of B\"ohm using ideas from the study of gradient Ricci solitons on the multiple warped product cohomogeneity one manifolds by Dancer and Wang. We conclude that the complete Ricci-flat metric converges to a Ricci-flat cone. Also, starting from a $4n$-dimensional $\mathbb{H}P^{n}$ base space, we construct numerical Ricci-flat metrics of cohomogeneity one in ($4n+3$) dimensions whose level surfaces are $\mathbb{C}P^{2n+1}$. We show the local Ricci-flat solution is unique (up to homothety). The numerical results suggest that they all converge to Ricci-flat Ziller cone metrics even if $n=2$.</p> / Master of Science (MSc)

Esta tesis considera un enfoque basado en Lyapunov para el análisis y control de sistemas no lineales cuyas ecuaciones dinámicas son reescritas como un modelo Takagi-Sugeno o uno polinomial convexo. Estas estructuras permiten resolver problemas de control mediante técnicas de optimización convexa, más concretamente desigualdades matriciales lineales y suma de cuadrados, que son eficientes herramientas desde un punto de vista computacional. Después de proporcionar una visión general básica del estado actual en el campo de los modelos Takagi-Sugeno, esta tesis aborda cuestiones sobre las funciones de Lyapunov por trozos, dependiente de parámetros e integral de línea, con las siguientes contribuciones: Un algoritmo mejorado para estimaciones del dominio de atracción de sistemas no lineales para sistemas de tiempo continuo. Los resultados se basan en funciones de Lyapunov por trozos, desigualdades matriciales lineales y argumentaciones geométricas; enfoques basados en conjuntos de nivel en la literatura previa se han mejorado significativamente. Una función Lyapunov generalizada dependiente de parámetros para la síntesis de controladores para sistemas Takagi-Sugeno. El enfoque propone una ley de control multi-índice que retroalimenta la derivada del tiempo de las funciones de membresía del modelo Takagi-Sugeno para anular los términos que causan localidad a priori en el análisis de Lyapunov. Una nueva función integral de Lyapunov para el análisis de estabilidad de sistemas no lineales. Estos resultados generalizan aquellos basados en funciones de Lyapunov integral de línea al marco polinomial; resulta que los requisitos de independencia del camino pueden ser anulados por una definición adecuada de una función Lyapunov con términos integrales. / This thesis considers a Lyapunov-based approach for analysis and control of nonlinear systems whose dynamical equations are rewritten as a Takagi-Sugeno model or a convex polynomial one. These structures allow solving control problems via convex optimisation techniques, more specifically linear matrix inequalities and sum-of-squares, which are efficient tools from the computational point of view. After providing a basic overview of the state of the art in the field of Takagi-Sugeno models, this thesis address issues on piecewise, parameter-dependent and line-integral Lyapunov functions, with the following contributions: An improved algorithm to estimate the domain of attraction of nonlinear systems for continuous-time systems. The results are based on piecewise Lyapunov functions, linear matrix inequalities, and geometrical argumentations; level-set approaches in prior literature are significantly improved. A generalised parameter-dependent Lyapunov function for synthesis of controllers for Takagi-Sugeno systems. The approach proposed a multi-index control law that feeds back the time derivative of the membership function of the Takagi-Sugeno model to cancel out the terms that cause a priori locality in the Lyapunov analysis. A new integral Lyapunov function for stability analysis of nonlinear systems. These results generalise those based on line-integral Lyapunov functions to the polynomial framework; it turns out path-independency requirements can be overridden by an adequate definition of a Lyapunov function with integral terms. / Aquesta tesi considera un enfocament basat en Lyapunov per a l'anàlisi i control de sistemes no lineals les equacions dinàmiques dels quals són reescrites com un model Takagi-Sugeno o un de polinomial convex. Aquestes estructures permeten resoldre problemes de control mitjançant tècniques d'optimització convexa, més concretament desigualtats matricials lineals i suma de quadrats, que són eines eficients des d'un punt de vista computacional. Després de proporcionar una visió general bàsica de l'estat actual en el camp dels models Takagi-Sugeno, aquesta tesi aborda qüestions sobre les funcions de Lyapunov per trossos, dependent de paràmetres i integral de línia, amb les següents contribucions: Un algoritme millorat per a estimar el domini d'atracció de sistemes no lineals per a sistemes de temps continu. Els resultats es basen en funcions de Lyapunov per trossos, desigualtats matricials lineals i argumentacions geomètriques; enfocaments basats en conjunts de nivell en la literatura prèvia s'han millorat significativament. Una funció Lyapunov generalitzada dependent de paràmetres per a la síntesi de controladors per a sistemes Takagi-Sugeno. L'enfocament proposa una llei de control multi-índex que retroalimenta la derivada del temps de les funcions de membres del model Takagi-Sugeno per anul·lar els termes que causen localitat a priori en l'anàlisi de Lyapunov. Una nova funció integral de Lyapunov per a l'anàlisi d'estabilitat de sistemes no lineals. Aquests resultats generalitzen aquells basats en funcions de Lyapunov integral de línia al marc polinomial; resulta que els requisits d'independència del camí poden ser anul·lats per una definició adequada d'una funció Lyapunov amb termes integrals. / González Germán, IT. (2018). Contributions to analysis and control of Takagi-Sugeno systems via piecewise, parameter-dependent, and integral Lyapunov functions [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/101282

<p>Utilization of power electronics based controllable systems (or devices) in transmission systems has opened new opportunities for the power industry to optimize utilization of the existing transmission systems, and at the same time to keep high system reliability and security.</p><p>As a member of these controllable systems, Voltage Source Converters-based High Voltage direct current (VSC-HVdc) systems have the ability to rapidly control the transmitted active power, and also to independently exchange reactive power with transmissions systems. Therefore, VSC-HVdcs with a suitable control scheme can offer an alternative means to enhance transient stability, to improve power oscillations damping, and to provide voltage support. An interesting application of this system is the analysis of a power system when a VSC-HVdc is connected in parallel with ac transmission lines.</p><p>This thesis presents the derivation of control strategies to damp power oscillations, to enhance the transient stability and to provide voltage support for a VSC-HVdc. The thesis also formulates a multichoice control strategy and its application when the VSC-HVdc is connected in a synchronous system.</p><p>The control strategy for enhancing transient stability is based on the theory of Control Lyapunov Function. The control strategy for increasing the damping is based on Linear Analysis. A very effective well known way to increase damping in the system is modulating the active power through the HVdc. However, besides the control of active power, the thesis explores an alternative way to mitigate power oscillations by controlling the reactive power. This condition might be very useful when the dc link in the VSC-HVdc system is out of service, but the converter stations are in operating conditions.</p><p>A simple model of VSC-HVdc is considered in order to test the control strategy. The model represents the VSC-HVdc as an element in the power system that provides adequate interaction with other systems elements. The model is intended for analysis of power flows and electromechanical transients. It is then sufficient to consider the power frequency components of voltages and currents represented by phasors that vary with time during transients. The model is valid for symmetrical conditions, i.e. positive sequence phasors are used for the representation of the electrical state.</p>

Made available in DSpace on 2014-06-11T19:27:07Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-02-26Bitstream added on 2014-06-13T19:06:47Z : No. of bitstreams: 1 santos_ild_me_sjrp.pdf: 434711 bytes, checksum: 230caec3d969a14efac9b1700fd1dd97 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho introduzimos uma classe de sistemas dinâmicos descontínuos com espaço tempo contínuo e analisamos Teoremas que asseguram condições suficientes para a estabilidade de Lyapunov utilizando funções de Lyapunov. Além disso, consideramos também Teoremas de Recíproca, que sob algumas condições garantem uma determinada necessidade para esses Teoremas de estabilidade de Lyapunov. / In this work we introduce a class of discontinuous dynamical systems with time space continuous and we analyze Theorems that ensure sufficient conditions for the Lyapunov stability using Lyapunov functions. Moreover, we also consider Converse Theorems, which under some conditions guarantee a determined necessity for those Theorems of Lyapunov stability.

Orientador: Marcelo Carvalho Minhoto Teixeira / Coorientador: Rodrigo Cardim / Banca: Edvaldo Assunção / Banca: Alfredo Del Sole Lordelo / Resumo: Neste trabalho é realizada a análise da estabilidade de sistemas fuzzy Takagi-Sugeno (TS) contínuos no tempo, através de Funções de Lyapunov Fuzzy (FLF), Funções de Lyapunov Metzler (FLM) e de Funções de Lyapunov Fuzzy-Metzler (FLFM) introduzida nesta disser- tação. Novas propostas são feitas a partir destas análises, sendo apresentadas condições su- ficientes para a estabilidade assintótica destes sistemas no sentido de Lyapunov. As soluções obtidas são baseadas em desigualdades lineares matriciais (LMIs, do inglês Linear Matrix Ine- qualities) e dependem da solução de um conjunto de desigualdades de Lyapunov-Metzler, que podem ser de difícil solução. Então, foram apresentadas condições de estabilidade baseadas em uma subclasse de matrizes de Metzler que, quando factíveis, podem ser resolvidas através de LMIs com a necessidade de uma busca unidimensional. Foram propostos métodos que genera- lizam os já existentes na literatura, baseados em FLF, para a estabilidade assintótica dos sistemas fuzzy TS / Abstract: This work addresses the stability analysis of Takagi-Sugeno (TS) fuzzy systems via Fuzzy Lyapunov Functions (FLF), Metzler Lyapunov Functions (MLF) and Fuzzy-Metzler Lyapunov Functions (FMLF) that was proposed in this dissertation. New proposals are made from these analyses, and sufficient conditions for asymptotic stability of these systems in the sense of Lyapunov are presented. The results obtained are based on LMIs (Linear Matrix Inequalities) and depend on the solutions of a set of Lyapunov-Metzler inequalities, that are usually difficult to solve. Then, conditions for stability based on a subclass of Metzler matrices that, when feasible, can be described by a set of LMIs with an unidimensional search, are presented. The proposed methods generalize the similar methods available in the literature, based on FLF, for the asymptotic stability of TS fuzzy systems / Mestre

Orientador: Marina Vachkovskaia / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-21T12:11:37Z (GMT). No. of bitstreams: 1 Oliveira_HeloisaMariade_D.pdf: 1371327 bytes, checksum: 1913d92f9ff81812cfbf5b4fab73215d (MD5) Previous issue date: 2012 / Resumo: Considere as redes de filas com N servidores e K tipos de trabalho. Suponha que os tipos de trabalho i chegam independentemente à rede de acordo com o processo de Poisson com taxa...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: Consider a queueing network with N servers and K types of jobs (or customer classes). The types of jobs i, i = 1; ¿ ;K, arrive at the system accordingly to independent Poisson process with rate...Note: The complete abstract is available with the full electronic document / Doutorado / Estatistica / Doutora em Estatística