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
- solid models
- design process
- cad cam
- computer aided
- object oriented
- expert systems
- formal methods
- knowledge based systems
- software engineering
- office information systems
- database
- case study
- artificial intelligence
- real time
- control system
- image analysis
- pattern recognition
- machine learning