Introducing monitoring events to timed-CSP.
N. PetalidisD. S. GillPublished in: IEE Proc. Softw. (2001)
Keyphrases
- abnormal events
- constraint satisfaction problems
- event detection
- abnormal situations
- real time
- petri net
- monitoring system
- early warning
- constraint satisfaction
- constraint propagation
- human activities
- temporal relations
- decomposition methods
- timed automata
- neural network
- np complete
- search algorithm
- objective function
- event sequences
- event recognition
- constraint solving
- web services
- event types
- hypertree decomposition