1. Chen Y-L, Lin F (2000) Modeling of discrete event systems using finite state machines with parameters. In: Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on, pp 941– 946
2. Chen Y-L, Lin F (2001) Safety control of discrete event systems using finite state machines with parameters. In: American Control Conference, 2001. Proceedings of the 2001, vol 2, pp 975–980
3. Griffin C (2006) A note on deciding controllability in pushdown systems. IEEE Trans Autom Control 51(2):334–337
4. Griffin C (2007) Decidability and optimality in pushdown control systems: A new approach to discrete event control. PhD thesis, The Pensylvania State University
5. Griffin C (2008) A note on the properties of the supremal controllable sublanguage in pushdown systems. IEEE Trans Autom Control 53(3):826–829