Gerald H. Hilderink

Papers

Total Citations

H-Index

About

Gerald H. Hilderink is a researcher specializing in embedded control systems, mechatronic engineering, and formal methods for concurrency, particularly through the lens of Communicating Sequential Processes (CSP). His major contribution lies in developing the Communicating Threads (CT) framework, a CSP-based library that bridges the gap between formal design and practical implementation for sophisticated control software. This work directly addresses the challenge of enabling mechatronic engineers to efficiently translate complex control laws into reliable computer code, promoting concurrent engineering and reducing development costs. His most cited paper, "A Communicating Thread -CT- case study: JIWY" (2002, 7 citations), demonstrates this framework through a demonstrator that integrates multidisciplinary activities. Further case studies, such as "A Case Study for Tooling the Design Trajectory of Embedded Control Systems" (2002, 4 citations) and "A Multimodel Robotic Control Law Modelled and Implemented with the CSP/CT Framework" (2003, 4 citations), showcase the practical application of his methodology in robotics and stepwise refinement. While his citation counts are modest, Hilderink’s work is notable for its foundational role in formalizing the design trajectory of embedded systems, offering a structured path from analysis to implementation that empowers engineers to tackle complex, real-time control challenges with greater efficiency and reliability.