TEMPER: a temporal programmer for time-sensitive control of discrete event systems.
Abbas K. ZaidiAlexander H. LevisPublished in: IEEE Trans. Syst. Man Cybern. Part A (2001)
Keyphrases
- discrete event systems
- discrete event
- temporal constraints
- model based diagnosis
- petri net
- complex systems
- telecommunication networks
- timed petri nets
- control system
- temporal information
- programming language
- spatial and temporal
- dynamic systems
- temporal data
- temporal reasoning
- control method
- failure diagnosis
- high level
- data model