Opacity is a central concept in the issue of privacy security and has been studied extensively in fields such as finite automata, probabilistic automata, and stochastic automata. Here, we investigate the problem of va...
详细信息
Opacity is a central concept in the issue of privacy security and has been studied extensively in fields such as finite automata, probabilistic automata, and stochastic automata. Here, we investigate the problem of validating multi-step opaque properties through unambiguous weighted machines from the perspective of cyber-physical systems. First, the notion of multi-step state-based opacity for unambiguous weighted machines is presented and defined. It includes two variants of delays with a finite K and infinite steps. Subsequently, the weighted state estimate with K(infinite)-step delay is established by abstracting the possible state set that the system could have through these weighted observations. Meanwhile, to keep the observable weighted sequence consistent between the bidirectional observers, the unobserved weights of the reverse weighted machine are assumed to be reserved. Subsequently, the existence conditions are developed, and the corresponding algorithms, termed the weighted bidirectional observer, are generalized to verify these properties. Finally, several numerical examples are illustrated to demonstrate the effectiveness of the proposed method. Taken together, the current approach will be conducive to a deep understanding of the security and privacy of cyber-physical systems.
This paper focuses on the distributed adaptive cooperative control problem for human-in-the-loop (HiTL) heterogeneous unmanned aerial vehicle-unmanned ground vehicle (UAV-UGV) systems via an improved prescribed perfor...
详细信息
This paper focuses on the distributed adaptive cooperative control problem for human-in-the-loop (HiTL) heterogeneous unmanned aerial vehicle-unmanned ground vehicle (UAV-UGV) systems via an improved prescribed performance approach. A novel human motion recognition system (HMRS) is designed and integrated into the HiTL strategy. Specifically, the leader trajectory can be changed in real time based on HMRS and the leader signal library to cope with various unexpected situations. This HiTL strategy solves the discontinuity and non-differentiability problems that may exist before and after human modification of leader signals within the extremely short time in conventional HiTL strategies. Moreover, an improved predefined-time prescribed performance approach is proposed, in which the performance function only needs to be first-order continuous differentiable instead of infinite-order continuous differentiable. This approach can greatly broaden the selection range of performance functions. Furthermore, a unified model of heterogeneous UAV-UGV systems is established to avoid designing UAV and UGV systems separately, which improves the universality of the control algorithm. Finally, the proposed HiTL control scheme is applied to a simulation example to verify its feasibility and effectiveness. IEEE
This paper aims to solve an optimal tracking control(OTC) problem of large-scale systems with multitime scales and coupled subsystems using singular perturbation(SP) theory and reinforcement learning(RL) techniques. A...
详细信息
This paper aims to solve an optimal tracking control(OTC) problem of large-scale systems with multitime scales and coupled subsystems using singular perturbation(SP) theory and reinforcement learning(RL) techniques. A considerable contribution of this paper is the development of a data-driven SP-based RL method for the OTC of unknown large-scale systems with multitime scales. To achieve this, a multitime scale tracking problem was decomposed into a linear quadratic tracker problem for slow subsystems and a dynamical game problem for fast subsystems using the SP theory. Then, the distributed composite feedback controllers were found using a distributed off-policy integral RL algorithm that uses only measured data from the system in real time. Thus, the operational index can follow its prescribed target value via an approximately optimal approach. Theoretical analysis and proof are presented to demonstrate that the sum of the performances of reduced-order subsystems is approximately equal to the performance of the original large-scale system. Finally, numerical and practical examples are provided to validate the effectiveness of the proposed method.
This article studies the adaptive optimal output regulation problem for a class of interconnected singularly perturbed systems(SPSs) with unknown dynamics based on reinforcement learning(RL).Taking into account the sl...
详细信息
This article studies the adaptive optimal output regulation problem for a class of interconnected singularly perturbed systems(SPSs) with unknown dynamics based on reinforcement learning(RL).Taking into account the slow and fast characteristics among system states,the interconnected SPS is decomposed into the slow time-scale dynamics and the fast timescale dynamics through singular perturbation *** the fast time-scale dynamics with interconnections,we devise a decentralized optimal control strategy by selecting appropriate weight matrices in the cost *** the slow time-scale dynamics with unknown system parameters,an off-policy RL algorithm with convergence guarantee is given to learn the optimal control strategy in terms of measurement *** combining the slow and fast controllers,we establish the composite decentralized adaptive optimal output regulator,and rigorously analyze the stability and optimality of the closed-loop *** proposed decomposition design not only bypasses the numerical stiffness but also alleviates the *** efficacy of the proposed methodology is validated by a load-frequency control application of a two-area power system.
The use of software tools and applications progressively became a standard in both education and industry. A solution for hand-drawn electrical scheme digitization has been proposed to match the fast-paced dynamic of ...
详细信息
Developing an accurate and reliable anomaly detection model is of great significance for safe operation in the process industry. To minimize false positives, it is crucial to accurately model the intricate topological...
详细信息
In the era of exponential growth of data availability,the architecture of systems has a trend toward high dimensionality,and directly exploiting holistic information for state inference is not always computationally *...
详细信息
In the era of exponential growth of data availability,the architecture of systems has a trend toward high dimensionality,and directly exploiting holistic information for state inference is not always computationally *** paper proposes a novel Bayesian filtering algorithm that considers algorithmic computational cost and estimation accuracy for high-dimensional linear *** high-dimensional state vector is divided into several blocks to save computation resources by avoiding the calculation of error covariance with immense *** that,two sequential states are estimated simultaneously by introducing an auxiliary variable in the new probability space,mitigating the performance degradation caused by state ***,the computational cost and error covariance of the proposed algorithm are analyzed analytically to show its distinct features compared with several existing *** results illustrate that the proposed Bayesian filtering can maintain a higher estimation accuracy with reasonable computational cost when applied to high-dimensional linear systems.
The nonlinear time-varying characteristics of the process industry can be modeled using numerous data-driven soft sensor methods. However, the intrinsic relationships among the variables, especially the localized spat...
详细信息
As the acquisition of variables that measure quality is typically challenging, labeled samples for building a model for soft sensors are often inadequate. Additionally, owing to the installation of redundant sensors, ...
详细信息
Differential flatness has been defined in the literature for continuous time dynamical systems and for discrete time systems. We define flatness of automata from the perspective of behavioral systems theory, and synth...
详细信息
暂无评论