Modeling of Timing Constraints in Hybrid Systems Using Event-B.
Wen SuPublished in: IEEE Trans. Reliab. (2020)
Keyphrases
- hybrid systems
- timing constraints
- black box
- neural network
- intelligent systems
- real time databases
- computational intelligence
- discrete event
- software engineering
- soft computing
- artificial intelligence
- execution model
- model selection
- scheduling algorithm
- data analysis
- dynamic systems
- active databases
- real time database systems
- real time