Approximate bisimulation and discretization of hybrid CSP

DOI10.1007/978-3-319-48989-6_43zbMath1427.68218arXiv1609.00091OpenAlexW2963576416MaRDI QIDQ2281663

Naijun Zhan, Li Jiao, Yangjia Li, Gaogao Yan, Shu-Ling Wang

Publication date: 3 January 2020

Full work available at URL: https://arxiv.org/abs/1609.00091

zbMATH Keywords

discretizationhybrid systemsHCSPapproximately bisimilar

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Hybrid systems of ordinary differential equations (34A38)

Related Items (1)

Synthesizing SystemC Code from Delay Hybrid CSP

This page was built for publication: Approximate bisimulation and discretization of hybrid CSP