Design and verification of the SFC program for sequential control

Computers and Chemical Engineering

Volumn 24, Issue 2-7, 2000, Pages 303-308

  Fujino, Kazuhisa ^a   Imafuku, Kei ^a   Yamashita, Yuh ^a   Nishitani, Hirokazu ^a  

^a NARA INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

Model checking; Petri net; SFC program; Simulation; Temporal logic; Verification

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; FORMAL LOGIC; GRAPHIC METHODS; MATHEMATICAL MODELS; PETRI NETS;

MODEL CHECKING; SEQUENTIAL CONTROL; SEQUENTIAL FUNCTION CHART PROGRAM; TEMPORAL LOGIC;

COMPUTER PROGRAMMING;

COMPUTER PROGRAM; CONFERENCE PAPER; CONTROL SYSTEM; INFORMATION PROCESSING; LOGIC; SIMULATION;

EID: 0034661153     PISSN: 00981354     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0098-1354(00)00484-1     Document Type: Conference Paper

References (6)

1. Hiranaka, H., & Nishitani, H. (1994). Sequential control issues in the plant-wide control system. In Advanced control of chemical processes (ADCHEM'94) (pp. 345-350). Oxford: Pergamon.
2. IEC (International Electrotechnical Commission). (1993). Programmable controllers - part 3: programming languages (1st ed.) (pp. 1131-1133), Geneva.
3. McMillan, K. L. (1992). The SMV system draft. Carnegie-Mellon University.
4. Moon, I., Powers, G. J., Burch, J. R., & Clarke, E. N. (1992). Automatic verification of sequential control systems using temporal logic. American Institute of Chemical Engineering Journal, 38, 67-75.
5. Moon, I., Ko, D., Probst, S. T., & Powers, G. J. (1997). A symbolic model verifier for safe chemical process sequential control systems. Journal of Chemical Engineering Japan, 30, 13-22.
6. Uchihira, N., & Kawata, H. (1996). Exhaustive simulation of discrete event systems. Journal of SICE, 35, 763-769.