Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems.

Michael Vollmer

Published in: SAFECOMP (2004)

Keyphrases

safety critical
numerical integration
formal methods
fault tolerant
support systems
embedded systems
safety analysis
image denoising
agent architecture
partial differential equations
dynamic systems
ordinary differential equations
real time
intelligent systems
state space
multi agent systems
cooperative
data mining