@article {2481, title = {Convergence Analysis of Distributed Set-Valued Information Systems}, journal = {IEEE Transactions on Automatic Control}, volume = {61}, year = {2016}, month = {06/2016}, pages = {1477 - 1491}, abstract = {
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 represented by real numbers, as often in the literature, rather by sets. The dynamics of the evolution of information across the network 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.
}, keywords = {Embedded Control, Robotics}, doi = {10.1109/TAC.2015.2480176}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=7272075}, author = {A. Fagiolini and N. Dubbini and S. Martini and A. Bicchi} } @article {2473, title = {Distributed motion misbehavior detection in teams of heterogeneous aerial robots}, journal = {Robotics and Autonomous Systems information}, volume = {74 part A}, year = {2015}, month = {12/2015}, pages = {30-39}, abstract = {

This paper addresses the problem of detecting possible misbehavior in a group of autonomous mobile robots, which coexist in a shared environment and interact with each other and coordinate according to a set of common\ interaction rules. Such rules specify what actions each robot is allowed to perform in order to interact with the other members of the group. The rules are distributed, i.e., they can be evaluated only starting from the knowledge of the individual robot and the information the robot gathers from neighboring robots. We consider\ misbehaving\ those robots which, because of either spontaneous failures or malicious tampering, do not follow the rules and whose behavior thus deviates from the nominal assigned one. The main contribution of the paper is to provide a methodology to detect such misbehavior by observing the congruence of actual behavior with the assigned rules as applied to the actual state of the system. The presented methodology is based on a consensus protocol on the events observed by robots. The methodology is fully distributed in the sense that it can be performed by individual robots based only on the local available information, it has been theoretically proven and validated with experiments involving real aerial heterogeneous robots.

}, keywords = {Embedded Control, Robotics}, doi = {10.1016/j.robot.2015.06.008}, url = {http://www.sciencedirect.com/science/article/pii/S0921889015001360}, author = {S. Martini and D. Di Baccio and F. Alarc{\`o}n-Romero and A. Viguria-Jim{\'e}nez and L. Pallottino and G. Dini and A. Ollero} } @article {1232, title = {Interacting with networks: How does structure relate to controllability in single-leader, consensus networks?}, journal = {Control Systems Magazine}, volume = {32}, year = {2012}, pages = {66 - 73}, keywords = {Embedded Control, Robotics}, author = {M. Egerstedt and S. Martini and M. Cao and K. Camlibel and A. Bicchi} } @conference {MFB11, title = {Behavior classification, security, and consensus in societies of robots}, booktitle = {Automatica.it 2011}, year = {2011}, note = {

poster presentation

}, month = {September, 7 - 9}, address = {Pisa, Italy}, keywords = {Embedded Control, Robotics}, author = {S. Martini and A. Fagiolini and A. Bicchi} } @conference {MFZB11, title = {Decentralized Species Classification in Societies of Autonomous and Heterogenous Robots}, booktitle = {2011 IEEE International Conference on Robotics and Automation}, year = {2011}, month = {May 9 - 13}, pages = {32 - 39}, address = {Shangai, China}, keywords = {Embedded Control, Robotics}, author = {S. Martini and A. Fagiolini and G. Zichittella and M. Egerstedt and A. Bicchi} } @conference {MDBGB11, title = {Robust Network Agreement on Logical Information}, booktitle = {2011 Congress of the International Federation of Automatic Control - IFAC 2011}, year = {2011}, month = {August 28 - Sept}, pages = {13905 - 13911}, address = {Milano, italy}, keywords = {Embedded Control, Robotics}, author = {S. Martini and D. Di Baccio and A. Fagiolini and A. Bicchi} } @article {MEB09, title = {Controllability analysis of multi-agent systems using relaxed equitable partitions}, journal = {Int. J. Systems, Control and Communications}, volume = {2}, number = {1,2,3}, year = {2010}, pages = {100-121}, abstract = {

This paper investigates the issue of how to make decentralised networks amenable to external control, i.e. how to ensure that they are appropriately organised so that they can be effectively

}, keywords = {Embedded Control, Robotics}, author = {S. Martini and M. Egerstedt and A. Bicchi} } @conference {FMEBG, title = {Observability and Controllability Detection of Multi-Agent Systems through Decentralized Laplacian Spectrum Estimation}, booktitle = {International Conference on Decision and Control - CDC 2010}, year = {2010}, pages = {5775 - 5780}, keywords = {Embedded Control, Robotics}, author = {M. Franceschelli and S. Martini and M. Egerstedt and A. Bicchi and A. Giua} } @conference {FMDBB10, title = {A Self-Routing Protocol for Distributed Consensus on Logical Information}, booktitle = {IEEE/RSJ International Conference on Intelligent Robots and Systems}, year = {2010}, month = {October, 18 - 22}, pages = {5151 - 5156}, address = {Taipei, Taiwan}, keywords = {Embedded Control, Robotics}, author = {A. Fagiolini and S. Martini and D. Di Baccio and A. Bicchi} } @conference {FMDB-NecSys09, title = {Distributed Consensus on Boolean Information}, booktitle = {1st IFAC Workshop on Estimation and Control of Networked Systems (NecSys{\textquoteright}09)}, year = {2009}, month = {September, 24 - }, pages = {72 - 77}, address = {Venice, Italy}, abstract = {

In this paper we study the convergence towards consensus on information in a distributed system of agents communicating over a network. The particularity of this study is that the information on which the consensus is seeked is not represented by real numbers, rather by logical values or compact sets. Whereas the problems of allowing a network of agents to reach a consensus on logical functions of input events, and that of agreeing on set-valued information, have been separately addressed in previous work, in this paper we show that these problems can indeed be attacked in a unified way in the framework of Boolean distributed information systems. Based on a notion of contractivity for Boolean dynamical systems, a necessary and suficient condition ensuring the global convergence toward a unique equilibrium point is presented. This result can be seen as a first step toward the de nition of a unified framework to uniformly address all consensus problems on Boolean algebras.

}, keywords = {Embedded Control, Robotics}, author = {A. Fagiolini and S. Martini and N. Dubbini and A. Bicchi} } @conference {FMDB-NESTER09, title = {Safety and Security in Networked Robotics Systems via Logical Consensus}, booktitle = {International Workshop on Networked embedded and control system technologies: European and Russian R\&D cooperation (NESTER{\textquoteright}09)}, year = {2009}, month = {July, 2 - 5}, address = {Milan, Italy}, keywords = {Embedded Control, Robotics}, author = {S. Martini and A. Fagiolini and G. Dini and A. Bicchi} } @conference {FMB-CASE09, title = {Set-Valued Consensus for Distributed Clock Synchronization}, booktitle = {Proc. IEEE Conference on Automation Science and Engineering}, year = {2009}, month = {August, 22-25}, pages = {116 - 121}, address = {Bangalore}, abstract = {

This paper addresses the clock synchronization problem in a wireless sensor network (WSN) and proposes a distributed solution that consists of a form of consensus, where agents are able to exchange data representing intervals or sets. The solution is based on a centralized algorithm for clock synchronization, proposed by Marzullo, that determines the smallest interval that is in common with the maximum number of measured interval. We first show how to convert such an algorithm into a problem involving only operations on sets, and then we convert it into a set

}, keywords = {Embedded Control, Robotics}, author = {A. Fagiolini and S. Martini and A. Bicchi} } @conference {MMB-CDC08, title = {Controllability Decompositions of Networked Systems Through Quotient Graphs}, booktitle = {Proc. IEEE Int. Conf. on Decision and Control}, year = {2008}, pages = {5244 - 5249}, keywords = {Embedded Control, Robotics}, author = {S. Martini and M. Egerstedt and A. Bicchi} } @conference {PMB08, title = {Steering a Leader-Follower Team via Linear Consensus}, booktitle = {Hybrid Systems: Computation and Control}, series = {Lecture Notes in Computer Science}, volume = {4981/2008}, year = {2008}, pages = {642-645}, publisher = {Springer-Verlag}, organization = {Springer-Verlag}, abstract = {

The paper considers the problem of driving a formation of autonomous mobile agents. The group of mobile devices is described as a leader{\textendash}follower network, where the followers update their position using a simple local consensus procedure, while the leaders, whose positions represent the control inputs of the network, are free to move. We characterize the transient behavior of the network, and solve the containment problem without relying on auxiliary sensors.

}, keywords = {Embedded Control, Robotics}, author = {F. Pasqualetti and S. Martini and A. Bicchi}, editor = {M. Egerstedt and B. Mishra} }