Safe control of logical control networks with random impulses.