Matthew Melhorn

Papers

Total Citations

H-Index

About

Matthew Melhorn is a researcher at the forefront of secure and resilient multi-robot systems, with a primary focus on control theory, formal methods, and cyber-physical security. His most-cited work, "DoS-Resilient Multi-Robot Temporal Logic Motion Planning" (2019, 8 citations), introduces a groundbreaking algorithm that enables teams of robots to execute complex missions—specified through Linear Temporal Logic (LTL)—even when communication channels are under denial-of-service (DoS) attacks. This contribution is pivotal for deploying autonomous systems in adversarial environments, such as disaster response or military operations, where reliable coordination is critical. Melhorn’s research elegantly bridges the gap between high-level task specifications and low-level control under uncertainty, offering provable guarantees against bounded disturbances and cyber threats. His work has been recognized for its practical impact, inspiring further studies in resilient multi-agent planning. By addressing both theoretical rigor and real-world vulnerabilities, Melhorn is shaping the future of trustworthy autonomy, making him a key voice in the growing field of security-aware robotics.