6533b7d5fe1ef96bd1263ebc

RESEARCH PRODUCT

Convergence Analysis of Distributed Set-Valued Information Systems

Antonio BicchiAdriano FagioliniSimone MartiniNevio Dubbini

subject

boolean dynamic systems0209 industrial biotechnologyClass (set theory)Geographic information systemTheoretical computer scienceBinary encoding boolean dynamic systems con- sensus algorithms convergence cooperative systems distributed information systems set-valued dynamic maps.consensus algorithms02 engineering and technologyBoolean algebraSet (abstract data type)symbols.namesakecooperative systems020901 industrial engineering & automationSettore ING-INF/04 - AutomaticaConvergence (routing)0202 electrical engineering electronic engineering information engineeringInformation systemElectrical and Electronic EngineeringMathematicsReal numberconvergencebusiness.industryset-valued dynamic mapsComputer Science Applications1707 Computer Vision and Pattern Recognitiondistributed information systemsComputer Science ApplicationsLocal convergenceControl and Systems EngineeringsymbolsBinary encoding; boolean dynamic systems; consensus algorithms; convergence; cooperative systems; distributed information systems; set-valued dynamic maps; Electrical and Electronic Engineering; Control and Systems Engineering; Computer Science Applications1707 Computer Vision and Pattern RecognitionBinary encoding020201 artificial intelligence & image processingbusiness

description

This paper focuses on the convergence of information in distributed systems of agents communicating over a network. The information on which the convergence is sought is not rep- resented by real numbers, as often in the literature, rather by sets. The dynamics of the evolution of information across the net- work is accordingly described by set-valued iterative maps. While the study of convergence of set-valued iterative maps is highly complex in general, this paper focuses on Boolean maps, which are comprised of arbitrary combinations of unions, intersections, and complements of sets. For these important class of systems, we provide tools to study both global and local convergence. A distributed geographic information system, leading to successful information reconstruction from partial and corrupted data, is used to illustrate the applications of the proposed methods.

https://doi.org/10.1109/tac.2015.2480176