J.M. van de Mortel‐Fronczak

Papers

Total Citations

H-Index

About

J.M. van de Mortel-Fronczak is a researcher whose work sits at the intersection of supervisory control theory, model-based systems engineering, and autonomous robotics. Her research focuses on the synthesis and formal verification of supervisory controllers — automated methods for generating provably correct control software directly from high-level system models, eliminating the error-prone step of manual code translation. Her most recognized contribution applies supervisor synthesis techniques to automotive systems engineering, demonstrating how model-driven approaches can accelerate development cycles and enable early-stage functional analysis of complex cyber-physical systems. Building on this foundation, she has extended synthesis-based engineering methodologies into the domain of autonomous mobile robotics, addressing the critical challenge of guaranteeing safety and task requirements when robots operate in human environments. Her more recent work specifically targets ROS-based robotic applications, reflecting a commitment to bridging formal control theory with widely adopted real-world development platforms. With citations spanning automotive engineering, robotics, and control systems communities, her research has meaningful reach across multiple disciplines. Her contributions are particularly valuable to students and practitioners seeking rigorous, scalable approaches to designing dependable autonomous systems in safety-critical settings.