Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences

From MaRDI portal