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. In 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, 13-15 December, 2006. pages 4299-4304, IEEE, 2004. [doi]
Abstract is missing.