The stochastic semantics and verification for periodic control systems
From MaRDI portal
Publication:5046495
DOI10.1007/s11432-012-4750-0zbMath1497.93216OpenAlexW1968172146MaRDI QIDQ5046495
Jifeng He, Shengchao Qin, Geguang Pu, Zheng Wang, Mengfei Yang, Bin Gu
Publication date: 28 October 2022
Published in: Science China Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11432-012-4750-0
Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic systems in control theory (general) (93E03)
This page was built for publication: The stochastic semantics and verification for periodic control systems
