Suresh Jeyaraman

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Suresh Jeyaraman, Antonios Tsourdos, Rafal Zbikowski, Brian A. White
Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice. Int. J. Syst. Sci. 37 (6) (2006)
Suresh Jeyaraman, Antonios Tsourdos, Rafal Zbikowski, Brian A. White
Formal techniques for the modelling and validation of a co-operating UAV team that uses Dubins set for path planning. ACC (2005)
Suresh Jeyaraman, Antonios Tsourdos, Rafal Zbikowski, Brian A. White, Lilian Bruyere, Camille Alain Rabbath, Eric Gagnon
Formalised hybrid control scheme for a UAV group using Dubins set and model checking. CDC (2004)