Finite time orbitally stabilizing synthesis of complex dynamic systems with bifurcations with application to biological systems

点击翻译按钮获取中文摘要

Stabilization, in finite time rather than asymptotically, of linear and non-linear dynamical systems is an active current area of research internationally. In much of the existing work finite time convergence of a Lyapunov function to the origin of the state space is achieved using an increasing condition on that Lyapunov function given by a differential inequality which is dependent upon the decay rate and both known and uncertain system parameters. The proof of finite time stability on the basis of such a strong Lyapunov function satisfying a differential inequality poses a challenge when compared to proofs of Lyapunov theorems relating to asymptotic stability considerations. The task can be further complicated when the paradigm requires not only a settling time estimate but also seeks to achieve parameter selections for a control strategy to ensure an apriori chosen settling time is achieved. Recent work by the investigators in the domain of mechanical systems has obtained corresponding results using a homogeneity approach where the methodology is founded on a quasihomogeneity principle of possibly discontinuous systems, and thus a broader range of uncertainty is permitted than in the existing literature. Finite time stability which is uniform in the initial data and in the uncertainty is possible, a feature that cannot be guaranteed using existing methods. A finite upper bound on the settling time is determined without the need to find a Lyapunov function satisfying a differential inequality. Work has developed a single Lyapunov function for uncertain, discontinuous mechanical systems to provide global finite time stability to the origin of the system in the presence of velocity jumps without having to analyze the Lyapunov function at the jump instants and has developed parameterisations of sliding mode controllers that ensure finite time stabilisation where the designer specifies a convergence time and controller parameters are explicitly computed as a function of the required convergence time. The current proof of concept demonstrates that finite time stability characteristics can be imposed in possibly discontinuous systems and provides an exciting platform to explore more complex practical scenarios of current interest. It is clear that current methods which analyse systems based upon an assumption of an infinite time horizon are frequently flawed. For example, individual clonal immune cell populations are required to expand and become activated for limited time. Further in the natural world, discontinuity is frequently found as a result of evolution. This project seeks to broaden the system class to which the developed theoretical framework can be applied to encompass such biological dynamics. One specific driver is to parameterise and assess the bifurcations present in the immune system, where a key paradigm is to investigate how a triggering event may move the immune system from the healthy to the autoimmune state and also how control paradigms can be used to postulate treatment to move the system back to the healthy state. Autoimmune disease affects 50 million people in the USA where it is one of the top ten causes of death in women under 65, is the second highest cause of chronic illness, and is the top cause of morbidity in women. The number of cases of autoimmune disease are rising across the world. This rise in the number of people affected and the absence of robust treatment regimes results in the incidence of autoimmune disease contributing significantly to the rise in healthcare spending as well as loss of productivity in the workforce and of course poor quality of life for those affected. There is currently no mechanism-based, conceptual understanding of autoimmune disease. This project seeks to develop and apply emerging methods from finite time stabilisation of uncertain possibly discontinuous dynamic systems to this problem.