Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation.
Yunja ChoiPublished in: SEFM (2018)
Keyphrases
- domain specific
- control structures
- control program
- general purpose
- domain independent
- data acquisition
- semi automated
- control method
- remote control
- human operators
- control system
- fully automated
- management system
- knowledge base
- adaptive control
- control strategy
- automated analysis
- control structure
- force feedback
- expert systems
- control unit
- web services