Sang Sik Lee, Dongik Lee, Jung-Min Yang. Reachability and state recovery for input/state switched asynchronous sequential machines. In European Control Conference, ECC 2015, Linz, Austria, July 15-17, 2015. pages 1890-1895, IEEE, 2015. [doi]
Abstract is missing.