Author(s): I.D. Bates;E.G. Chester;D.J. Kinniment
Abstract: Programmable Logic Controllers (PLCs) are commonly used in the implementation of industrial control systems. Statecharts are a suitable tool for the specification of complex reactive control systems. Statemate produced by iLogix Inc. enables the design, validation and simulation of a statechart model. The authors have previously developed a methodology and supporting software to enable the targeting of PLCs from a Statemate statechart model. This paper describes a case study which has been undertaken to verify the correct operation of the methodology and software tool.
Notes: TY - CONF U1 - 98114432140 Compilation and indexing terms, Copyright 2004 Elsevier Engineering Information, Inc. U2 - Statemate statechart Complex reactive control system Computer aided control system design
Keywords: Control system synthesis Programmable logic controllers Computer aided design Computer simulation Computer software Computer programming languages Petri nets Statistical process control Mathematical models Discrete time control systems
|
Dr Graeme Chester
|
|