Safety and Security in Networked Robotic Systems Via Logical Consensus

Simone Martini, Adriano Fagiolini, Antonio Bicchi, Gianluca Dini

2009

Abstract

The problem of allowing a set of autonomous mobile robots to plan their motion by reaching consensus on logical observations of the environment is studied in this paper. The particularity of the work is that the information on which the consensus is sought is not represented by real numbers, but rather by logical values such as the presence of an obstacle, of another robot, or of a person. Previous work by the authors considered the problem of allowing a set of agents to consent on the value of a logical vector function by communicating over a network. In this paper, we present application of this result to the motion planning decision problem and show its effectiveness through simulation.

References

  1. Olfati-Saber, R.: Flocking for multi-agent dynamic systems: algorithms and theory. IEEE Trans. on Automatic Control 51 (2006) 401-420
  2. Figueiredo, L., Jesus, I., Machado, J., Ferreira, J., Martins de Carvalho, J.: Towards the development of intelligent transportation systems. Proc. IEEE Intelligent Transportation Systems (2001) 1206-1211
  3. Olfati-Saber, R., Fax, J.A., Murray, R.N.: Consensus and Cooperation in Networked MultiAgent Systems. Proc. of the IEEE (2007)
  4. Ren, W., Beard, R., Atkins, E.: Information consensus in multivehicle cooperative control. IEEE Cont. Syst. Mag. 27 (2007) 71-82
  5. Blondel, V., Hendrickx, J., Olshevsky, A., Tsitsiklis, J.: Convergence in Multiagent Coordination, Consensus, and Flocking. Proc. IEEE International Conference on Decision and Control (2005) 2996-3000
  6. Fang, L., Antsaklis, P., Tzimas, A.: Asynchronous Consensus Protocols: Preliminary Results, Simulations and Open Questions. IEEE Int. Conf. on Decision and Control and Eur. Control Conference (2005) 2194-2199
  7. Bertsekas, D., Tsitsiklis, J.: Parallel and Distributed Computation: Numerical Methods. (2003)
  8. Baras, J.: Security and trust for wireless autonomic networks: Systems and control methods. European Journal of Control 13 (2007) 105-133
  9. Franceschelli, M., Egerstedt, M., Giua, A.: Motion Probes for Fault Detection and Recovery in Networked Control Systems. American Control Conference, Seattle, WA, June (2008)
  10. Necst - networked control systems tolerant to faults. (Sixth Framework Programme, Priority 2, Information Society Technologies, STREP, IST-004303)
  11. Dzung, D., Naedele, M., von Hoff, T., Crevatin, M.: Security for industrial communication systems. Proceedings of the IEEE 93 (2005) 1152-1177
  12. Bicchi, A., Danesi, A., Dini, G., La Porta, S., Pallottino, L., Savino, I.M., Schiavi, R.: Heterogeneous wireless multirobot system. Robotics and Automation Magazine, IEEE 15 (2008) 62-70
  13. Dini, G., Savino, I.: An efficient key revocation protocol for wireless sensor networks. In: Proc. IEEE International Symposium on World of Wireless, Mobile and Multimedia Networks, IEEE Computer Society Washington, DC, U.S.A (2006) 450-452
  14. Chat - control of heterogeneous automation systems: Technologies for scalability, reconfigurability and security. (Seventh Framework Programme, IST-2008-224428)
  15. Conet - the cooperating objects network of excellence. (Seventh Frame Programme, 2007- 2-224053)
Download


Paper Citation


in Harvard Style

Martini S., Fagiolini A., Bicchi A. and Dini G. (2009). Safety and Security in Networked Robotic Systems Via Logical Consensus . In - Workshop NESTER, (ICINCO 2009) ISBN , pages 0-0. DOI: 10.5220/0002278600000000


in Bibtex Style

@conference{workshop nester09,
author={Simone Martini and Adriano Fagiolini and Antonio Bicchi and Gianluca Dini},
title={Safety and Security in Networked Robotic Systems Via Logical Consensus},
booktitle={ - Workshop NESTER, (ICINCO 2009)},
year={2009},
pages={},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002278600000000},
isbn={},
}


in EndNote Style

TY - CONF
JO - - Workshop NESTER, (ICINCO 2009)
TI - Safety and Security in Networked Robotic Systems Via Logical Consensus
SN -
AU - Martini S.
AU - Fagiolini A.
AU - Bicchi A.
AU - Dini G.
PY - 2009
SP - 0
EP - 0
DO - 10.5220/0002278600000000