Keyphrases
- delay insensitive
- remote control
- electrical power
- asynchronous circuits
- energy consumption
- classical logic
- operational semantics
- embedded systems
- control strategy
- control system
- mobile devices
- high level
- control method
- energy saving
- neural network
- low cost
- formal language
- mobile robot
- program synthesis
- reactive power
- logic synthesis
- bounded model checking