Search Results (12)

This paper investigates the joint state and fault estimation problem for a class of nonlinear systems subject to both measurement censoring (MC) and random missing measurements (MMs). Recognizing that state estimation for nonlinear systems in complex environments is frequently compromised by MMs, MC phenomena, and actuator faults, a novel joint estimation framework that integrates improved Tobit Kalman filtering and federated fusion is proposed, enabling simultaneous robust estimation of system states and fault signals. Among them, the Tobit measurement model is introduced to characterize the phenomenon of MC, a set of Bernoulli random variables is used to describe the MM phenomenon and common actuator faults (abrupt and ramp faults) are considered. In the fusion estimation stage, each sensor transmits observations to the local estimator for preliminary estimation, then sends the local estimated values to the fusion center for generating fusion estimates. The local filtering error covariance is ensured and the upper bound is minimized by reasonably determining the filter gain, while the fusion center performs fusion estimation based on the federated fusion criterion. In addition, this paper proves the boundedness of the filtering error of the designed estimator under certain conditions. Finally, the effectiveness of the estimation framework is demonstrated through two engineering experiments. Full article

This paper investigates the problem of interval estimation and fault detection for nonlinear cyber–physical systems (CPSs) subject to disturbances and random actuator/sensor faults. First, with the purpose of reducing the burden of data transmission, we introduce the dynamic event-triggered mechanism (DETM). For systems violating the non-negativity condition, a coordinate transformation method is applied to enhance the design flexibility. Then, the dynamic event-triggered interval observer (DETIO) is constructed and the effectiveness of DETIO is validated by demonstrating the ultimate uniform boundedness of the error system. The fault detection is achieved by considering faults in the CPSs and continuously monitoring residual signals. Finally, two numerical simulations under both faulty and fault-free conditions are shown to prove the effectiveness and superiority of the designed DETIO-based fault detection method. Full article

This paper is dedicated to dealing with the design issue of a non-fragile state estimator for a type of nonlinear complex network subject to random couplings and random multiple time delays under binary encoding schemes (BESs). The BESs are put into use in the transmission of data from the sensor to the remote estimator. The phenomenon of bit errors is considered in the process of signal transmission, whose description utilizes a Bernoulli-distributed random sequence. The random couplings are represented by using the Kronecker delta function as well as a Markov chain. This paper aims to conduct a non-fragile state estimation such that, in the presence of some variations/perturbations in the gain parameter of the estimator, the estimation error dynamics will reach exponential ultimate boundedness in mean square and the ultimate bound will be minimized. Utilizing both stochastic analysis and matrix inequality processing, a sufficient condition is provided to guarantee that the constructed estimator satisfies the expected estimation performance, and the estimator gains are acquired by tackling an optimization issue constrained by some linear matrix inequalities. Eventually, two simulation examples are conducted, whose results verify that the approach to the design of a non-fragile estimator in this paper is effective. Full article

The study of long-term behavior in stochastic systems is critical for understanding the dynamics of complex processes influenced by randomness. This paper addresses the existence and uniqueness of Stepanov-like pseudo S-asymptotically $(\omega ,c)$-periodic solutions for a class of stochastic integro-differential equations. These equations model systems where the interplay between deterministic and stochastic components dictates the overall dynamics, making periodic analysis essential. The problem addressed in this study is the lack of a comprehensive framework to describe the periodic behavior of such systems in noisy environments. To tackle this, we employ advanced techniques in stochastic analysis, fixed-point theorems and the properties of $L^1$- and $L^2$-convolution kernels to establish conditions for the existence and uniqueness of mild solutions under these extended periodicity settings. The methodology involves leveraging the decay properties of the operator kernels and the boundedness of stochastic integrals to ensure well-posedness. The major outputs of this study include novel results on the existence, uniqueness and stability of Stepanov-like pseudo S-asymptotically $(\omega ,c)$-periodic solutions, along with illustrative example demonstrating their applicability in real-world stochastic systems. Full article

This paper addresses the collaborative localization problem for unmanned surface vehicle (USV) clusters with random measurement delays. We propose a Cubature Kalman Hybrid Consensus Filter (CKHCF) based on the cubature Kalman filter (CKF) for widely distributed USV clusters lacking global communication capabilities. In this approach, each USV exchanges two pairs of information with all its neighbors and recalculates the received localization data based on distance and relative angle measurements. The recalculated information is then fused with the locally filtered data and updated to obtain localization information based on global measurements. To mitigate the impact of random measurement delays, we employ one-step prediction to compensate for delayed measurements. We present the derivation of the CKHCF algorithm and prove its consistency and boundedness using mathematical induction. Finally, we validate the effectiveness of the proposed algorithm through simulation experiments. Full article

