Items where Author is "Guo, Qi"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
Yu, Wangyang and Guo, Qi and Cheng, Yumeng and Liu, Lu and Hao, Fei and Zhai, Xiaojun and Chen, Minsi (2025) Formal Modeling and Reliability Analysis of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System. Transactions on Embedded Computing Systems. DOI https://doi.org/10.1145/3715960 (In Press)
Yu, Wangyang and Kong, Jinming and Ding, Zhijun and Zhai, Xiaojun and Li, Zhiqiang and Guo, Qi (2024) Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing. ACM Transactions on Embedded Computing Systems, 23 (1). pp. 1-27. DOI https://doi.org/10.1145/3633450