Experimental parameter estimation methodology based on equivalent output injection

This paper presents a method for recursively estimating the static parameters of linear or nonlinear stochastic dynamic systems given the systems' inputs and outputs. The paper accomplishes this objective by combining polynomial chaos theory with maximum likelihood estimation. The parameter estimates are calculated in a recursive or iterative manner. To the best of the author's knowledge, this is the first paper to address recursive maximum likelihood parameter estimation using polynomial chaos theory. The proposed approach is demonstrated on two systems: a linear 2nd order system with unknown damping and natural frequency, and a nonlinear Van der Pol oscillator with an unknown nonlinear damping coefficient. Because this recursive estimator is applicable to nonlinear systems, the authors portend that this novel formulation will be useful for a broad range of estimation problems.

This work presents a new strategy in design optimization of nonlinear vibration absorbers with continuous and discontinuous motions. A cluster-based harmonic balance aided optimization technique using force balance or energy balance as the basis is generalized and adapted for nonlinear systems. It is found that optimal design parameters form a cluster in the parameter space and points from the parameter space inside the cluster satisfies design considerations. One of the main disadvantages of using existing optimization methods in nonlinear systems is that the parameter regimes, which provide periodic solutions, are not known beforehand, so one has to first do bifurcation studies to arrive at periodic regimes and optimization has to be conducted in the range. Proposed method combines these two steps as it converges to periodic clusters alone. Since the method admits only periodic solutions, occurrence of conditions such as chaos and quasi periodicity can be eliminated from the dynamics of the system. The proposed method can also be used to find the optimal parameters of both linear and nonlinear dynamical systems.

The on-line or adaptive identification of parameters in abstract linear and nonlinear infinite-dimensional dynamical systems is considered. An estimator in the form of an infinite-dimensional linear evolution system having the state and parameter estimates as its states is defined. Convergence of the state estimator is established via a Lyapunov estimate. The finite-dimensional notion of a plant being sufficiently rich or persistently excited is extended to infinite dimensions. Convergence of the parameter estimates is established under the additional assumption that the plant is persistently excited. A finite-dimensional approximation theory is developed, and convergence results are established. Numerical results for examples involving the estimation of both constant and functional parameters in one-dimensional linear and nonlinear heat or diffusion equations and the estimation of stiffness and damping parameters in a one-dimensional wave equation with Kelvin--Voigt viscoelastic damping are presented.

This paper presents how to apply a newly developed general theory for the global transversality and tangency of flows in n-dimensional nonlinear dynamical systems to a 2-D nonlinear dynamical system (i.e. a periodically forced, damped Duffing oscillator). The global tangency and transversality of the periodic and chaotic motions to the separatrix for such a nonlinear system are discussed to help us understand the complexity of chaos in nonlinear dynamical systems. This paper presents the concept that the global transversality and tangency to the separatrix are independent of the Melnikov function (or the energy increment). Chaos in nonlinear dynamical systems makes the exact energy increment quantity to be chaotic no matter if the nonlinear dynamical systems have separatrices or not. The simple zero of the Melnikov function cannot be used to simply determine the existence of chaos in nonlinear dynamical systems. Through this paper, the expectation is that, from now on, one can use the alternative aspect to look into the complexity of chaos in nonlinear dynamical systems. Therefore, in this paper, the analytical conditions for global transversality and tangency of 2-D nonlinear dynamical systems are presented. The first integral quantity increment (i.e. the energy increment) for a certain time interval is achieved for periodic flows and chaos in the 2-D nonlinear dynamical systems. Under the perturbation assumptions and convergent conditions, the Melnikov function is recovered from the first integral quantity increment. A periodically forced, damped Duffing oscillator with a separatrix is investigated as a sampled problem. The corresponding analytical conditions for the global transversality and tangency to the separatrix are obtained and verified by numerical simulations. The switching planes and the corresponding local and global mappings are defined on the separatrix. The mapping structures are developed for local and global periodic flows passing through the separatrix. The mapping structures of global chaos in the damped Duffing oscillator are also discussed. Bifurcation scenarios of the damped Duffing oscillator are presented through the traditional Poincaré mapping section and the switching planes. The first integral quantity increment (i.e. L-function) is presented to observe the periodicity of flows. In addition, the global tangency of periodic flows in such an oscillator is measured by the G-function and G(1)-function, and is verified by numerical simulations. The first integral quantity increment of periodic flows is zero for their complete periodic cycles. Numerical simulations of chaos in such a Duffing oscillator are carried out through the Poincaré mapping sections. The conservative energy distribution, G-function and L-function along the displacement of Poincaré mapping points are presented to observe the complexity of chaos. The first integral quantity increment (i.e. L-function) of chaotic flows at the Poincaré mapping points is nonzero and chaotic. The switching planes of chaos are presented on the separatrix for a better understanding of the global transversality to the separatrix. The switching point distribution on the separatrix is presented and the switching G-function on the separatrix is given to show the global transversality of chaos on the separatrix. The analytical conditions are obtained from the new theory rather than the Melnikov method. The new conditions for the global transversality and tangency are more accurate and independent of the small parameters.

