The stochastic semantics and verification for periodic control systems

DOI10.1007/S11432-012-4750-0MaRDI QIDQ5046495zbMATH OpenOpenAlexFDO

Authors Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He

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

Mathematics Subject Classification ID

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5046495)