A system decomposition approach to the design of functional observers

This paper reports a system decomposition that allows the construction of a minimum-order functional observer using a state observer design approach. The system decomposition translates the functional observer design problem to that of a state observer for a smaller decomposed subsystem. Functional observability indices are introduced, and a closed-form expression for the minimum order required for a functional observer is derived in terms of those functional observability indices. © 2014 Taylor & Francis.

An interval type-2 fuzzy logic system-based method for prediction interval construction

This paper introduces a new non-parametric method for uncertainty quantification through construction of prediction intervals (PIs). The method takes the left and right end points of the type-reduced set of an interval type-2 fuzzy logic system (IT2FLS) model as the lower and upper bounds of a PI. No assumption is made in regard to the data distribution, behaviour, and patterns when developing intervals. A training method is proposed to link the confidence level (CL) concept of PIs to the intervals generated by IT2FLS models. The new PI-based training algorithm not only ensures that PIs constructed using IT2FLS models satisfy the CL requirements, but also reduces widths of PIs and generates practically informative PIs. Proper adjustment of parameters of IT2FLSs is performed through the minimization of a PI-based objective function. A metaheuristic method is applied for minimization of the non-linear non-differentiable cost function. Performance of the proposed method is examined for seven synthetic and real world benchmark case studies with homogenous and heterogeneous noise. The demonstrated results indicate that the proposed method is capable of generating high quality PIs. Comparative studies also show that the performance of the proposed method is equal to or better than traditional neural network-based methods for construction of PIs in more than 90% of cases. The superiority is more evident for the case of data with a heterogeneous noise. © 2014 Elsevier B.V.

A new algorithm to design minimal multi-functional observers for linear systems

Designing minimum possible order (minimal) observers for Multi-Input Multi-Output (MIMO) linear systems have always been an interesting subject. In this paper, a new methodology to design minimal multi-functional observers for Linear Time-Invariant (LTI) systems is proposed. The approach is applicable, and it also helps in regulating the convergence rate of the observed functions. It is assumed that the system is functional observable or functional detectable, which is less conservative than assuming the observability or detectability of the system. To satisfy the minimality of the observer, a recursive algorithm is provided that increases the order of the observer by appending the minimum required auxiliary functions to the desired functions that are going to be estimated. The algorithm increases the number of functions such that the necessary and sufficient conditions for the existence of a functional observer are satisfied. Moreover, a new methodology to solve the observer design interconnected equations is elaborated. Our new algorithm has advantages with regard to the other available methods in designing minimal order functional observers. Specifically, it is compared with the most common schemes, which are transformation based. Using numerical examples it is shown that under special circumstances, the conventional methods have some drawbacks. The problem partly lies in the lack of sufficient numerical degrees of freedom proposed by the conventional methods. It is shown that our proposed algorithm can resolve this issue. A recursive algorithm is also proposed to summarize the observer design procedure. Several numerical examples and simulation results illustrate the efficacy, superiority and different aspects of the theoretical findings.

Reduced order functional observers with application to partial state estimation of linear systems with input delay

Reduced order multi-functional observer design for multi-input multi-utput (MIMO) linear time-invariant (LTI) systems with constant delayed inputs is studied. This research is useful in the input estimation of LTI systems with actuator delay, as well as system monitoring and fault detection of these systems. Two approaches for designing an asymptotically stable functional observer for the system are proposed: delay-dependent and delay-free. The delay-dependent observer is infinite-dimensional, while the delay-free structure is finite-dimensional. Moreover, since the delay-free observer does not require any information on the time delay, it is more practical in real applications. However, the delay-dependent observer contains less restrictive assumptions and covers more variety of systems. The proposed observer design schemes are novel, simple to implement, and have improved numerical features compared to some of the other available approaches to design (unknown-input) functional observers. In addition, the proposed observers usually possess lower order than ordinary Luenberger observers, and the design schemes do not need the observability or detectability requirements of the system. The necessary and sufficient conditions of the existence of an asymptoticobserver in each scenario are explored. The extensions of the proposed observers to systems with multiple delayed-inputs are also discussed. Several numerical examples and simulation results are employed to support our theories.

Linear functional state bounding for perturbed time-delay systems and its application

