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). https://doi.org/10.1117/1.JATIS.5.2.028003.
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.
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.
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.
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.
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 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
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, 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
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.