首页|期刊导航|电子科技|基于FSM的PLCopen运动控制系统可靠性研究

基于FSM的PLCopen运动控制系统可靠性研究

何洁李贤高健

电子科技2018，Vol.31Issue(10)：44-47,4.

电子科技2018，Vol.31Issue(10)：44-47,4.DOI:10.16180/j.cnki.issn1007-7820.2018.10.010

Research on Reliability of PLCopen Motion Control System Based on FSM

何洁 ¹李贤 ¹高健²

作者信息

PLCopen/功能块/UPPAAL验证器/时间自动机模型/安全验证

信息技术与安全科学

何洁,李贤,高健..基于FSM的PLCopen运动控制系统可靠性研究[J].电子科技,2018,31(10):44-47,4.

NSFC-浙江两化融合联合基金(U1609211) （U1609211）

ISSN：1007-7820

访问量0

下载量0

段落导航