Abstract: This paper investigates the problem of time-optimal stabilization in Boolean control networks (BCNs) with an asynchronous update scheme, subject to state and control constraints. BCNs are ...