Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System

Open Webpage

Wangyang Yu, Qi Guo, Yumeng Cheng, Lu Liu, Fei Hao, Xiaojun Zhai, Minsi Chen

Published: 2025, Last Modified: 26 Jan 2026ACM Trans. Embed. Comput. Syst. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0