This paper considers time-delay systems with bounded disturbances. We study a new problem of finding an upper bound of an absolute value function of any given linear functional of the state vector starting from the origin of the system. Based on the Lyapunov-Krasovskii method combining with the recent Wirtinger-based integral inequality that has just been proposed by Seuret & Gouaisbaut (2013. Wirtinger-based integral inequality: application to time-delay systems. Automatica, 49, 2860-2866), sufficient conditions for the existence of an upper bound of the function are derived. The obtained results are shown to be more effective than those adapted from the existing works on reachable set bounding. Furthermore, the obtained results are applied to refine existing ellipsoidal bounds of the reachable sets. The effectiveness of the obtained results is illustrated by two numerical examples.

Introducing linear functions: an alternative statistical approach

The introduction of linear functions is the turning point where many students decide if mathematics is useful or not. This means the role of parameters and variables in linear functions could be considered to be ‘threshold concepts’. There is recognition that linear functions can be taught in context through the exploration of linear modelling examples, but this has its limitations. Currently, statistical data is easily attainable, and graphics or computer algebra system (CAS) calculators are common in many classrooms. The use of this technology provides ease of access to different representations of linear functions as well as the ability to fit a least-squares line for real-life data. This means these calculators could support a possible alternative approach to the introduction of linear functions. This study compares the results of an end-oftopic test for two classes of Australian middle secondary students at a regional school to determine if such an alternative approach is feasible. In this study, test questions were grouped by concept and subjected to concept by concept analysis of the means of test results of the two classes. This analysis revealed that the students following the alternative approach demonstrated greater competence with non-standard questions.

Analysis of phasic and tonic electromyographic signal characteristics: electromyographic synthesis and comparison of novel morphological and linear-envelope approaches

The pattern of tonic and phasic components in an EMG signal reflects the underlying behaviour of the central nervous system (CNS) in controlling the musculature. One avenue for gaining a better understanding of this behaviour is to seek a quantitative characterisation of these phasic and tonic components. We propose that these signal characteristics can range between unvarying, tonic and intermittent, phasic activation through a continuum of EMG amplitude modulation. In this paper, we present two new algorithms for quantifying amplitude modulation: a linear-envelope approach, and a mathematical morphology approach. In addition we present an algorithm for synthesising EMG signals with known amplitude modulation. The efficacy of the synthesis algorithm is demonstrated using real EMG data. We present an evaluation and comparison of the two algorithms for quantifying amplitude modulation based on synthetic data generated by the proposed synthesis algorithm. The results demonstrate that the EMG synthesis parameters represent 91.9% and 96.2% of the variance of linear-envelopes extracted from lumbo-pelvic muscle EMG signals collected from subjects performing a repetitive-movement task. This depended, however, on the muscle and movement-speed considered (F=4.02, p<0.001). Coefficients of determination between input and output amplitude modulation variables were used to quantify the accuracy of the linear-envelope and morphological signal processing algorithms. The linear-envelope algorithm exhibited higher coefficients of determination than the most accurate morphological approach (and hence greater accuracy, T=8.16, p<0.001). Similarly, the standard deviation of the coefficients of determination was 1.691 times smaller (p<0.001). This signal processing algorithm represents a novel tool for the quantification of amplitude modulation in continuous EMG signals and can be used in the study of CNS motor control of the musculature in repetitive-movement tasks.

New results in common functional state estimation for two linear systems with unknown inputs

This paper presents new developments in common functional observers for two systems. We improve an existing common functional observer scheme by reducing its order, and then investigate its existence conditions in terms of the original system matrices. These conditions have never been explored and they enable the users to know at the outset the class of systems for which the scheme is applicable. They also show that both observers can be designed independently of each other which significantly simplifies the design process. A numerical simulation verifies the findings.

On unknown-input functional observability of linear systems

Finding the least possible order of a stable Unknown-Input Functional Observer (UIFO) has always been a challenge in observer design theory. A practical recursive algorithm is proposed in this technical note to design a minimal multi-functional observer for multi-input multi-output (MIMO) linear time-invariant (LTI) systems with unknown-inputs. The concept of unknown-input functional observability is introduced,and it is used as a certificate of the convergence of our algorithm. The proposed procedure looks for a number of additional auxiliary functions to be augmented to the original functions desired for reconstruction. The resulting UIFO is proper, and minimal (of minimum possible order). Moreover, the algorithm does not need the system to be unknown-input observable. A numerical example shows the procedure as well as the effectiveness of the proposed algorithm.

