This paper studies the formation of final opinions for the Friedkin-Johnsen (FJ) model with a community of partially stubborn agents. The underlying network of the FJ model is symmetric and generated from a random gra...
详细信息
ISBN:
(数字)9798350316339
ISBN:
(纸本)9798350316346
This paper studies the formation of final opinions for the Friedkin-Johnsen (FJ) model with a community of partially stubborn agents. The underlying network of the FJ model is symmetric and generated from a random graph model, in which each link is added independently from a Bernoulli distribution. It is shown that the final opinions of the FJ model will concentrate around those of an FJ model over the expected graph as the network size grows, on the condition that the stubborn agents are well connected to other agents. Probability bounds are proposed for the distance between these two final opinion vectors, respectively for the cases where there exist non-stubborn agents or not. Numerical experiments are provided to illustrate the theoretical findings. The simulation shows that, in presence of non-stubborn agents, the link probability between the stubborn and the non-stubborn communities affect the distance between the two final opinion vectors significantly. Additionally, if all agents are stubborn, the opinion distance decreases with the agent stubbornness.
The surge tank in a bulk tailings treatment plant aims to reject flow and density disturbances. However, for large disturbances, there may be an inversion in the gain between the water inflow and tank slurry density f...
详细信息
The surge tank in a bulk tailings treatment plant aims to reject flow and density disturbances. However, for large disturbances, there may be an inversion in the gain between the water inflow and tank slurry density for a linearized model of the plant. The plant-model ratio (PMR) is a method to diagnose model-plant mismatch (MPM), such as gain-inversion, in the absence of disturbances. This article evaluates the influence of disturbances on the ability of the PMR to diagnose MPM for the surge tank. If the disturbance is measured, as in the case of the surge tank, the PMR is able to detect MPM such as gain-inversion. A controller can be adapted according to the MPM information from the PMR diagnosis.
Federated learning (FL), a novel branch of distributed machine learning (ML), develops global models through a private procedure without direct access to local datasets. However, it is still possible to access the mod...
详细信息
This paper studies the formation of final opinions for the Friedkin-Johnsen (FJ) model with a community of partially stubborn agents. The underlying network of the FJ model is symmetric and generated from a random gra...
We study the computation of the global generalized Nash equilibrium (GNE) for a class of non-convex multi-player games, where players' actions are subject to both local and coupling constraints. Due to the non-con...
详细信息
ISBN:
(数字)9798350354409
ISBN:
(纸本)9798350354416
We study the computation of the global generalized Nash equilibrium (GNE) for a class of non-convex multi-player games, where players' actions are subject to both local and coupling constraints. Due to the non-convex payoff functions, we employ canonical duality to reformulate the setting as a complementary problem. Under given conditions, we reveal the relation between the stationary point and the global GNE. According to the convex-concave properties within the complementary function, we propose a continuous-time mirror descent to compute GNE by generating functions in the Bregman divergence and the damping-based design. Then, we devise several Lyapunov functions to prove that the trajectory along the dynamics is bounded and convergent.
The further decarbonization of power systems with high renewable energy penetration faces the problem of inter-day intermittence of renewable energy sources (RES) and the seasonal imbalance between RES and load demand...
详细信息
Formal verification of safety properties is critical in many application areas. In this paper a survey of the most common and efficient methods is given. The different methods are compared for some typical scalable ex...
Formal verification of safety properties is critical in many application areas. In this paper a survey of the most common and efficient methods is given. The different methods are compared for some typical scalable examples, both modeled by transition systems and Petri nets. The methods are based on symbolic computations and logic representations of both sets and transition relations. Reachability analysis is performed not only from the initial states to any forbidden states, but also in the opposite backward direction. The reason is that a system is also safe when no initial state is backward reachable from the set of forbidden states. For safe systems the number of backward reachable states from forbidden states is often much less than the forward reachable states from the initial states. The backward strategy is shown to be very efficient and often even better than the most efficient methods that are specialized on safety analysis.
Blood is vital for transporting oxygen, nutrients, and hormones to all body parts as it circulates through arteries and veins. It removes carbon dioxide, regulates body temperature, and maintains the body's immune...
详细信息
作者:
Katalin M. HangosSystems and Control Laboratory
Institute for Computer Science and Control Hungary and Department of Electrical Engineering and Information Systems University of Pannonia Hungary
Decomposition offers the potential to reduce the complexity of model-based optimization, prediction, control and diagnosis by accounting for the structure and sparsity of the describing model. Motivated by this fact, ...
ISBN:
(纸本)9781450397117
Decomposition offers the potential to reduce the complexity of model-based optimization, prediction, control and diagnosis by accounting for the structure and sparsity of the describing model. Motivated by this fact, a rich and powerful collection of decomposition methods are available for model based diagnosis of large-scale complex dynamic systems, too. At the same time, one usually does not have enough information about a large-scale complex dynamic system to construct its precise enough model, so a kind of qualitative dynamic model is often used for the diagnosis [1]. Two structural decomposition based qualitative diagnostic methods are presented in this lecture, together with their component-driven system decomposition ***, a model-based diagnostic method is described that is able to detect and isolate non-technical losses (illegal loads) in low voltage electrical grids of one transformer area [2]. As a preliminary off-line step of the diagnosis, a powerful electrical decomposition method is proposed, which breaks down the overall network to subsystems with one feeder layout enabling to make the necessary computations efficient. The diagnostic method is based on analyzing the differences between the measured and model-predicted voltages. The uncertainty in the model parameters together with the measurement uncertainties are also taken into account to make the approach applicable in real-world cases. The proposed method is able to detect and localize multiple illegal loads, and the amount of the illegal consumption can also be *** a second case study, a high level decomposition approach for process system fault diagnosis using event traces is given [3], [4]. Using a simple component graph model behind the process system and the measured trace applied for the diagnosis, the method can find the root cause(s) of propagating failures between separate components. The method can connect individually operating lower-level component-specific diag
This study proposes an anti-slip control system for electric trains based on the fuzzy logic theory, which prevents the wheels from slipping during the acceleration and simultaneously tracks the desired speed profile....
详细信息
暂无评论