Generic Publications 

Marie Farrell, Matthew Bradbury, Michael Fisher and Carsten Maple. Workshop Report: Space Security Scoping, February 2019

Yang Gao, Steven Chien, Review on space robotics: Toward top-level science through space exploration. Science Robotics, 2, eaan5074 (2017).

Yang Gao, et. al., UK RAS-Network White Paper on Space Robotics & Autonomous Systems, 2016, 2018.

Yang Gao, (Ed.) Contemporary Planetary Robotics – An Approach to Autonomous Systems, pp. 1-450, Berlin: Wiley-VCH, ISBN-10: 3527413251, ISBN-13: 978-3527413256, August 2016.

Maple C, (2017). Security and privacy in the internet of things. Journal of Cyber Policy,

Research Theme 1: Vision & Perception

Miranda Bradshaw, Yang Gao, Kevin Homewood, “Interpolation methods for tracking spacecraft in ultra-tight formation”, Journal of Astronomical Telescopes, Instruments, and Systems, 5(2), 028003 (2019).

Pedro F. Proença, Yang Gao, "Probabilistic RGB-D odometry based on points, lines and planes under depth uncertainty”, Robotics and Autonomous Systems, 2018,

M. J. Bradshaw, Y. Gao, K. Homewood, Performance modelling of the fine lateral and longitudinal sensor (FLLS) for ESA's PROBA-3 mission, SPIE Optical Engineering, Aug 2018

Roman V. Kruzelecky, Piotr Murzionak, Jonathan Lavoie, Ian Sinclair and Gregory Schinn, Craig Underwood, Yang Gao, Chris Bridges, Roberto Armellin, Andrea Lucca Fabris, Edward Cloutis, Johan Leijtens, Lunar Volatile and Mineralogy Mapping Orbiter, VMMO, Proceeding of 48th International Conference on Environmental Systems, 8-12 July 2018, Albuquerque, New Mexico, USA.

Pedro F. Proença and Yang Gao, "Fast Cylinder and Plane Extraction from Depth Cameras for Visual Odometry", Proceeding of IROS, 2018

Research Theme 2: Mobility & Mechanisms

Craig Pitcher and Yang Gao, Physical Properties of Icy Materials, in Outer Solar System: Prospective Energy and Material Resources, Springer-Verlag, pp. 1-940, ISBN: 978-3-319-73844-4, 2018, doi:10.1007/978-3-319-73845-1.

Saber Mahboubi, Steve Davis, Samia Nefti-Meziani. “Variable Stiffness Robotic Hand for Stable Grasp and Flexible Handling”. IEEE Access, 6 , pp. 68195-68209. September 2018.

Mohamed Alkalla, Yang Gao, “Customizable and optimized bio-inspired wood wasp drill bits for extraterrestrial surfaces”, submitted, IEEE Proceeding AIM, 2019.

Research Theme 3: AI & Autonomy

Angadh Nanjangud, Peter C. Blacker, Saptarshi Bandyopadhyay, and Yang Gao, " Robotics and AI enabled On-Orbit Operations with Future Generation of Small Satellites" Proceedings of the IEEE, 106 (3), pp. 429-439, 2018, 10.1109/JPROC.2018.2794829.

Aitken, Jonathan, Affan Shaukat, Elisa Cucco, Louise Dennis, Sandor Veres, Yang Gao, Michael Fisher, Jeff Kuo, Thomas Robinson, and Paul Mort. "Autonomous nuclear waste management." IEEE Intelligent Systems, 2018, 10.1109/MIS.2018.111144814.

Juntian Si, Yang Gao, Abadi Chanik, Feedback Slew Algorithms for Prolate Spinners Using Single-Thruster, Acta Astronautica, Vol 144, pp. 39-51, March 2018,

Nikos Mavrakis and Yang Gao, Visually Guided Robot Grasping of a Spacecraft's Apogee Kick Motor, ASTRA, ESTEC, Netherlands, 2019

Yiming Y, Merk W, Ivan V, Vijayakumar S. Planning in Time-Configuration Space for Efficient Pick-and-Place in Non-Static Environments with Temporal Constraints, Proceeding Humanoids 2018.

Ivan V, Yang Y, Merkt W, Camilleri M, Vijayakumar S., EXOTica: An Extensible Optimization Toolset for Prototyping and Benchmarking Motion Planning and Control, in Studies in Computational Intelligence, 2019.

Yang C., Yuan K., Merkt W., Komura T., Vijayakumar S., Li Z.. (2018). Learning Whole-body Motor Skills for Humanoids.

Yuan K, Li Z. (2018). An Improved Formulation for Model Predictive Control of Legged Robots for Gait Planning and Feedback Control.

Hu W, Chatzinikolaidis I, Yuan K, Li Z. (2018). Comparison Study of Nonlinear Optimization of Step Times and Foot Placement for Dynamic Walking.

