Monitoring Temporal Properties of Continuous Signals.
Oded MalerDejan NickovicPublished in: FORMATS/FTRTFT (2004)
Keyphrases
- temporal properties
- model checking
- acoustic emission
- continuous monitoring
- monitoring system
- possibility theory
- real time
- formal methods
- signal processing
- temporal logic
- data analysis
- health monitoring
- condition monitoring
- life cycle
- fixed point
- dynamic environments
- probabilistic model
- data model
- high level
- knowledge base