In order to obtain a safety electronic system of control, in general it will be necessary to assign a redundancy approach. Nevertheless this makes the equipments more expensive. Throughout this paper, a method based on dynamic logic is set out in order to achieve safety systems with programmable logic controllers
Published in:
Industrial Automation and Control, 1995 (I A & C'95), IEEE/IAS International Conference on (Cat. No.95TH8005)
Date of Conference: 5-7Jan 1995