Towards Refining Temporal Specifications into Hybrid Systems.
Thomas A. HenzingerZohar MannaAmir PnueliPublished in: Hybrid Systems (1992)
Keyphrases
- hybrid systems
- black box
- intelligent systems
- neural network
- soft computing
- meta learning
- discrete event
- computational intelligence
- temporal constraints
- artificial intelligence
- temporal information
- workflow systems
- temporal databases
- temporal reasoning
- simulation model
- inductive learning
- web services
- evolutionary computation
- decision making
- search space