Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides.

Andreas Rauh Luise Senkel Harald Aschemann

Published in: SCAN (2014)

Keyphrases

dynamic systems
parameter identification
closed loop
complex systems
discrete event
fuzzy model
qualitative reasoning
dynamical systems
state variables
consistency based diagnosis
autoregressive
flight test
qualitative models
particle filter
model based diagnosis
chaotic systems
control system