Richard Hill

Papers

Total Citations

H-Index

About

Richard Hill is a researcher specializing in formal methods for robotics and autonomous systems, with a particular focus on supervisory control theory and discrete event systems. His work addresses one of the most pressing challenges in multi-robot systems: automatically synthesizing control software that is mathematically guaranteed to meet complex logical specifications. Hill's landmark 2017 paper on scaling formal synthesis for multiple robot systems, which has garnered 29 citations, introduced modular supervisory controller architectures that significantly improve the computational tractability of generating verified control logic for cooperative ground robot teams. This built upon his foundational 2013 work demonstrating the practical application of discrete event system theory to real-time multi-robot control, which itself accumulated 18 citations and established his reputation in the field. His more recent 2021 contribution explores hierarchical planning through compositional abstraction within supervisory control frameworks, extending earlier theoretical developments around cost equivalence to further enhance scalability. Collectively, Hill's research bridges rigorous control theory with real-world robotics applications, offering principled, automated pathways to trustworthy multi-robot software—a contribution of growing importance as autonomous systems become increasingly prevalent in industrial and collaborative settings.