Analytical Temporal Specification Issues for Industrial Control Systems.
Rachna DhandGareth LeeGraeme ColePublished in: AINA Workshops (2010)
Keyphrases
- control system
- temporal ordering
- spatio temporal
- industrial automation
- temporal aspects
- spatial and temporal
- temporal reasoning
- key issues
- temporal constraints
- industrial applications
- temporal data
- temporal information
- temporal evolution
- linear temporal logic
- temporal databases
- temporal relations
- temporal dimension
- temporal consistency
- quality improvement
- user defined
- space time
- object oriented