English
Related papers

Related papers: Introducing The Maximum Common Bigraph Problem

200 papers

We consider the problem of distributing a centralised transition system to a set of asynchronous agents recognising the same language. Existing solutions are either manual or involve a huge explosion in the number of states from the…

Logic in Computer Science · Computer Science 2025-05-29 Yehia Abd Alrahman , Nir Piterman

Multiagent planning and coordination problems are common and known to be computationally hard. We show that a wide range of two-agent problems can be formulated as bilinear programs. We present a successive approximation algorithm that…

Artificial Intelligence · Computer Science 2014-01-16 Marek Petrik , Shlomo Zilberstein

Bigraphs are a universal computational modelling formalism for the spatial and temporal evolution of a system in which entities can be added and removed. We extend bigraphs to probablistic bigraphs, and then again to action bigraphs, which…

Logic in Computer Science · Computer Science 2022-06-28 Blair Archibald , Muffy Calder , Michele Sevegnani

Bigraphs are a versatile modelling formalism that allows easy expression of placement and connectivity relations in a graphical format. System evolution is user defined as a set of rewrite rules. This paper presents a practical, yet…

Logic in Computer Science · Computer Science 2024-06-03 Blair Archibald , Muffy Calder , Michele Sevegnani

This paper is related to the problem of finding the maximal quasi-bicliques in a bipartite graph (bigraph). A quasi-biclique in the bigraph is its "almost" complete subgraph. The relaxation of completeness can be understood variously; here,…

Data Structures and Algorithms · Computer Science 2020-02-25 Dmitry I. Ignatov , Polina Ivanova , Albina Zamaletdinova

In this paper, we propose a novel distributed algorithm to optimize the emergent macroscopic behavior of large-scale multi-agent systems via microscopic actions. We cast this task as a bilevel optimization problem, where the upper level…

Optimization and Control · Mathematics 2026-04-14 Riccardo Brumali , Guido Carnevale , Sonia Martínez , Giuseppe Notarstefano

Bigraphical Reactive Systems (BRSs) are a graph-rewriting formalism describing systems evolving in two dimensions: spatially, e.g. a person in a room, and non-spatially, e.g. mobile phones communicating regardless of location. Despite use…

Logic in Computer Science · Computer Science 2025-05-21 Maram Albalwe , Blair Archibald , Michele Sevegnani

A crucial problem for many results and tools about bigraphs and bigraphical reactive systems is bigraph embedding. An embedding is more informative than a bigraph matching, since it keeps track of the correspondence between the various…

Logic in Computer Science · Computer Science 2019-07-15 Marino Miculan , Marco Peressotti

The bigraph embedding problem is crucial for many results and tools about bigraphs and bigraphical reactive systems (BRS). Current algorithms for computing bigraphical embeddings are centralized, i.e. designed to run locally with a complete…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-03-10 Alessio Mansutti , Marino Miculan , Marco Peressotti

We study the average consensus problem of multi-agent systems for general network topologies with unidirectional information flow. We propose two (linear) distributed algorithms, deterministic and gossip, respectively for the cases where…

Systems and Control · Computer Science 2012-03-13 Kai Cai , Hideaki Ishii

Finding dense bipartite subgraphs and detecting the relations among them is an important problem for affiliation networks that arise in a range of domains, such as social network analysis, word-document clustering, the science of science,…

Social and Information Networks · Computer Science 2017-11-29 A. Erdem Sariyuce , Ali Pinar

The graph retrieval problem is to search in a large corpus of graphs for ones that are most similar to a query graph. A common consideration for scoring similarity is the maximum common subgraph (MCS) between the query and corpus graphs,…

Machine Learning · Computer Science 2022-10-21 Indradyumna Roy , Soumen Chakrabarti , Abir De

In this paper, the mixed equilibrium problem with coupled inequality constraints in dynamic environments is solved by employing a multi-agent system, where each agent only has access to its own bifunction, its own constraint function, and…

Systems and Control · Electrical Eng. & Systems 2024-12-30 Hang Xu , Kaihong Lu , Yu-Long Wang , Qixin Zhu

Reconstructing the structural connectivity between interacting units from observed activity is a challenge across many different disciplines. The fundamental first step is to establish whether or to what extent the interactions between the…

Neurons and Cognition · Quantitative Biology 2016-11-02 Elliot A. Martin , Jaroslav Hlinka , Jörn Davidsen

Let G = (A U P, E) be a bipartite graph where A denotes a set of agents, P denotes a set of posts and ranks on the edges denote preferences of the agents over posts. A matching M in G is rank-maximal if it matches the maximum number of…

Data Structures and Algorithms · Computer Science 2014-09-18 Pratik Ghoshal , Meghana Nasre , Prajakta Nimbhorkar

Bipartite graphs are a prevalent modeling tool for real-world networks, capturing interactions between vertices of two different types. Within this framework, bicliques emerge as crucial structures when studying dense subgraphs: they are…

Data Structures and Algorithms · Computer Science 2024-05-27 Alexis Baudin , Clémence Magnien , Lionel Tabourier

In numerous artificial intelligence applications, the collaborative efforts of multiple intelligent agents are imperative for the successful attainment of target objectives. To enhance coordination among these agents, a distributed…

Machine Learning · Computer Science 2024-05-15 Shengchao Hu , Li Shen , Ya Zhang , Dacheng Tao

Understanding the structure and dynamics of biological networks is one of the important challenges in system biology. In addition, increasing amount of experimental data in biological networks necessitate the use of efficient methods to…

Artificial Intelligence · Computer Science 2012-07-17 Mohammadreza Keyvanpour , Fereshteh Azizani

A crucial challenge in decentralized systems is state estimation in the presence of unknown inputs, particularly within heterogeneous sensor networks with dynamic topologies. While numerous consensus algorithms have been introduced, they…

Systems and Control · Electrical Eng. & Systems 2024-12-13 Zida Wu , Ankur Mehta

In numerous artificial intelligence applications, the collaborative efforts of multiple intelligent agents are imperative for the successful attainment of target objectives. To enhance coordination among these agents, a distributed…

Machine Learning · Computer Science 2024-11-04 Shengchao Hu , Li Shen , Ya Zhang , Dacheng Tao
‹ Prev 1 2 3 10 Next ›