A formalism for monitoring real-time constraints at run-time.
Farnam JahanianAmbuj GoyalPublished in: FTCS (1990)
Keyphrases
- real time
- activity monitoring
- complex event processing
- situational awareness
- data sets
- sensor data streams
- continuous monitoring
- constraint satisfaction
- vision system
- expert systems
- formal model
- geometric constraints
- constrained optimization
- moving target
- global constraints
- linear constraints
- monitoring system
- health monitoring
- timing constraints
- decision support
- control system