Combining control and data abstraction in the verification of hybrid systems.
Xavier BriandBertrand JeannetPublished in: MEMOCODE (2009)
Keyphrases
- hybrid systems
- data abstraction
- discrete event
- neural network
- black box
- intelligent systems
- computational intelligence
- database management
- object oriented
- conceptual modeling
- meta learning
- object oriented databases
- programming language
- artificial intelligence
- formal specification
- dynamic systems
- soft computing
- model checking
- learning tasks
- control system
- software engineering
- abstract data types
- databases