1 Nisenfeld, A.E., Leegwater, H., Batch Control, Instrument Society of America, North Carolina (1996). 2 Murata, T., “Petri nets: Properties, analysis and applications”, Proceedings of the IEEE, 77 (4), 541-580 (1989). 3 Yajima, T., Ito, T., Hashizume, S., Kurimoto, H., Onogi, K., “Control of batch processes based on hierarchical Petri nets”, IEICE Trans. Fund. Elec., Comm. Comp. Sci., E87-A, 2895-2904 (2004). 4 Ito, T., Hashizume, S., Yajima, T., Onogi, K., “Integration between scheduling and design of batch systems based on Petri net models”, IEICE Trans. Fund. Elec., Comm. Comp. Sci., E88-A (11), 2989-2998 (2005). 5 Ito, T., Hashizume, S., Yajima, T., Onogi, K., “Building of observers to detect faults for batch processes based on discrete event systems approaches”, J. Chem. Eng. Jap., 39, 1069-1077 (2006). 6 Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D., “Diagnosability of discrete-event systems”, IEEE Trans. on Automatic Control, 40 (9), 1555-1575 (1995). 7 Mosterman, P.J., “Diagnosis of physical systems with hybrid models using parametrized causality”, Lecture Notes in Computer Science, 2034, 447-458 (2001). 8 Ashley, J., Holloway, L.E., “Qualitative diagnosis of condition systems”, Discrete Event Dynamic Systems, 14 (4), 395-412 (2004). 9 Hadjicostis, C.N., Verghese, G. C., “Monitoring discrete event systems using Petri net embeddings”, Lecture Notes in Computer Science, 1639, 188-207 (1999). 10 Sanchez, A., “Formal specification and synthesis of procedural controllers for process systems”, Lecture Notes in Control and Information Sciences, 212, 85-121 (1996). 11 Tittus, M., Lennartson, B., “Hierarchical supervisory control for batch processes”, IEEE Trans. on Control Systems Technology, 7 (5), 542-554 (1999). 12 Cinar, A., “Fundamentals of fault detection and analysis”, In: Batch Control: Practical Guides for Measurement and Control, Nisenfeld, A.E., Leegwater, H., eds., Instrument Society of America, North Carolina, 225-247 (1996). |