state space form propagator working