Combining Control and Data Abstraction in the Verification of Hybrid Systems.
Xavier BriandBertrand JeannetPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2010)
Keyphrases
- hybrid systems
- data abstraction
- discrete event
- database management
- conceptual modeling
- neural network
- intelligent systems
- black box
- dynamic systems
- control system
- artificial intelligence
- soft computing
- object oriented databases
- formal specification
- meta learning
- programming language
- object oriented
- computational intelligence
- model checking
- abstract data types
- general purpose
- database