Problem decomposition and sub-model reconciliation of control systems in Event-B.
Sanaz YeganefardMichael J. ButlerPublished in: IRI (2013)
Keyphrases
- computational model
- image decomposition
- conceptual model
- mathematical model
- experimental data
- probabilistic model
- management system
- expert systems
- genetic algorithm
- prediction model
- autoregressive
- database
- cost function
- probability distribution
- least squares
- theoretical framework
- similarity measure
- statistical model