Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.
Lei BuQixin WangXin ChenLinzhang WangTian ZhangJianhua ZhaoXuandong LiPublished in: SIGBED Rev. (2011)
Keyphrases
- model checking
- hybrid systems
- short run
- long run
- cyber physical systems
- intelligent systems
- black box
- soft computing
- meta learning
- artificial intelligence
- neural network
- computational intelligence
- discrete event
- real time
- data mining
- exchange rate
- development process
- complex systems
- object oriented
- artificial neural networks
- bayesian networks