Modeling and verifying of CPS component services based on hybrid automata
文献类型：期刊论文
| 作者 | Zhang, Jianning; Zhang, Guanquan; Yan, Rongjie; Zhu, Yi; Qi, Xingjun |
| 刊名 | International Journal of Multimedia and Ubiquitous Engineering
 |
| 出版日期 | 2014 |
| 卷号 | 9期号:6页码:49-57 |
| ISSN号 | 19750080 |
| 中文摘要 | In recent years, the modeling and verifying of Cyber-Physical System (CPS) is now an important aspect of CPS researches. Because of the CPS' complex architecture, it may suffer from the state-space explosion problem when we verify CPS models by model checking methods. Therefore, we offer a method which models CPS with Component Services. The method treats the CPS components as a service provider, and models component services to further simplify the system's state-space. We verify the correctness of this model and solve the synchronous/asynchronous communication problems. © 2014 SERSC. |
| 英文摘要 | In recent years, the modeling and verifying of Cyber-Physical System (CPS) is now an important aspect of CPS researches. Because of the CPS' complex architecture, it may suffer from the state-space explosion problem when we verify CPS models by model checking methods. Therefore, we offer a method which models CPS with Component Services. The method treats the CPS components as a service provider, and models component services to further simplify the system's state-space. We verify the correctness of this model and solve the synchronous/asynchronous communication problems. © 2014 SERSC. |
| 收录类别 | EI |
| 语种 | 英语 |
| 公开日期 | 2014-12-16 |
| 版本 | 出版稿 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/17016]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Zhang, Jianning,Zhang, Guanquan,Yan, Rongjie,et al. Modeling and verifying of CPS component services based on hybrid automata[J]. International Journal of Multimedia and Ubiquitous Engineering,2014,9(6):49-57. |
| APA | Zhang, Jianning,Zhang, Guanquan,Yan, Rongjie,Zhu, Yi,&Qi, Xingjun.(2014).Modeling and verifying of CPS component services based on hybrid automata.International Journal of Multimedia and Ubiquitous Engineering,9(6),49-57. |
| MLA | Zhang, Jianning,et al."Modeling and verifying of CPS component services based on hybrid automata".International Journal of Multimedia and Ubiquitous Engineering 9.6(2014):49-57. |
入库方式： OAI收割
来源：软件研究所
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。