Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.
Hugo Daniel MacedoPeter Gorm LarsenJohn S. FitzgeraldPublished in: FM (2008)
Keyphrases
- real time
- mathematical model
- computational model
- formal model
- neural network
- probabilistic model
- decision making
- statistical model
- experimental data
- similarity measure
- artificial neural networks
- control system
- cost function
- mobile robot
- database systems
- high speed
- theoretical analysis
- parameter estimation
- high level
- conceptual model
- information systems
- prediction model