Bounded Model Checking of Hybrid Systems for Control.
YoungMin KwonEunhee KimPublished in: IEEE Trans. Autom. Control. (2015)
Keyphrases
- hybrid systems
- bounded model checking
- discrete event
- black box
- neural network
- model checking
- soft computing
- intelligent systems
- control system
- meta learning
- temporal logic
- computational intelligence
- simulation model
- formal verification
- dynamic systems
- data model
- training set
- search algorithm
- reinforcement learning
- artificial intelligence
- machine learning
- linear temporal logic
- data mining