R.G.M. Huisman
Papers
1
Total Citations
6
H-Index
1
About
R.G.M. Huisman is a researcher at the forefront of model-based systems engineering, with a particular focus on the formal synthesis of supervisory controllers for complex, cyber-physical systems. His key research areas include supervisory control theory, model-driven development, and the application of formal methods to automotive systems engineering. Huisman’s major contribution lies in bridging the gap between theoretical supervisory control synthesis and practical industrial adoption, specifically by developing methodologies that integrate supervisor synthesis directly into model-based design workflows. His most cited work, "Supervisor synthesis in model-based automotive systems engineering" (2014), has garnered 6 citations and is recognized for demonstrating how formal models can enable early functional verification and performance analysis of complex automotive architectures. This work addresses the critical challenge of managing the growing complexity of systems with numerous interacting computational and physical components. By providing a structured approach to automatically derive correct-by-construction supervisory controllers, Huisman’s research helps reduce manual design errors and development time, making a tangible impact on the reliability and efficiency of modern automotive systems engineering.
Research Focus
Key Achievements
Top Papers
- 1Supervisor synthesis in model-based automotive systems engineering6 citations · 2014