Yan L, Yang Y, Xu W, Vijayakumar S., Dual-arm Coordinated Motion Planning and Compliance Control for Capturing Moving Objects with Large Momentum, Proceeding IROS 2018

Research Theme 4: Astronaut-Robot Interaction

B.G. Rosa et al. "A Low-powered Capacitive Device for Detection of Heart Beat and Cardiovascular Parameters", IEEE BSN, 2019.

B.G. Rosa et al. "Wearable Sound Capturing Device with Feedback Loop Amplification and Noise Interference Cancellation For Acoustic Cardiography", IEEE BSN, 2019.

R.J. Varghese et al. "A Simulation-based Feasibility Study of a Proprioception-inspired Sensing Framework for a Multi-DoF Shoulder Exosuit", IEEE BSN, 2019.

D. Freer et al. "Adaptive Riemannian BCI for Enhanced Motor Imagery Training Protocols", IEEE BSN, 2019.

G. Gras et al. "Context-Aware Modelling for Augmented Reality Display Behaviour", IEEE Robotics and Automation Letters, 2019.

R.J. Varghese et al. "A Proprioception-inspired Sensing Framework for a Multi-DoF Shoulder Exosuit", submitted, IROS 2019.

Wang et al. "Vision-based Automatic Control of a 5-Fingered Simulated Assistive Robotic Manipulator for Activities of Daily Living", submitted, IROS.

D. Freer et al. "Toward Real-time Motor Imagery Classification with C-LSTM Using Data Augmentation", submitted, Journal of Neural Engineering.

P. Kassanos et al. "Topological Consideration of Front-End Amplifiers for Tetrapolar Impedance Measurements," submitted, IEEE Trans Biomed. Eng.

F. Deligianni et al. “Brain connectivity changes under cognitive load along expertise level”, submitted 2019.

Research Theme 5: System Engineering

Al-Shareefi F, Lisitsa A, Dixon C. (2018). Clarification of Ambiguity for the Simple Authentication and Security Layer.

Authentication and Security Layer. In Proc. 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ), volume 10817 of Lecture Notes in Computer Science. Springer, 2018. Formal specification of SASL a framework for enabling application protocols to support authentication, integrity and confidentiality services.

Cardoso RC, Dennis LA, Fisher M. (2019). Plan Library Reconfigurability in BDI Agents.

Cardoso, Bordini. Decentralised Planning for Multi-Agent Programming Platforms. In Proc. 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), 2019. Incorporating planning aspects into architectures.

Dennis, Slavkovik. Machines that know right and cannot do Wrong: The Theory and Practice of Machine Ethics, IEEE Intelligent Informatics Bulletin, 19(1), 2018. Self-awareness and transparency of (ethical) decisions.

Farrell M, Cardoso RC, Dennis LA, Dixon C, Fisher M, Kourtis G, Lisitsa A, Luckcuck M, Webster M. (2019). Modular Verification of Autonomous Space Robotics.

Farrell, Bradbury, Fisher, Dennis, Dixon, Yuan, Maple. Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. (Under review.) Linking cyber-security threat analysis techniques with formal verification techniques.

Farrell, Luckcuck, Dennis, Dixon, Fisher. Survey paper on Formal Methods for Robotics (Under review). First comprehensive survey of formal methods for robotics

Farrell, Luckcuck & Fisher. Robotics and Integrated Formal Methods: Necessity meets Opportunity. In Proc. IFM 2018. New approach to verifiable autonomous software architectures.

Ferrando, Dennis, Ancona, Fisher, Mascardi. Recognising Assumption Violations in Autonomous Systems Verification. In Proc. 17th Int. Conf. Autonomous Agents and Multi Agent Systems. 2018. Runtime monitoring of autonomous systems.

Ferrando, Dennis, Ancona, Fisher, Mascardi. Verifying and Validating Autonomous Systems: an Integrated Approach. In Proc. 8th IEEE Int. Conference on Runtime Verification, 2018. Comprehensive verification both before and during missions.

Kamali, Linker, Fisher. Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. In Proc. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), 2018. Verification of multi-vehicle organisation and coordination.

Hustadt, Nalon, Dixon. Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. In CEUR Workshop Proceedings (2162), 2018. Analysis of combinations of techniques to improve the efficiency of a theorem proving tool

Nalon, Hustadt, Dixon. KSP A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments. Journal of Automated Reasoning. Springer, 2018. Formal verification techniques for information flow, providing basis for security analysis.

Webster, Breza, Dixon, Fisher, McCann. Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Electronic Communications of the EASST, 2018. Verification of communications networks, synchronisation, etc, in the presence of environmental effects.

Winikoff, Dennis, Fisher. Slicing Agent Programs for more Efficient Verification. In Proc. 6th Int. Workshop on Engineering Multi-Agent Systems (EMAS), 2018. Significant improvements in practical efficiency of autonomous systems verification.