English
Related papers

Related papers: Approximate Simulation-Based Verification of Compa…

200 papers

Adaptive models of opinion formation among humans can display a fragmentation transition, where a social network breaks into disconnected components. Here, we investigate this transition in a class of models with arbitrary number of…

Physics and Society · Physics 2012-06-19 Gesa A. Böhme , Thilo Gross

Designing feasible control strategies for opinion dynamics in complex social systems has never been an easy task. It requires a control protocol which 1) is not enforced on all individuals in the society, and 2) does not exclusively rely on…

Physics and Society · Physics 2019-02-27 Wei Su , Xianzhong Chen , Yongguang Yu , Ge Chen

A continuous-opinion model accounting for the social compromise propensity is theoretically and numerically analysed. An agent's opinion is represented by a real number that can be changed through social interactions with her neighbours.…

Physics and Society · Physics 2025-10-09 Carlos Uriarte , Pablo Rodriguez-Lopez , Nagi Khalil

The image-based visual servoing without models of system is challenging since it is hard to fetch an accurate estimation of hand-eye relationship via merely visual measurement. Whereas, the accuracy of estimated hand-eye relationship…

Robotics · Computer Science 2022-11-22 Haibin Zeng , Yueyong Lyu , Jiaming Qi , Shuangquan Zou , Tanghao Qin , Wenyu Qin

Humans engage in informal debates on a daily basis. By expressing their opinions and ideas in an argumentative fashion, they are able to gain a deeper understanding of a given problem and in some cases, find the best possible course of…

Logic in Computer Science · Computer Science 2019-12-13 Ria Jha , Francesco Belardinelli , Francesca Toni

We propose an agent-based opinion formation model characterised by a two-fold novelty. First, we realistically assume that each agent cannot measure the opinion of its neighbours with infinite resolution and accuracy, and hence it can only…

Social and Information Networks · Computer Science 2026-01-08 Carlos Andres Devia , Giulia Giordano

In this work, we consider a binary hypothesis testing problem involving a group of human decision-makers. Due to the nature of human behavior, each human decision-maker observes the phenomenon of interest sequentially up to a random length…

Signal Processing · Electrical Eng. & Systems 2023-01-26 Nandan Sriranga , Baocheng Geng , Pramod K. Varshney

We investigate opinion formation in a kinetic exchange opinion model, where opinions are represented by numbers in the real interval $[-1,1]$ and agents are typified by the individual degree of conviction about the opinion that they…

Physics and Society · Physics 2016-02-25 Allan R. Vieira , Celia Anteneodo , Nuno Crokidakis

The Hegselmann--Krause model is a prototypical model for opinion dynamics. It models the stochastic time evolution of an agent's or voter's opinion in response to the opinion of other like-minded agents. The Hegselmann--Krause model only…

Physics and Society · Physics 2025-02-26 Patrick H. Cahill , Georg A. Gottwald

We here discuss the process of opinion formation in an open community where agents are made to interact and consequently update their beliefs. New actors (birth) are assumed to replace individuals that abandon the community (deaths). This…

Physics and Society · Physics 2008-07-28 Timoteo Carletti , Duccio Fanelli , Alessio Guarino , Franco Bagnoli , Andrea Guazzini

Social networks often exert social pressure, causing individuals to adapt their expressed opinions to conform to their peers. An agent in such systems can be modeled as having a (true and unchanging) inherent belief while broadcasting a…

Systems and Control · Electrical Eng. & Systems 2024-06-28 Jennifer Tang , Aviv Adler , Amir Ajorlou , Ali Jadbabaie

Krause's model of opinion dynamics has recently been the object of several studies, partly because it is one of the simplest multi-agent systems involving position-dependent changing topologies. In this model, agents have an opinion…

Physics and Society · Physics 2008-06-03 Julien M. Hendrickx

As physics searches for invariants in observations, this paper looks for invariants of probabilistic observation without assuming physical structure. Structure emerges from the basic assumption of science that new information shall lead to…

Quantum Physics · Physics 2007-05-23 Johann Summhammer

In this work, we propose a data-driven approach for the construction of finite abstractions (a.k.a., symbolic models) for discrete-time deterministic control systems with unknown dynamics. We leverage notions of so-called alternating…

Systems and Control · Electrical Eng. & Systems 2022-06-22 Abolfazl Lavaei , Emilio Frazzoli

We present the analysis of the stationary equilibria and their stability in case of an opinion formation process in presence of binary opposite opinions evolving according to majority-like rules on social networks. The starting point is a…

Physics and Society · Physics 2024-07-08 M. Burger , N. Loy , A. Rossi

We consider an opinion dynamics model coupled with an environmental dynamics. Based on a forward invariance argument, we can simplify the analysis of the asymptotic behavior to the case when all the opinions in the social network are…

Systems and Control · Electrical Eng. & Systems 2025-04-07 Anthony Couthures , Anastasia Bizyaeva , Vineeth S. Varma , Alessio Franci , Irinel-Constantin Morarescu

Consensus formation is investigated for multi-agent systems in which agents' beliefs are both vague and uncertain. Vagueness is represented by a third truth state meaning \emph{borderline}. This is combined with a probabilistic model of…

Multiagent Systems · Computer Science 2018-01-15 Michael Crosscombe , Jonathan Lawry

Opinion Dynamics lacks a theoretical basis. In this article, I propose to use a decision-theoretic framework, based on the updating of subjective probabilities, as that basis. We will see we get a basic tool for a better understanding of…

Physics and Society · Physics 2012-11-21 Andre C. R. Martins

Binary decision-making process is ubiquitous in social life and is of vital significance in many real-world issues, ranging from public health to political campaigns. While continuous opinion evolution independent of discrete choice…

Physics and Society · Physics 2021-05-26 Xuyang Chen , Xin Wang , Longzhao Liu , Shaoting Tang , Zhiming Zheng

We propose automated techniques for the verification and control of probabilistic real-time systems that are only partially observable. To formally model such systems, we define an extension of probabilistic timed automata in which local…

Logic in Computer Science · Computer Science 2015-06-24 Gethin Norman , David Parker , Xueyi Zou