Usama Mehmood

Stony Brook University, Information Technology University

Papers

Total Citations

H-Index

About

Usama Mehmood is a researcher dedicated to ensuring the safety and reliability of autonomous cyber-physical systems (CPS). His primary research areas lie at the intersection of runtime assurance, formal methods, and multi-agent systems. Mehmood’s most significant contribution is the development of the “Black-Box Simplex Architecture,” a novel framework for runtime assurance that allows autonomous systems to operate safely even when using unverified, high-performance controllers. This architecture provides a safety net by enabling a seamless switch to a verified backup controller when unsafe behavior is detected. His work, including the foundational paper “Safe CPS from unsafe controllers” (2021), has been instrumental in demonstrating how runtime verification can bridge the gap between advanced, potentially risky AI-driven control and guaranteed safety. With his most cited paper accumulating 11 citations by 2022, Mehmood is establishing a strong impact in the CPS community. His extension of the architecture to multi-agent systems (2024) further underscores his commitment to solving complex, real-world safety challenges in increasingly interconnected autonomous environments.