Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems.
Ilya TkachevAlexandru MereacreJoost-Pieter KatoenAlessandro AbatePublished in: HSCC (2013)
Keyphrases
- hybrid systems
- controller synthesis
- discrete event
- black box
- autonomic computing systems
- soft computing
- intelligent systems
- neural network
- meta learning
- computational intelligence
- artificial intelligence
- dynamic systems
- simulation model
- closed loop
- fuzzy sets
- fuzzy logic
- control system
- training set
- machine learning
- real time