@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-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 {GFBP-07, title = {Steering Dynamical Systems with Finite Plans and Limited Path Length}, booktitle = {European Control Conference}, year = {2007}, pages = {4686-4690}, abstract = {

Complex dynamical systems can be steered by using symbolic input plans. These plans must have a finite descriptive length, and can be expressed by means of words chosen in an alphabet of symbols. In this way, such plans can be sent through a limited capacity channel to a remote system, where they are decoded in suitable control actions. The choice of this symbols is essential to efficiently encode steering plans. To this aim, in this paper, we state the problem of finding symbols maximizing the interval of points reachable by the system along paths with constrained length. We focus on the problem with two symbols, and compare the results with those produced by plans not accounting for the length constraint. Moreover, the behavior of a simple helicopter, steered by both kinds of plans, has been simulated, in order to illustrate the power of the overall control system, and to emphasize the improvements introduced by the new plans.

}, keywords = {Embedded Control, Robotics}, author = {L. Greco and A. Fagiolini and A. Bicchi and B. Piccoli} } @conference {DFPSSDB06, title = {A scalable platform for safe and secure decentralized traffic management of multiagent mobile systems}, booktitle = {ACM Workshop on Real-World Wireless Sensor Networks}, year = {2006}, abstract = {

In this paper we describe the application of wireless sensor networking techniques to address the realization of a safe and secure decentralized traffic management system. We consider systems of many heterogeneous autonomous vehicles moving in a shared environment. Each vehicle is assumed to have different and possibly unspecified tasks, but they cooperate to avoid collisions. We are interested in designing a scalable architecture capable of accommodating a very large and dynamically changing number of vehicles, guaranteeing their safety (i.e., collision avoidance), the achievement of their goals, and security against potential adversaries. By properly distributing and revoking cryptographic keys we are able to protect communications from an external adversary as well as to detect non-cooperative, possibly malicious vehicles and trigger suitable countermeasures. In our architecture, scalability is obtained by decentralization, i.e. each vehicle is regarded as an autonomous agent capable of processing information concerning its own state and the state of only a fixed, small number of {\textquoteleft}{\textquoteleft}neighboring{\textquoteright}{\textquoteright} agents. Ad-hoc wireless sensor networks are employed to provide support for this architecture.

}, keywords = {Embedded Control, Robotics}, author = {A. Danesi and A. Fagiolini and I. Savino and L. Pallottino and R. Schiavi and G. Dini and A. Bicchi} } @conference {FGBPM06, title = {Symbolic Control for Underactuated Differentially Flat Systems}, booktitle = {Proc. IEEE Int. Conf. on Robotics and Automation}, year = {2006}, pages = {1649-1654}, abstract = {

In this paper we address the problem of generating input plans to steer complex dynamical systems in an obstacle-free environment. Plans considered admit a finite description length and are constructed by words on an alphabet of input symbols, which could be e.g. transmitted through a limited capacity channel to a remote system, where they can be decoded in suitable control actions. We show that, by suitable choice of the control encoding, finite plans can be efficiently built for a wide class of dynamical systems, computing arbitrarily close approximations of a desired equilibrium in polynomial time. Moreover, we illustrate by simulations the power of the proposed method, solving the steering problem for two examples in the class of underactuated systems, which have attracted wide attention in the recent literature.

}, keywords = {Embedded Control, Robotics}, author = {A. Fagiolini and L. Greco and A. Bicchi and B. Piccoli and A. Marigo} }