@article {PBB11, title = {Consensus Computation in Unreliable Networks: A System Theoretic Approach}, journal = {IEEE Transactions on Automatic Control}, volume = {57}, year = {2012}, pages = {90 - 104}, keywords = {Robotics}, author = {F. Pasqualetti and A. Bicchi and F. Bullo} } @conference {PBB11, title = {A graph theoretic characterization of power network vulnerabilities}, booktitle = {2011 American Control Conference}, year = {2011}, month = {June 29 - July 1}, pages = {3918 - 3923}, address = {San Francisco, CA}, keywords = {Robotics}, author = {F. Pasqualetti and A. Bicchi and F. Bullo} } @conference {PCBB10, title = {Distributed Estimation and Detection under Local Information}, booktitle = {IFAC Workshop on Distributed Estimation and Control in Networked Systems}, year = {2010}, month = {Sept 13-14}, pages = {263-268}, address = {Annecy, France}, keywords = {Embedded Control, Robotics}, author = {F. Pasqualetti and R. Carli and A. Bicchi and F. Bullo} } @conference {PCBB, title = {Identifying Cyber Attacks via Local Model Information}, booktitle = {International Conference on Decision and Control - CDC 2010}, year = {2010}, month = {December}, pages = {5961 - 5966}, address = {Atlanta, USA}, keywords = {Embedded Control, Robotics}, author = {F. Pasqualetti and R. Carli and A. Bicchi and F. Bullo} } @conference {PFB_2010, title = {On Optimal Cooperative Patrolling}, booktitle = {IEEE Conf. on Decision and Control}, year = {2010}, month = {December}, address = {Atlanta, GA, USA}, keywords = {Robotics}, author = {F. Pasqualetti and A. Franchi and F. Bullo} } @conference {PBB-CDC09, title = {On the Security of Linear Consensus Networks}, booktitle = {Proc. IEEE International Conference on Decision and Control}, year = {2009}, note = {

General Chairs Recognition Awards for Interactive Papers

}, month = {December, 16 - 1}, pages = {4894 - 4901}, address = {Shangai, China}, abstract = {

The task of performing trustworthy computation in a network of autonomous agents in the presence of misbehaving components is the subject of this work. A solution to this problem is relevant for several coordination, formation, and synchronization tasks. Relying only on the information flow of the control protocol, uncooperative behaviors are revealed using an unknown input observer technique. Necessary and sufficient conditions to detect and correctly identify misbehaving nodes are given, together with a study of the genericity of such conditions. It is shown that generically any node of the network can correctly estimate the state of the other agents, and therefore compute any function of the state, provided that the connectivity of the communication graph is strictly greater than the number of misbehaving nodes. An intrusion detection and identification algorithm is described, and its effectiveness is confirmed through a numerical study.

}, keywords = {Embedded Control, Robotics}, author = {F. Pasqualetti and A. Bicchi and F. Bullo} } @conference {PBB07, title = {Distributed intrusion detection for secure consensus computations}, booktitle = {Proc. IEEE Int. Conf. on Decision and Control}, year = {2007}, month = {December}, pages = {5594-5599}, abstract = {

This paper focuses on trustworthy computation systems and proposes a novel intrusion detection scheme for averaging networks with misbehaving nodes. This prototypical control problem is relevant in network security applications. The objective is for each node to detect and isolate the misbehaving nodes using only the information flow adopted by standard averaging protocols. We focus on the single misbehaving node problem. Our technical approach is based on the theory of Unknown Input Observability. First, we give necessary and sufficient conditions for the misbehavior to be observable and for the identity of the faulty node to be detectable. Second, we design a distributed unknown input estimator, and we characterize its convergence rate in the

}, keywords = {Embedded Control, Robotics}, author = {F. Pasqualetti and A. Bicchi and F. Bullo} }