设备自动巡检控制逻辑的层级时间自动机建模与验证 (Modeling and Verifying Device Automatic Polling Control Logic Using Hierarchical Timed Automata).
Cheng SunJianchun XingQiliang YangDeshuai HanPublished in: 计算机科学 (2017)
Keyphrases
- timed automata
- model checking
- data acquisition
- reachability analysis
- verification method
- asynchronous circuits
- temporal logic
- multi valued
- logic programming
- neural network
- monitoring system
- data sets
- modal logic
- low cost
- hierarchical model
- logical framework
- classical logic
- control system
- knowledge base
- learning algorithm