2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 1 cited
Synthesizing SystemC Code from Delay Hybrid CSP
Gaogao Yan, Li Jiao, Shuling Wang +1
Delay is omnipresent in modern control systems, which can prompt oscillations and may cause deterioration of control performance, invalidate both stability and safety properties. T…
cs.LO2016★ 2 cited
Approximate Bisimulation and Discretization of Hybrid CSP
Gaogao Yan, Li Jiao, Yangjia Li +2
Hybrid Communicating Sequential Processes (HCSP) is a powerful formal modeling language for hybrid systems, which is an extension of CSP by introducing differential equations for m…