Teck Ping Khoo

Papers

Total Citations

H-Index

About

Teck Ping Khoo is a researcher at the forefront of Cyber-Physical Systems (CPSs) and Industry 4.0, with a focus on ensuring the reliability and adaptability of modularized smart manufacturing applications. Their most cited work, "Adaptive Model Verification for Modularized Industry 4.0 Applications" (2022, 8 citations), addresses a critical challenge in modern industrial automation: how to dynamically verify the behavior of interconnected, sensor-driven systems that integrate sensing, data analytics, and artificial intelligence. By proposing a framework for adaptive model verification, Khoo enables these complex networks—where sensor-generated data drives real-time decision-making—to maintain safety and performance even as modules are added or reconfigured. This contribution is vital for the scalable deployment of Industry 4.0 technologies, bridging the gap between theoretical CPS design and practical, trustworthy implementation. Khoo’s work is particularly notable for its emphasis on modularity and adaptability, key requirements for future factories. With a growing citation record, their research is shaping how engineers approach verification in increasingly autonomous industrial environments, making them a rising voice in the field of dependable cyber-physical systems.