Modeling Distributed Real-time Elevator System by Three Model Checkers.
Zhongsheng QianXin LiXiaojin WangPublished in: Int. J. Online Eng. (2018)
Keyphrases
- real time
- modeling framework
- theoretical framework
- computational model
- probabilistic model
- statistical model
- conceptual model
- management system
- formal model
- control system
- cooperative
- modeling method
- computer vision
- dynamic bayesian networks
- simulation model
- neural network model
- model construction
- distributed environment
- experimental data
- database
- modeling tool
- pose estimation
- em algorithm
- distributed systems
- probability distribution
- hidden markov models
- cost function
- prior knowledge
- reinforcement learning
- similarity measure
- high level
- decision making