Lizhe Tan
Papers
1
Total Citations
47
H-Index
1
About
Dr. Lizhe Tan is a leading researcher in the engineering of dependable cyber-physical and hybrid embedded systems. His work is distinguished by a rigorous, model-based approach to ensuring system correctness, particularly through the integration of automated testing and real-time monitoring. In his seminal 2005 work, "Model-based testing and monitoring for hybrid embedded systems," Dr. Tan proposed a unified framework that bridges the gap between design-time verification and run-time validation. This framework, which has garnered 47 citations, innovatively combines model-based test generation for hybrid systems with run-time verification and modular code generation. By enabling the systematic analysis of complex behaviors in systems that mix discrete and continuous dynamics, his contributions are foundational for safety-critical applications in automotive, aerospace, and industrial automation. Dr. Tan’s research provides essential methodologies for building more reliable and robust embedded systems, making him a key figure in advancing the formal engineering of modern, high-assurance technologies.
Research Focus
Key Achievements
Top Papers
- 1Model-based testing and monitoring for hybrid embedded systems47 citations · 2005