The stochastic semantics and verification for periodic control systems

DOI10.1007/S11432-012-4750-0zbMATH Open1497.93216OpenAlexW1968172146MaRDI QIDQ5046495FDOQ5046495

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)