Mingtai Zhang
Papers
1
Total Citations
3
H-Index
1
About
Mingtai Zhang is a researcher focused on Cyber-Physical Systems (CPS), with particular emphasis on modeling and analyzing the complex interactions between computational, physical, and network environments. His work centers on developing formal methods to represent the spatio-temporal dynamics of CPS physical entities, addressing the challenge of achieving real-time perception and dynamic control through the integration of computing, communication, and control (3C) technologies. Zhang's notable contribution includes the introduction of Spatio-Temporal Petri Nets as a modeling framework for CPS, which enables systematic analysis of system behaviors across both spatial and temporal dimensions. While his most-cited paper, "Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net" (2014), has accumulated 3 citations, his research provides foundational insights into the formal specification and verification of CPS architectures. Zhang's work contributes to the broader goal of enabling reliable and efficient operation of CPS in critical applications such as smart infrastructure, autonomous systems, and industrial automation. His research remains relevant for students and researchers exploring formal methods for complex embedded and cyber-physical systems.
Research Focus
Key Achievements
Top Papers
- 1