Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering.
Andreas RauhJohanna MinisiniEberhard P. HoferPublished in: Numerical Validation in Current Hardware Architectures (2008)
Keyphrases
- computer aided design
- design automation
- design process
- cad cam
- object oriented
- computer aided
- computer graphics
- solid models
- reverse engineering
- real time
- software engineering
- control system
- computer vision
- artificial intelligence
- knowledge based systems
- relational databases
- constraint propagation
- optimization process
- neural network
- databases