In this article, we mainly consider the dynamic analysis of a stochastic infectious disease model with negative feedback, a symmetric and compatible distribution family. Based on the sir epidemic model taking into account the isolation (y) and the death (v), we consider adding a new variable (w) to control the information of non-drug interventions, which measures transformations in isolation performance that determine the epidemic, and establish a new model. We have demonstrated various properties of the model solution using Lyapunov functions for this model. To begin with, we demonstrate the existence and uniqueness of the global positive solution. After that, we obtained the conditions that need to be met for the extinction of the disease and verified the correctness of the conclusion by simulating numerical values. Afterwards, we prove the stochastic boundedness and stationary distribution of the model solution. Full article

In the predator–prey system, predators can affect the prey population by direct killing and predation fear. In the present study, we consider a delayed predator–prey model with fear and Beddington–DeAngelis functional response. The model incorporates not only the fear of predator on prey with an intraspecific competition relationship, but also fear delay and pregnancy delay. Apart from the local stability analysis of the equilibrium points of the model, we find that time delay can change the stability of the system and cause Hopf bifurcation. Taking time delay as the bifurcation parameter, the critical values of delays in several cases are derived. In addition, we extend it to the random environment and study the stochastic ultimate boundedness of the stochastic process. Finally, our theoretical results are validated by numerical simulation. Full article

Measurement delays and model parametric uncertainties are meaningful issues in actual systems. Addressing the simultaneous existence of random model parametric uncertainties and constant measurement delay in the discrete-time linear systems, this study proposes a novel robust estimation method based on the combination of Kalman filter regularized least-squares (RLS) framework and state augmentation. The state augmentation method is elaborately designed, and the cost function is improved by considering the influence of modelling errors. A recursive program similar to the Kalman filter is derived. Meanwhile, the asymptotic stability conditions of the proposed estimator and the boundedness conditions of its error covariance are analyzed theoretically. Numerical simulation results show that the proposed method has a better processing capability for measurement delay and better robustness to model parametric uncertainties than the Kalman filter based on nominal parameters. Full article

Formal modeling is considered one of the fundamental phases in the design of network algorithms, including Active Queue Management (AQM) schemes. This article focuses on modeling with Petri nets (PNs) a new scheme of AQM. This innovative AQM is based on a discrete dynamical model of random early detection (RED) for controlling bifurcations and chaos in Internet congestion control. It incorporates new parameters $\left(\alpha ,\beta \right)$ that make possible better stability control over oscillations of an average queue length (AQL) at the router. The PN is validated through the matrix equation approach, reachability tree, and invariant analysis. The correctness is validated through the key properties of reachability, boundedness, reversibility, deadlock, and liveness. Full article

This paper addresses the problem of nonlinear height tracking control of an automobile active air suspension with the output state constraints and time-varying disturbances. The proposed control strategy guarantees that the ride height stays within a predefined range, and converges closely to an arbitrarily small neighborhood of the desired height, ensuring uniform ultimate boundedness. The designed nonlinear observer is able to compensate for the time-varying disturbances caused by external random road excitation and perturbations, achieving robust performance. Simulation results obtained from the co-simulation (AMESim-Matlab/Simulink) are given and analyzed, demonstrating the efficiency of the proposed control methodology. Full article

Background: Typically, modeling of health-related quality of life data is often troublesome since its distribution is positively or negatively skewed, spikes at zero or one, bounded and heteroscedasticity. Objectives: In the present paper, we aim to investigate whether Bayesian beta regression is appropriate for analyzing the SF-6D health state utility scores and respondent characteristics. Methods: A sample of 126 Lebanese members from the American University of Beirut valued 49 health states defined by the SF-6D using the standard gamble technique. Three different models were fitted for SF-6D via Bayesian Markov chain Monte Carlo (MCMC) simulation methods. These comprised a beta regression, random effects and random effects with covariates. Results from applying the three Bayesian beta regression models were reported and compared based on their predictive ability to previously used linear regression models, using mean prediction error (MPE), root mean squared error (RMSE) and deviance information criterion (DIC). Results: For the three different approaches, the beta regression model was found to perform better than the normal regression model under all criteria used. The beta regression with random effects model performs best, with MPE (0.084), RMSE (0.058) and DIC (−1621). Compared to the traditionally linear regression model, the beta regression provided better predictions of observed values in the entire learning sample and in an out-of-sample validation. Conclusions: Beta regression provides a flexible approach to modeling health state values. It also accounted for the boundedness and heteroscedasticity of the SF-6D index scores. Further research is encouraged. Full article

Departing from a general stochastic model for a moving boundary problem, we consider the density function of probability for the first passing time. It is well known that the distribution of this random variable satisfies a problem ruled by an advection–diffusion system for which very few solutions are known in exact form. The model considers also a deterministic source, and the coefficients of this equation are functions with sufficient regularity. A numerical scheme is designed to estimate the solutions of the initial-boundary-value problem. We prove rigorously that the numerical model is capable of preserving the main characteristics of the solutions of the stochastic model, that is, positivity, boundedness and monotonicity. The scheme has spatial symmetry, and it is theoretically analyzed for consistency, stability and convergence. Some numerical simulations are carried out in this work to assess the capability of the discrete model to preserve the main structural features of the solutions of the model. Moreover, a numerical study confirms the efficiency of the scheme, in agreement with the mathematical results obtained in this work. Full article