|
|||||
|
|
The stochastic semantics and verification for periodic control systems |
|
| Authors: | YANG MengFei WANG Zheng PU GeGuang Qin ShengChao GU Bin HE JiFeng |
| Affiliation: | [1]Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China [2]Beijing Institute of Control Engineering, Beijing 100190, China [3]China Academy of Space Technology, Beijing 100049, China [4]University of Teesside, TS1 3BA, UK |
| Abstract: | |
| Keywords: | periodic control system stochastic semantics statistical model checking |
| 本文献已被 维普 等数据库收录！ | |