M.H.W. Engelaar
Papers
1
Total Citations
4
H-Index
1
About
M.H.W. Engelaar is a rising researcher at the forefront of risk-aware control and formal methods for autonomous systems. Their work bridges the gap between stochastic control theory and runtime verification, addressing a critical challenge: how to ensure safety and performance when system specifications change dynamically during operation. In their highly cited 2024 paper, "Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics," Engelaar introduced a novel model predictive control framework that adapts to new temporal logic constraints on the fly—a departure from traditional approaches that assume fixed, predefined specifications. This contribution is particularly impactful for applications in robotics and autonomous driving, where mission requirements often evolve in real time. With 4 citations already in a short period, Engelaar’s work is gaining traction among control theorists and formal methods researchers alike. Their research not only advances theoretical foundations but also offers practical tools for safer, more flexible autonomous systems, marking them as a promising voice in the next generation of control engineers.
Research Focus
Key Achievements
Top Papers
- 1Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics4 citations · 2024