Design and verification of a flexible device for steering a tethered capsule endoscope in the stomach.
Xianming YeJohn-John CabibihanW. Jong YoonPublished in: URAI (2017)
Keyphrases
- case study
- endoscopic images
- knowledge based systems
- genetic algorithm
- information systems
- model checking
- formal verification
- computer aided
- design principles
- functional verification
- neural network
- manufacturing cell
- design tools
- design patterns
- software architecture
- control system
- user interface
- artificial intelligence