Powering embedded CMOS logic on MEMS-based micro-robots.
Jung H. ChoMark G. ArnoldPublished in: BMAS (2009)
Keyphrases
- delay insensitive
- mobile robot
- logic programming
- modal logic
- random access memory
- low cost
- embedded systems
- classical logic
- automated reasoning
- power consumption
- multi robot
- cooperative
- high speed
- vlsi circuits
- electro mechanical systems
- low voltage
- digital circuits
- power supply
- humanoid robot
- single chip
- predicate logic
- asynchronous circuits
- manipulation tasks
- proof theory
- circuit design
- autonomous robots
- analog vlsi
- digital images
- analog to digital converter
- real time