Scott West

Papers

Total Citations

H-Index

About

Scott West is a researcher whose work sits at the intersection of software engineering and robotics, with a particular focus on the formal design of concurrent control systems. His most cited paper, "Deriving concurrent control software from behavioral specifications" (2010), addresses a fundamental challenge in robotics: the difficulty of writing robust, modular software for inherently parallel tasks like motion control and sensor monitoring. West’s key contribution lies in bridging the gap between high-level behavioral specifications and low-level concurrent code, enabling developers to derive reliable control software from formal models. This approach helps tame the complexity of concurrency, a persistent hurdle in autonomous systems. While his citation count (5 citations for his top work) reflects a niche but specialized audience, his research is significant for practitioners seeking to improve software correctness in safety-critical robotic applications. West’s work underscores the importance of formal methods in real-time systems, offering a pathway from abstract design to dependable implementation. For students and researchers in robotics and software engineering, his contributions highlight how rigorous specification can simplify the development of concurrent, modular control software.