Follow
Martin Dunstan
Martin Dunstan
Verified email at dundee.ac.uk
Title
Cited by
Cited by
Year
Planet surface simulation with pangu
SM Parkes, I Martin, M Dunstan, D Matthews
Space ops 2004 conference, 389, 2004
802004
Computer algebra meets automated theorem proving: Integrating Maple and PVS
A Adams, M Dunstan, H Gottliebsen, T Kelsey, U Martin, S Owre
Theorem Proving in Higher Order Logics: 14th International Conference …, 2001
642001
Lightweight formal methods for computer algebra systems
M Dunstan, T Kelsey, S Linton, U Martin
Proceedings of the 1998 international symposium on Symbolic and algebraic …, 1998
371998
Planetary surface image generation for testing future space missions with pangu
I Martin, M Dunstan, MS Gestido
2nd RPI Space Imaging Workshop, 2019
222019
Image processing for near earth object optical guidance systems
N Rowell, S Parkes, M Dunstan
IEEE Transactions on Aerospace and Electronic Systems 49 (2), 1057-1072, 2013
172013
LIDAR-based GNC for Planetary Landing: Simulation with PANGU
S Parkes, M Dunstan, D Matthews, I Martin, V Silva
DASIA 2003-Data Systems In Aerospace 532, 2003
142003
PANGU: Virtual spacecraft image generation
N Rowell, S Parkes, M Dunstan, O Dubois-Matra
5th Int. Conf. on Astrodynamics Tools and Techniques, ICATT, 2012
112012
Modeling cratered surfaces with real and synthetic terrain for testing planetary landers
I Martin, S Parkes, M Dunstan
IEEE Transactions on Aerospace and Electronic Systems 50 (4), 2916-2928, 2014
102014
Image processing chip for relative navigation for lunar landing
M Dunstan, K Hornbostel
9th International ESA Conference on Guidance, Navigation, and Control …, 2014
102014
Testing advanced navigation systems for planetary landers and rovers
S Parkes, M Dunstan, I Martin, M McCrum, O Dubois-Matra
60th International Astronautical Congress 2009, IAC 2009, 869-877, 2009
102009
Asteroid modeling for testing spacecraft approach and landing
I Martin, S Parkes, M Dunstan, N Rowell
IEEE computer graphics and applications 34 (4), 52-62, 2014
82014
The FEIC development for NPAL project: A core image processing chip for smart landers navigation applications
M Dunstan, M Souyri
MicroElectronics Presentation Days, ESA/ESTEC, 2004
82004
Formal methods for extensions to CAS
MN Dunstan, T Kelsey, U Martin, S Linton
International Symposium on Formal Methods, 1758-1777, 1999
81999
Autonomous visual recognition of known surface landmarks for optical navigation around asteroids
N Rowell, MN Dunstan, SM Parkes, J Gil-Fernández, I Huertas, S Salehi
The Aeronautical Journal 119 (1220), 1193-1222, 2015
72015
SpaceFibre: GBIT/S links for use on board spacecraft
S Parkes, M Suess, M Dunstan, C McClements
60th International Astronautical Congress 2009, IAC 2009, 2905-2912, 2009
72009
Planet surface simulation for testing vision-based, autonomous planetary landers
DS Parkes, DM Dunstan, DI Martin, DP Mendham, DS Mancuso
57th International Astronautical Congress, A3. P. 3.09, 2006
72006
Visual navigation chip for planetary landers
M Dunstan, S Parkes, S Mancuso
DASIA 2005-Data Systems in Aerospace 602, 2005
72005
SpaceWire router technology makes ASIC interfacing easy
SM Parkes, C McClements, M Dunstan
International SpaceWire Seminar, 2003
72003
Realistic image generation for testing vision-based autonomous rendezvous
M McCrum, S Parkes, M Dunstan, I Martin
ASTRA 2008, 11-13, 2008
62008
Mercury surface simulation for Bepi Colombo lander
SM Parkes, I Martin, M Dunstan, S Mills
Data Systems in Aerospace 509, 2002
62002
The system can't perform the operation now. Try again later.
Articles 1–20