A hierarchical verification approach to verify complex safety control systems based on STAMP.

Xiao Han Tao Tang Jidong Lv

Published in: Sci. Comput. Program. (2019)

Keyphrases

control system
verification method
real world
high level
safety analysis
real time
complex data
hierarchical clustering
complex systems
multiscale
case study
probabilistic model
mobile robot
monitoring system
model checking
artificial neural networks
computationally intensive
machine learning