Behavioral and Temporal Rule Checking for Gaussian Random Process - a Kalman Filter Example

@article{Drusinsky2013BehavioralAT,
  title={Behavioral and Temporal Rule Checking for Gaussian Random Process - a Kalman Filter Example},
  author={Doron Drusinsky},
  journal={J. UCS},
  year={2013},
  volume={19},
  pages={2198-2206}
}
This paper describes a behavioral and temporal pattern detection technique for statespace systems whose state is a random variable such as the state estimated using a Kalman filter. Our novel behavioral and temporal pattern detection technique uses diagrammatic, intuitive, yet formal specifications based on a dialect of the UML of the kind used to monitor… CONTINUE READING