Distributed Fault Diagnosis for Input-Output Continuous-Time Nonlinear Systems

This paper addresses the problem of computing controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requirements. We develop new methods for models of systems subject to both stochastic and parametric uncertainties. We provide for the first time novel simulation relations for enabling correct-by-design control refinement, that are founded on coupling uncertainties of stochastic systems via sub-probability measures. Such new relations are essential for constructing abstract models that are related to not only one model but to a set of parameterized models. We provide theoretical results for establishing this new class of relations and the associated closeness guarantees for both linear and nonlinear parametric systems with additive Gaussian uncertainty. The results are demonstrated on a linear model and the nonlinear model of the Van der Pol Oscillator.

Nonlinear systems play a significant role in numerous scientific and engineering disciplines, and comprehending their behavior is crucial for the development of effective control and prediction strategies. This paper introduces a novel data-driven approach for accurately modeling and estimating parameters of nonlinear systems utilizing trust region optimization. The proposed method is applied to three well-known systems: the Van der Pol oscillator, the Damped oscillator, and the Lorenz system, which find broad applications in engineering, physics, and biology. The results demonstrate the efficacy of the approach in accurately identifying the parameters of these nonlinear systems, enabling a reliable characterization of their behavior. Particularly in chaotic systems like the Lorenz system, capturing the dynamics on the attractor proves to be crucial. Overall, this article presents a robust data-driven approach for parameter estimation in nonlinear dynamical systems, holding promising potential for real-world applications.Graphic

In this paper we first present an error analysis for the process of estimates generated by the Wonham filter when it is used for the estimation of the (finite set-valued) jump-Markov parameters of a random parameter linear stochastic system and further give bounds on certain functions of these estimates. We then consider a certainty equivalence adaptive linear-quadratic Gaussian feedback control law using the estimates generated by the nonlinear filter and demonstrate the global existence of solutions to the resulting closed-loop system. A stochastic Lyapunov analysis establishes that the certainty equivalence law stabilizes the Markov jump parameter linear system in the mean square average sense. The conditions for this result are that certain products of (i) the parameter process jump rate and (ii) the solution of the control Riccati equation and its second derivatives should be less than certain given bounds. An example is given where the controlled linear system has state dimension 2. Finally, the stabilizing properties of certainty equivalence laws which depend on (i) the maximum likelihood estimate of the parameter value and (ii) a modified version of this estimate are established under certain conditions.

In this paper, an effective method is proposed called the “Dynamic Routh’s stability Criterion (DRSC)”, which is developed using the Dynamic Pole Motion (DPM) approach (DPMA). This innovative technique extends the classical Routh’s stability criterion—traditionally limited to linear time-invariant (LTI) systems—to encompass a broader range of systems, including linear time-varying and nonlinear dynamic systems. By incorporating the behavior of pole trajectories over time, the proposed method offers a more comprehensive framework for analyzing system stability in more complex and realistic scenarios. DPM approach describes the notion of dynamic poles (DP) in a three dimensional ‘g-plane’, which is an extension to the two dimensional ‘s-plane’. The s-domain approach is based upon Laplace transform and has been used for linear time-invariant (LTI) system only. This novel g-plane framework is versatile enough to be applied to both linear and nonlinear dynamic systems. For the stability of dynamic systems, the DP must present in the left-hand side (LHS) of the g-plane. For nonlinear systems, the locations of DP are the function of system states; and these systems states are the function of initial conditions with amplitude and frequency (AnF) of input signals. Therefore, in nonlinear systems, stability is influenced not only by the initial conditions but also by the AnF of the input signals. For example, for given amplitude of the input signal, system may be unstable at low frequency; however, it may become stable at high frequency or vice-versa. These stability conditions are illustrated by several examples.

Modeling of Microblogging Social Networks: Dynamical System vs. Random Dynamical System

