Controllability and stabilisability are two fundamental properties of control systems and it is intuitively appealing to conjecture that the former should imply the latter; especially so when the state of a control system is assumed to be known at every time instant. Such an implication can, indeed, be proven for certain types of controllability and stabilisability, and certain classes of control systems. In the present thesis, we consider real analytic control systems of the form $\Sgr:\dot{x}=f(x,u)$, with $x$ in a real analytic manifold and $u$ in a separable metric space, and we show that, under mild technical assumptions, small-time local controllability from an equilibrium $p$ of \Sgr\ implies the existence of a piecewise analytic feedback \Fscr\ that asymptotically stabilises \Sgr\ at $p$. As a corollary to this result, we show that nonlinear control systems with controllable unstable dynamics and stable uncontrollable dynamics are feedback stabilisable, extending, thus, a classical result of linear control theory. Next, we modify the proof of the existence of \Fscr\ to show stabilisability of small-time locally controllable systems in finite time, at the expense of obtaining a closed-loop system that may not be Lyapunov stable. Having established stabilisability in finite time, we proceed to prove a converse-Lyapunov theorem. If \Fscr\ is a piecewise analytic feedback that stabilises a small-time locally controllable system \mbox{$\Sgr:\dot{x}=f(x,u)$} in finite time, then the Lyapunov function we construct has the interesting property of being differentiable along every trajectory of the closed-loop system obtained by ``applying" \Fscr\ to \Sgr. We conclude this thesis with a number of open problems related to the stabilisability of nonlinear control systems, along with a number of examples from the literature that hint at potentially fruitful lines of future research in the area. / Thesis (Ph.D, Mathematics & Statistics) -- Queen's University, 2012-09-24 10:24:22.51

Yes / This paper investigates the stabilisation problem and consider transient optimisation for a class of the multi-input-multi-output (MIMO) semi-linear stochastic systems. A control algorithm is presented via an m-block backstepping controller design where the closed-loop system has been stabilized in a probabilistic sense and the transient performance is optimisable by optimised by searching the design parameters under the given criterion. In particular, the transient randomness and the probabilistic decoupling will be investigated as case studies. Note that the presented control algorithm can be potentially extended as a framework based on the various performance criteria. To evaluate the effectiveness of this proposed control framework, a numerical example is given with simulation results. In summary, the key contributions of this paper are stated as follows: 1) one block backstepping-based output feedback control design is developed to stabilize the dynamic MIMO semi-linear stochastic systems using a linear estimator; 2) the randomness and probabilistic couplings of the system outputs have been minimized based on the optimisation of the design parameters of the controller; 3) a control framework with transient performance enhancement of multi-variable semi-linear stochastic systems has been discussed. / Higher Education Innovation Fund (No. HEIF 2018-2020), De Montfort University, Leicester, UK.