Robust optimal motion cueing algorithm based on the linear quadratic regulator method and a genetic algorithm

The aim of this paper is to design and develop an optimal motion cueing algorithm (MCA) based on the genetic algorithm (GA) that can generate high-fidelity motions within the motion simulator's physical limitations. Both, angular velocity and linear acceleration are adopted as the inputs to the MCA for producing the higher order optimal washout filter. The linear quadratic regulator (LQR) method is used to constrain the human perception error between the real and simulated driving tasks. To develop the optimal MCA, the latest mathematical models of the vestibular system and simulator motion are taken into account. A reference frame with the center of rotation at the driver's head to eliminate false motion cues caused by rotation of the simulator to the translational motion of the driver's head as well as to reduce the workspace displacement is employed. To improve the developed LQR-based optimal MCA, a new strategy based on optimal control theory and the GA is devised. The objective is to reproduce a signal that can follow closely the reference signal and avoid false motion cues by adjusting the parameters from the obtained LQR-based optimal washout filter. This is achieved by taking a series of factors into account, which include the vestibular sensation error between the real and simulated cases, the main dynamic limitations, the human threshold limiter in tilt coordination, the cross correlation coefficient, and the human sensation error fluctuation. It is worth pointing out that other related investigations in the literature normally do not consider the effects of these factors. The proposed optimized MCA based on the GA is implemented using the MATLAB/Simulink software. The results show the effectiveness of the proposed GA-based method in enhancing human sensation, maximizing the reference shape tracking, and reducing the workspace usage.

Minimal multi-functional observers for linear systems using a direct approach

The direct approach in designing functional observers was first presented in [1] for estimating a single function of the states of a Linear Time-Invariant (LTI) system. One of the benefits of the direct scheme is that it does not require solving the interconnected Sylvester equations that appear in the other observer design approaches. In the present paper, the direct approach is extended to reconstruct multiple functions of the states in such a way that the minimum possible order of the observer is achieved. The observer is designed so that an asymptotic functional observer can be obtained with arbitrary convergence rate. In the proposed methodology, it is not necessary that a reduced order observer exists for the desired functions to be estimated. To release this limitation, an algorithm is employed to find some auxiliary functions in the minimum required number to be appended to the desired functions. This method assumes that the system is functional observable. This assumption however is less restrictive than the observability and detectability conditions of the system. A numerical example and simulation results explain the efficacy and the benefits of the proposed algorithm.

Primary voltage control of a single-phase inverter using linear quadratic regulator with integrator

This paper proposes a linear quadratic regulator with integral action, ensuring fast dynamic response and resisting capability of voltage deviation from instantaneous reference grid voltage, to control the inverter voltage that can also be used in a microgrid. The proposed control strategy is based on a linear quadratic regulator, minimizing the cost function of the system, with integral action used to impede voltage degradation from a reference voltage for outside disturbances of the system, such as abrupt load change. The combined integral term assists to recover the voltage difference between grid and reference grid voltage. The validity of the proposed controller has been tested with linear and non-linear loads under various conditions. In both cases, the effectiveness of the controller has been proved. The result of the proposed controller is good to track the instantaneous reference grid voltage.

Linear approximation of Karnik-Mendel type reduction algorithm

Karnik-Mendel (KM) algorithm is the most used and researched type reduction (TR) algorithm in literature. This algorithm is iterative in nature and despite consistent long term effort, no general closed form formula has been found to replace this computationally expensive algorithm. In this research work, we demonstrate that the outcome of KM algorithm can be approximated by simple linear regression techniques. Since most of the applications will have a fixed range of inputs with small scale variations, it is possible to handle those complexities in design phase and build a fuzzy logic system (FLS) with low run time computational burden. This objective can be well served by the application of regression techniques. This work presents an overview of feasibility of regression techniques for design of data-driven type reducers while keeping the uncertainty bound in FLS intact. Simulation results demonstrates the approximation error is less than 2%. Thus our work preserve the essence of Karnik-Mendel algorithm and serves the requirement of low
computational complexities.