1 Lucas, M.R., Tilbury, D.M., “The practice of industrial logic design”, In: Proc. American Control Conference (ACC), Boston, 1350-1355 (2004). 2 IEC, Programmable Controllers—Part 3: Programming Languages, International Electrotechnical Commission (IEC), 61131-3, Geneva (2003). 3 Stursberg, O., Lohmann, S., “Analysis of logic controllers by transformation of SFC into timed automata”, In: Proc. 44th IEEE CDC/ECC, Sevilla, 7720-7725 (2005). 4 Lohmann, S., Stursberg, O., Engell, S., “Comparison of event-triggered and cycle-driven models for verifying SFC programs”, In: Proc. American Control Conference, New York (2007). 5 NAMUR—Recommendation NE 33: Requirements to be Met by Systems for Recipe-Based Operations. http://www.namur.de (last visited: 04/30/2007). 6 Alur, R., Dill, D.L., “A theory of timed automata”, Theor. Comp. Sci., 126, 183-235 (1994). 7 Clarke, E.M., Grumberg, O., Peled, D.A., Model Checking, MIT Press, Cambridge (1999). 8 Lee, S., Tilbury, D.M., “A modular control design method for a flexible manufacturing cell including error handling”, In: 44th IEEE Conference on Decision and Control, Sevilla, Spain, 8355-8360 (2005). 9 Frey, G., Wagner, F., “A toolbox for the development of logic controllers using petri-Nets”, In: 8th International Workshop on Discrete Event Systems, Ann Arbor, Michigan, 473-474 (2006). 10 Robertson, S., Robertson, J., Mastering the Requirements Process, 2nd ed., Addison Wesley, Boston (2006). 11 Behrmann, G., David, A., Larsen, K.G., “A tutorial on Uppaal”, Design Comp., Comm., Software Systems (LNCS), 3185, 200-236 (2004). |