C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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