Towards "Propagation = Logic + Control"

Sebastian Brand Roland H. C. Yap

Published in: CoRR (2006)

Keyphrases

control system
modal logic
process control
data acquisition
control strategy
classical logic
search algorithm
temporal logic
robotic systems
control theory
asynchronous circuits