Formal verification of sequence controllers

[1]  A. P. Sistla,et al.  Automatic verification of finite-state concurrent systems using temporal logic specifications , 1986, TOPL.

[2]  Howard P. Rosenof,et al.  Batch Process Automation , 1987 .

[3]  Victor C. Lim,et al.  Small batch reactor control system integration , 1989 .

[4]  Richard E. Zapolin.  RISC programmable controllers can bring programmability down to low-end remote sites , 1990 .

[5]  Panos M. Pardalos,et al.  Modeling and integer programming techniques applied to propositional calculus , 1990, Comput. Oper. Res..

[6]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[7]  Edmund M. Clarke,et al.  Sequential circuit verification using symbolic model checking , 1991, DAC '90.

[8]  Joseph Sifakis,et al.  Integration Graphs: A Class of Decidable Hybrid Systems , 1992, Hybrid Systems.

[9]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[10]  Edmund M. Clarke,et al.  Automatic verification of sequential control systems using temporal logic , 1992 .

[11]  René David.  Petri Nets and Grafcet for Specification of Logic Controllers , 1993 .

[12]  Stefan Kowalewski,et al.  Verification of Sequential Controllers with Timing Functions for Chemical Processes , 1996 .

[13]  Adam L. Turk,et al.  Verification of Real Time Chemical Processing Systems , 1997, HART.

[14]  V. D. Dimitriadis,et al.  Modeling and safety verification of discrete/continuous processing systems , 1997 .

[15]  P. I. Barton,et al.  Implicit model checking of logic‐based control systems , 1997 .

[16]  Taeshin Park,et al.  Formal verification and dynamic validation of logic-based control systems , 1998 .