Stable Predicate Detection in Dynamic Systems.
Donald DarlingJean MayoXinli WangPublished in: OPODIS (2005)
Keyphrases
- dynamic systems
- complex systems
- discrete event
- qualitative reasoning
- dynamical systems
- consistency based diagnosis
- object detection
- detection algorithm
- state estimation
- linear time invariant
- false positives
- detection rate
- false alarms
- model based diagnosis
- detection method
- qualitative models
- particle filter
- ordinary differential equations
- first order logic
- automatic detection
- continuous variables
- model construction
- cooperative