Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modelling and Verification of Multiple UAV Mission Using SMV, , , and . FMA, volume 20 of EPTCS, page 22-33. (2009)Robust performance study for lateral autopilot of a quasi-linear parameter-varying missile., , , and . ACC, page 226-231. IEEE, (2002)Nonlinear Time-periodic Models of the Longitudinal Flight Dynamics of Desert Locusts schistocerca gregaria, and . Journal of the Royal Society Interface, (2005)Kripke modelling and verification of temporal specifications of a multiple UAV system., , , and . Ann. Math. Artif. Intell., 63 (1): 31-52 (2011)A solution to simultaneous arrival of multiple UAVs using Pythagorean hodograph curves., , , , , and . ACC, page 1-6. IEEE, (2006)Unstructured environmental mapping using low cost sensors., , , and . ICNSC, page 1080-1085. IEEE, (2008)Aim point guidance: an extension of proportional navigation to the control of terminal guidance., , and . ACC, page 384-389. IEEE, (2003)Formalised hybrid control scheme for a UAV group using Dubins set and model checking., , , , , , and . CDC, page 4299-4304. IEEE, (2004)Airborne mapping of complex obstacles using 2D Splinegon., , , , and . ACC, page 1238-1243. IEEE, (2008)Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice., , , and . Int. J. Systems Science, 37 (6): 339-349 (2006)