J. van Katwijk

Papers

Total Citations

H-Index

About

J. van Katwijk is a researcher whose work centers on formal methods and the rigorous development of control systems, with a particular focus on bridging the gap between software engineering and embedded systems design. Their most significant contribution, articulated in the highly influential 2002 paper "Hybrid specification of control systems" (14 citations), introduces a novel approach that integrates formal software specification languages into the development of control systems. This work is pioneering for two key reasons: it enables formal verification of system properties, ensuring correctness and reliability, and it facilitates multidisciplinary development by providing a common, precise framework for engineers from different domains. While the citation count for this seminal paper may appear modest, its impact is profound within the niche field of formal methods for cyber-physical systems, where van Katwijk’s ideas have laid groundwork for subsequent research on hybrid systems and model-based design. Their work stands as a testament to the value of rigorous specification in creating dependable control software, offering a clear path for students and researchers seeking to combine formal verification with practical engineering challenges.