Max Robotics — Global Service Robot Directory + US Certification

About

Murray Ireland is a robotics researcher whose work focuses on the safety, reliability, and endurance of autonomous systems, particularly in extreme environments. His key research areas include formal verification of autonomous agents, fault detection and isolation in planetary rovers, and wireless power transmission for aerial robots. Ireland’s major contributions include developing a novel abstract definition of autonomy for modeling and formally verifying robot behavior using the PRISM model checker, a critical step toward proving the safety of autonomous systems. He also pioneered the use of inverse simulation-based fault detection for robotic rovers, comparing it against traditional model-based methods to improve reliability in extraterrestrial missions where human intervention is impossible. His most cited work, "Autonomous Agent Behaviour Modelled in PRISM – A Case Study" (13 citations), demonstrates the practical application of formal methods to autonomous robotics. Additionally, Ireland has explored optimizing trajectories for wireless power transmission to quadrotors, addressing the critical challenge of endurance in unmanned aircraft. His research has direct implications for space exploration, particularly for Mars rovers, and for extending the operational capabilities of aerial robots through innovative power solutions.