Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.
Dominik HansenMichael LeuschelDavid SchneiderSebastian KringsPhilipp KörnerThomas NaulinNader NayeriFrank SkowronPublished in: ABZ (2018)
Keyphrases
- formal model
- conceptual model
- management system
- probabilistic model
- computational model
- hybrid model
- hierarchical structure
- mathematical model
- process model
- parameter estimation
- cost function
- artificial neural networks
- web services
- data mining
- theoretical framework
- prior knowledge
- real life
- statistical model
- experimental data
- objective function
- neural network model
- decision making