CORC

浏览/检索结果: 共28条,第1-10条 帮助

限定条件                    
已选(0)清除 条数/页:   排序方式:
System of Systems Architecture Modeling and Mission Reliability Analysis Based on DoDAF and Petri Net 会议论文
2019 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2019) - R & M IN THE SECOND MACHINE AGE - THE CHALLENGE OF CYBER PHYSICAL SYSTEMS, 2019-01-01
作者:  Chen Zhiwei;  Zhao Tingdi;  Jiao Jian;  Li Yaqiu
收藏  |  浏览/下载:4/0  |  提交时间:2019/12/30
Safety Simulation and Analysis for Complex Systems Concurrency Based on Petri Net and Stateflow Model 会议论文
2019 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2019) - R & M IN THE SECOND MACHINE AGE - THE CHALLENGE OF CYBER PHYSICAL SYSTEMS, 2019-01-01
作者:  Dong, Jie;  Jiao, Jian;  Xia, Hongqing;  Chu, Jiayun
收藏  |  浏览/下载:4/0  |  提交时间:2019/12/30
Evaluate concurrent state machine of SysML model with Petri net 会议论文
Proceedings of the 13th IEEE Conference on Industrial Electronics and Applications, ICIEA 2018
作者:  Shen, J.;  Liu, L.;  Hu, X.;  Zhang, G.;  Xiao, J.
收藏  |  浏览/下载:7/0  |  提交时间:2019/12/30
Petri nets-based method for component-interaction related hazard identification in computer-controlled systems 会议论文
ICNSC 2018 - 15th IEEE International Conference on Networking, Sensing and Control
作者:  Zhu, D.;  Yao, S.;  Wu, J.
收藏  |  浏览/下载:7/0  |  提交时间:2019/12/30
A petri-net based reliability prediction method for SOA software 会议论文
2nd International Conference on Advances in Image Processing, ICAIP 2018, Chengdu, China, 2018-06-16
作者:  Zhang, Hao;  Lu, Minyan;  Gu, Tingyang
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/30
Evaluate Concurrent State Machine of SysML Model with Petri Net 会议论文
PROCEEDINGS OF THE 2018 13TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA 2018), 2018-01-01
作者:  Shen, Jieshi;  Liu, Lei;  Hu, Xiaoguang;  Zhang, Guofeng;  Xiao, Jin
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/30
Modeling and Analysis of CPS Availability Based on The Object-oriented Timed Petri Nets 会议论文
2018 37TH CHINESE CONTROL CONFERENCE (CCC), 2018-01-01
作者:  Yang, Yi;  Xu, Wei;  Wang, Sixin;  Wei, Kunlun
收藏  |  浏览/下载:6/0  |  提交时间:2019/12/30
A New Approach for Modular Robot System Behavioral Modeling: Base on Petri Net and Category Theory 会议论文
ADVANCES IN MATERIALS, MACHINERY, ELECTRONICS II, 2018-01-01
作者:  Zhang, Yun;  Wei, Hongxing;  Yang, Bo
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/30
A safety analysis method with correlation of states for integrated modular avionics systems based on an extended generalized stochastic Petri net 会议论文
26th Conference on European Safety and Reliability (ESREL), Glasgow, SCOTLAND, 2016-09-25
作者:  Han, Rongbin;  Wang, Shihai
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/30
A safety analysis method with correlation of states for integrated modular avionics systems based on an extended generalized stochastic Petri net 会议论文
RISK, RELIABILITY AND SAFETY: INNOVATING THEORY AND PRACTICE, 2017-01-01
作者:  Han, Rongbin;  Wang, Shihai
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/30


©版权所有 ©2017 CSpace - Powered by CSpace