Sufficient conditions for satisfaction of formulas with until operators in hybrid systems.
Hyejin HanMohamed MaghenemRicardo G. SanfelicePublished in: HSCC (2020)
Keyphrases
- sufficient conditions
- hybrid systems
- black box
- intelligent systems
- meta learning
- soft computing
- computational intelligence
- neural network
- exponential stability
- artificial intelligence
- discrete event
- asymptotic stability
- lyapunov function
- data mining
- machine learning
- simulation model
- inductive learning
- power system
- multi class
- np hard
- artificial neural networks
- optimal solution