1. Bisimulation, the supervisory control problem, and strong model matching for finite state machines;Barrett;Discrete Event Dynamic Systems: Theory and Application,1998
2. Model matching for finite state machines;Dibenedetto,1994
3. Asynchronous sequential machines: input/output control;Geng,2004
4. Input/output control of asynchronous sequential machines;Geng;IEEE Trans Automat Control,2005
5. On some control problems in molecular biology;Hammer,1994