Analysis and Control of Non-Affine, Non-Standard, Singularly Perturbed Systems

This dissertation addresses the control problem for the general class of control non-affine, non-standard singularly perturbed continuous-time systems. The problem of control for nonlinear multiple time scale systems is addressed here for the first time in a systematic manner. Toward this end, this dissertation develops the theory of feedback passivation for non-affine systems. This is done by generalizing the Kalman-Yakubovich-Popov lemma for non-affine systems. This generalization is used to identify conditions under which non-affine systems can be rendered passive. Asymptotic stabilization for non-affine systems is guaranteed by using these conditions along with well-known passivity-based control methods. Unlike previous non-affine control approaches, the constructive static compensation technique derived here does not make any assumptions regarding the control influence on the nonlinear dynamical model. Along with these control laws, this dissertation presents novel hierarchical control design procedures to address the two major difficulties in control of multiple time scale systems: lack of an explicit small parameter that models the time scale separation and the complexity of constructing the slow manifold. These research issues are addressed by using insights from geometric singular perturbation theory and control laws are designed without making any assumptions regarding the construction of the slow manifold. The control schemes synthesized accomplish asymptotic slow state tracking for multiple time scale systems and simultaneous slow and fast state trajectory tracking for two time scale systems. The control laws are independent of the scalar perturbation parameter and an upper bound for it is determined such that closed-loop system stability is guaranteed. Performance of these methods is validated in simulation for several problems from science and engineering including the continuously stirred tank reactor, magnetic levitation, six degrees-of-freedom F-18/A Hornet model, non-minimum phase helicopter and conventional take-off and landing aircraft models. Results show that the proposed technique applies both to standard and non-standard forms of singularly perturbed systems and provides asymptotic tracking irrespective of the reference trajectory. This dissertation also shows that some benchmark non-minimum phase aerospace control problems can be posed as slow state tracking for multiple time scale systems and techniques developed here provide an alternate method for exact output tracking

A Singular Perturbation Approach for Time-Domain Assessment of Phase Margin

This paper considers the problem of time-domain assessment of the Phase Margin (PM) of a Single Input Single Output (SISO) Linear Time-Invariant (LTI) system using a singular perturbation approach, where a SISO LTI fast loop system, whose phase lag increases monotonically with frequency, is introduced into the loop as a singular perturbation with a singular perturbation (time-scale separation) parameter Epsilon. First, a bijective relationship between the Singular Perturbation Margin (SPM) max and the PM of the nominal (slow) system is established with an approximation error on the order of Epsilon(exp 2). In proving this result, relationships between the singular perturbation parameter Epsilon, PM of the perturbed system, PM and SPM of the nominal system, and the (monotonically increasing) phase of the fast system are also revealed. These results make it possible to assess the PM of the nominal system in the time-domain for SISO LTI systems using the SPM with a standardized testing system called "PM-gauge," as demonstrated by examples. PM is a widely used stability margin for LTI control system design and certification. Unfortunately, it is not applicable to Linear Time-Varying (LTV) and Nonlinear Time-Varying (NLTV) systems. The approach developed here can be used to establish a theoretical as well as practical metric of stability margin for LTV and NLTV systems using a standardized SPM that is backward compatible with PM

Dynamics and control of flexible manipulators

Flexible link manipulators (FLM) are well-known for their light mass and small energy consumption compared to rigid link manipulators (RLM). These advantages of FLM are even of greater importance in applications where energy efficiency is crucial, such as in space applications. However, RLM are still preferred over FLM for industrial applications. This is due to the fact that the reliability and predictability of the performance of FLM are not yet as good as those of RLM. The major cause for these drawbacks is link flexibility, which not only makes the dynamic modeling of FLM very challenging, but also turns its end-effector trajectory tracking (EETT) into a complicated control problem. The major objectives of the research undertaken in this project were to develop a dynamic model for a FLM and model-based controllers for the EETT. Therefore, the dynamic model of FLM was first derived. This dynamic model was then used to develop the EETT controllers. A dynamic model of a FLM was derived by means of a novel method using the dynamic model of a single flexible link manipulator on a moving base (SFLMB). The computational efficiency of this method is among its novelties. To obtain the dynamic model, the Lagrange method was adopted. Derivation of the kinetic energy and the calculation of the corresponding derivatives, which are required in the Lagrange method, are complex for the FLM. The new method introduced in this thesis alleviated these complexities by calculating the kinetic energy and the required derivatives only for a SFLMB, which were much simpler than those of the FLM. To verify the derived dynamic model the simulation results for a two-link manipulator, with both links being flexible, were compared with those of full nonlinear finite element analysis. These comparisons showed sound agreement. A new controller for EETT of FLM, which used the singularly perturbed form of the dynamic model and the integral manifold concept, was developed. By using the integral manifold concept the links’ lateral deflections were approximately represented in terms of the rotations of the links and input torques. Therefore the end-effector displacement, which was composed of the rotations of the links and links’ lateral deflections, was expressed in terms of the rotations of the links and input torques. The input torques were then selected to reduce the EETT error. The originalities of this controller, which was based on the singularly perturbed form of the dynamic model of FLM, are: (1) it is easy and computationally efficient to implement, and (2) it does not require the time derivative of links’ lateral deflections, which are impractical to measure. The ease and computational efficiency of the new controller were due to the use of the several properties of the dynamic model of the FLM. This controller was first employed for the EETT of a single flexible link manipulator (SFLM) with a linear model. The novel controller was then extended for the EETT of a class of flexible link manipulators, which were composed of a chain of rigid links with only a flexible end-link (CRFE). Finally it was used for the EETT of a FLM with all links being flexible. The simulation results showed the effectiveness of the new controller. These simulations were conducted on a SFLM, a CRFE (with the first link being rigid and second link being flexible) and finally a two-link manipulator, with both links being flexible. Moreover, the feasibility of the new controller proposed in this thesis was verified by experimental studies carried out using the equipment available in the newly established Robotic Laboratory at the University of Saskatchewan. The experimental verifications were performed on a SFLM and a two-link manipulator, with first link being rigid and second link being flexible.Another new controller was also introduced in this thesis for the EETT of single flexible link manipulators with the linear dynamic model. This controller combined the feedforward torque, which was required to move the end-effector along the desired path, with a feedback controller. The novelty of this EETT controller was in developing a new method for the derivation of the feedforward torque. The feedforward torque was obtained by redefining the desired end-effector trajectory. For the end-effector trajectory redefinition, the summation of the stable exponential functions was used. Simulation studies showed the effectiveness of this new controller. Its feasibility was also proven by experimental verification carried out in the Robotic Laboratory at the University of Saskatchewan

Verifiable Adaptive Control with Analytical Stability Margins by Optimal Control Modification

This paper presents a verifiable model-reference adaptive control method based on an optimal control formulation for linear uncertain systems. A predictor model is formulated to enable a parameter estimation of the system parametric uncertainty. The adaptation is based on both the tracking error and predictor error. Using a singular perturbation argument, it can be shown that the closed-loop system tends to a linear time invariant model asymptotically under an assumption of fast adaptation. A stability margin analysis is given to estimate a lower bound of the time delay margin using a matrix measure method. Using this analytical method, the free design parameter n of the optimal control modification adaptive law can be determined to meet a specification of stability margin for verification purposes