A language for formal design of embedded intelligence research systems.
Benjamin DittesChristian GoerickPublished in: Robotics Auton. Syst. (2011)
Keyphrases
- embedded systems
- intelligent systems
- formal languages
- formal methods
- building blocks
- support systems
- design criteria
- exception handling
- human computer interface
- design issues
- highly modular
- artificial intelligence
- formal descriptions
- interactive systems
- ai systems
- complex systems
- design process
- knowledge based systems
- case study
- design methodology
- language learning
- software systems
- single chip
- formal language
- information processing
- expert systems