Model-based verification method for solving the parameter uncertainty in the train control system.
Ruijun ChengJin ZhouDewang ChenYongduan SongPublished in: Reliab. Eng. Syst. Saf. (2016)
Keyphrases
- verification method
- control system
- temporal logic
- model checking
- fuzzy logic
- closed loop
- parameter values
- data driven
- conditional probabilities
- control strategy
- uncertain data
- inherent uncertainty
- neural network
- decision making under uncertainty
- possibility theory
- input parameters
- model free
- fuzzy control
- combinatorial optimization
- bayesian networks
- decision making