Quantifier-free encoding of invariants for hybrid systems.
Alessandro CimattiSergio MoverStefano TonettaPublished in: Formal Methods Syst. Des. (2014)
Keyphrases
- hybrid systems
- quantifier free
- quantifier elimination
- first order logic
- rewrite systems
- intelligent systems
- black box
- soft computing
- meta learning
- neural network
- computational intelligence
- artificial intelligence
- discrete event
- real numbers
- relational data model
- functional programming
- expert systems
- metamodel
- active rules
- inductive learning
- learning tasks
- cardinality constraints
- software engineering
- artificial neural networks