Stochastic Formal Methods for Hybrid Systems.
Marc DaumasÉrik Martin-DorelDavid R. LesterAnnick TruffertPublished in: NASA Formal Methods (2009)
Keyphrases
- formal methods
- hybrid systems
- discrete event
- artificial intelligence
- black box
- intelligent systems
- meta learning
- soft computing
- model checking
- computational intelligence
- neural network
- formal specification
- simulation model
- software engineering
- knowledge based systems
- dynamic systems
- databases
- modeling language
- relational databases
- data mining