Max Robotics — Global Service Robot Directory + US Certification

About

Farhad Arbab’s research centers on the formal foundations of Cyber-Physical Systems (CPS), with a particular focus on compositional modeling, semantic frameworks, and the rigorous specification of interactions between computational and physical components. His major contributions include developing a component-based semantic model that abstracts both cyber and physical processes into uniform, observable behaviors—enabling more reliable design and analysis of complex, distributed CPS. Arbab has also advanced the theory of preference-aware agents and runtime composition, offering formal tools to manage dynamic system assembly. His work, though highly specialized, has garnered citations across top venues (e.g., over a dozen for his 2016 paper), reflecting its growing influence in formal methods and systems engineering. Notably, his 2021 and 2022 papers on semantic models and rewriting frameworks for interacting agents have laid groundwork for scalable verification and decomposition techniques. For students and researchers, Arbab’s research provides a rigorous, compositional lens for tackling the inherent complexity of modern cyber-physical systems—bridging theory and practice in a field where correctness is paramount.