Stochastic nonlinear control: A unified framework for stability, dissipativity, and optimality

In this work, we develop connections between stochastic stability theory and stochastic optimal control. In particular, first we develop Lyapunov and converse Lyapunov theorems for stochastic semistable nonlinear dynamical systems. Semistability is the property whereby the solutions of a stochastic dynamical system almost surely converge to (not necessarily isolated) Lyapunov stable in probability equilibrium points determined by the system initial conditions. Then we develop a unified framework to address the problem of optimal nonlinear analysis and feedback control for nonlinear stochastic dynamical systems. Specifically, we provide a simplified and tutorial framework for stochastic optimal control and focus on connections between stochastic Lyapunov theory and stochastic Hamilton-Jacobi-Bellman theory. In particular, we show that asymptotic stability in probability of the closed-loop nonlinear system is guaranteed by means of a Lyapunov function which can clearly be seen to be the solution to the steady-state form of the stochastic Hamilton-Jacobi-Bellman equation, and hence, guaranteeing both stochastic stability and optimality. Moreover, extensions to stochastic finite-time and partial-state stability and optimal stabilization are also addressed. Finally, we extended the notion of dissipativity theory for deterministic dynamical systems to controlled Markov diffusion processes and show the utility of the general concept of dissipation for stochastic systems.Ph.D

Finding complex balanced and detailed balanced realizations of chemical reaction networks

Reversibility, weak reversibility and deficiency, detailed and complex balancing are generally not "encoded" in the kinetic differential equations but they are realization properties that may imply local or even global asymptotic stability of the underlying reaction kinetic system when further conditions are also fulfilled. In this paper, efficient numerical procedures are given for finding complex balanced or detailed balanced realizations of mass action type chemical reaction networks or kinetic dynamical systems in the framework of linear programming. The procedures are illustrated on numerical examples.Comment: submitted to J. Math. Che

Control of Cooperative Haptics-Enabled Teleoperation Systems with Application to Minimally Invasive Surgery

Robot-Assisted Minimally Invasive Surgical (RAMIS) systems frequently have a structure of cooperative teleoperator systems where multiple master-slave pairs are used to collaboratively execute a task. Although multiple studies indicate that haptic feedback improves the realism of tool-tissue interaction to the surgeon and leads to better performance for surgical procedures, current telesurgical systems typically do not provide force feedback, mainly because of the inherent stability issues. The research presented in this thesis is directed towards the development of control algorithms for force reflecting cooperative surgical teleoperator systems with improved stability and transparency characteristics. In the case of cooperative force reflecting teleoperation over networks, conventional passivity based approaches may have limited applicability due to potentially non-passive slave-slave interactions and irregular communication delays imposed by the network. In this thesis, an alternative small gain framework for the design of cooperative network-based force reflecting teleoperator systems is developed. Using the small gain framework, control algorithms for cooperative force-reflecting teleoperator systems are designed that guarantee stability in the presence of multiple network-induced communication constraints. Furthermore, the design conservatism typically associated with the small-gain approach is eliminated by using the Projection-Based Force Reflection (PBFR) algorithms. Stability results are established for networked cooperative teleoperator systems under different types of force reflection algorithms in the presence of irregular communication delays. The proposed control approach is consequently implemented on a dual-arm (two masters/two slaves) robotic MIS testbed. The testbed consists of two Haptic Wand devices as masters and two PA10-7C robots as the slave manipulators equipped with da Vinci laparoscopic surgical instruments. The performance of the proposed control approach is evaluated in three different cooperative surgical tasks, which are knot tightening, pegboard transfer, and object manipulation. The experimental results obtained indicate that the PBFR algorithms demonstrate statistically significant performance improvement in comparison with the conventional direct force reflection algorithms. One possible shortcoming of using PBFR algorithms is that implementation of these algorithms may lead to attenuation of the high-frequency component of the contact force which is important, in particular, for haptic perception of stiff surfaces. In this thesis, a solution to this problem is proposed which is based on the idea of separating the different frequency bands in the force reflection signal and consequently applying the projection-based principle to the low-frequency component, while reflecting the high-frequency component directly. The experimental results demonstrate that substantial improvement in transient fidelity of the force feedback is achieved using the proposed method without negative effects on the stability of the system

Stochastic stability research for complex power systems

Bibliography: p. 302-311."November 1980." "Midterm report ... ."U.S. Dept. of Energy Contract ET-76-A-01-2295Tobias A. Trygar

Nonlinear Control of Unmanned Aerial Vehicles : Systems With an Attitude

This thesis deals with the general problem of controlling rigid-body systems through space, with a special focus on unmanned aerial vehicles (UAVs). Several promising UAV control algorithms have been developed over the past decades, enabling truly astounding feats of agility when combined with modern sensing technologies. However, these control algorithms typically come without global stability guarantees when implemented with estimation algorithms. Such control systems work well most of the time, but when introducing the UAVs more widely in society, it becomes paramount to prove that stability is ensured regardless of how the control system is initialized.The main motivation of the research lies in providing such (almost) global stability guarantees for an entire UAV control system. We develop algorithms that are implementable in practice and for which (almost) all initial errors result in perfect tracking of a reference trajectory. In doing so, both the tracking and the estimation errors are shown to be bounded in time along (almost) all solutions of the closed-loop system. In other words, if the initialization is sound and the initial errors are small, they will remain small and decrease in time, and even if the initial errors are large, they will not increase with time.As the field of UAV control is mature, this thesis starts by reviewing some of the most promising approaches to date in Part I. The ambition is to clarify how various controllers are related, provide intuition, and demonstrate how they work in practice. These ideas subsequently form the foundation on which a new result is derived, referred to as a nonlinear filtered output feedback. This represents a diametrically different approach to the control system synthesis. Instead of a disjoint controller/estimator design, the proposed method is comprised of two controller/estimator pairs, which when combined through a special interconnection term yields a system with favorable stability properties.While the first part of the thesis deals with theoretical controller design,Part II concerns application examples, demonstrating how the theory can solve challenging problems in modern society. In particular, we consider the problem of circumnavigation for search and rescue missions and show how UAVs can gather data from radioactive sites to estimate radiation intensity

Dynamical Systems

Complex systems are pervasive in many areas of science integrated in our daily lives. Examples include financial markets, highway transportation networks, telecommunication networks, world and country economies, social networks, immunological systems, living organisms, computational systems and electrical and mechanical structures. Complex systems are often composed of a large number of interconnected and interacting entities, exhibiting much richer global scale dynamics than the properties and behavior of individual entities. Complex systems are studied in many areas of natural sciences, social sciences, engineering and mathematical sciences. This special issue therefore intends to contribute towards the dissemination of the multifaceted concepts in accepted use by the scientific community. We hope readers enjoy this pertinent selection of papers which represents relevant examples of the state of the art in present day research. [...

Основы теории частичной устойчивости и управления : [учебное пособие]

Рассматриваются задачи частичной устойчивости (стабилизации), в том числе задачи устойчивости (стабилизации) по отношению к части переменных, − новые задачи, возникшие в рамках общей теории устойчивости, восходящей к классическим трудам А. М. Ляпунова и А. Пуанкаре. Благодаря большой математической общности, эти задачи являются междисциплинарными и естественным образом возникают при моделировании многих явлений и управляемых процессов в самых разных разделах науки и технологий

第13回数学総合若手研究集会

Katedra české literaturyFaculty of EducationPedagogická fakult