In this paper, we consider an observer design by using a formal linearization based on Fourier expansion for nonlinear dynamic and measurement systems. A non-linear dynamic system is given by a nonlinear ordinary differential equation, and a measurement sysetm is done by a nonlinear equation. Defining a linearization function which consists of the trigonometric functions considered up to the higher-order, a nonlinear dynamic system is transformed into an augmented linear one with respect to this linearization function by using Fourier expansion. Introducing an augmented measurement vector which consists of polynomials of measurement data, a measurement equation is transformed into an augmented linear one with respect to the linearization function in the same way. To these augmented linearized systems, a linear estimation theory is applied to design a new non-linear observer.

A nonlinear programming approach is developed to estimate process variables and parameters in nonlinear dynamic systems. This approach is used for identification and nonlinear predictive control of a jacketed CSTR with deadtime on the measurements. Studies are performed that illustrate the effects of model structure uncertainty, parameter uncertainty, measurement noise and measurement deadtime uncertainty. This estimation-based approach is shown to be superior to nonlinear predictive control without estimation.

Adaptive control has been developed for decades, and now it has become a rigorous and mature discipline which mainly focuses on dealing parametric uncertainties in control systems, especially linear parametric systems. Nonparametric uncertainties were seldom studied or addressed in the literature of adaptive control until new areas on exploring limitations and capability of feedback control emerged in recent years. Comparing with the approach of robust control to deal with parametric or nonparametric uncertainties, the approach of adaptive control can deal with relatively larger uncertainties and gain more flexibility to fit the unknown plant because adaptive control usually involves adaptive estimation algorithms which play role of “learning” in some sense. This chapter will introduce a new challenging topic on dealing with both parametric and nonparametric internal uncertainties in the same system. The existence of both two kinds of uncertainties makes it very difficult or even impossible to apply the traditional recursive identification algorithms which are designed for parametric systems. We will discuss by examples why conventional adaptive estimation and hence conventional adaptive control cannot be applied directly to deal with combination of parametric and nonparametric uncertainties. And we will also introduce basic ideas to handle the difficulties involved in the adaptive estimation problem for the system with combination of parametric and nonparametric uncertainties. Especially, we will propose and discuss a novel class of adaptive estimators, i.e. information-concentration (IC) estimators. This area is still in its infant stage, and more efforts are expected in the future for gainning comprehensive understanding to resolve challenging difficulties. Furthermore, we will give two concrete examples of semi-parametric adaptive control to demonstrate the ideas and the principles to deal with both parametric and nonparametric uncertainties in the plant. (1) In the first example, a simple first-order discrete-time nonlinear system with both kinds of internal uncertainties is investigated, where the uncertainty of non-parametric part is characterized by a Lipschitz constant L, and the nonlinearity of parametric part is characterized by an exponent index b. In this example, based on the idea of the IC estimator, we construct a unified adaptive controller in both cases of b = 1 and

This research frame work investigates the application of a clustered based Neuro-fuzzy system to nonlinear dynamic system modeling from a set of input-output training patterns. It is concentrated on the modeling via Takagi-Sugeno (T-S) modeling technique and the employment of fuzzy clustering to generate suitable initial membership functions. Hence, such created initial memberships are then employed to construct suitable T-S sub-models. Furthermore, the T-S fuzzy models have been validated and checked through the use of some standard model validation techniques (like the correlation functions). Compared to other well-known approximation techniques such as artificial neural networks, fuzzy systems provide a more transparent representation of the system under study, which is mainly due to the possible linguistic interpretation in the form of rules. Such intelligent modeling scheme is very useful once making complicated systems linguistically transparent in terms of fuzzy if-then rules. The developed T-S Fuzzy modeling system has been then applied to model a nonlinear antenna dynamic system with two coupled inputs and outputs. Validation results have resulted in a very close antenna sub-models of the original nonlinear antenna system. The suggested technique is very useful for development transparent linear control systems even for highly nonlinear dynamic systems.

In reality, the behavior and nature of nonlinear dynamical systems are ubiquitous in many practical engineering problems. The mathematical models of such problems are often governed by a set of coupled second-order differential equations to form multi-degree-of-freedom (MDOF) nonlinear dynamical systems. It is extremely difficult to find the exact and analytical solutions in general. In this paper, the homotopy analysis method is presented to derive the analytical approximation solutions for MDOF dynamical systems. Four illustrative examples are used to show the validity and accuracy of the homotopy analysis and modified homotopy analysis methods in solving MDOF dynamical systems. Comparisons are conducted between the analytical approximation and exact solutions. The results demonstrate that the HAM is an effective and robust technique for linear and nonlinear MDOF dynamical systems. The proof of convergence theorems for the present method is elucidated as well.