The stochastic semantics and verification for periodic control systems
From MaRDI portal
Publication:5046495
DOI10.1007/s11432-012-4750-0zbMath1497.93216MaRDI QIDQ5046495
Jifeng He, Mengfei Yang, Bin Gu, Zheng Wang, Shengchao Qin, Geguang Pu
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
68Q60: Specification and verification (program logics, model checking, etc.)
93E03: Stochastic systems in control theory (general)