Mathematical analysis of stage-based programmable logic controller☆

https://doi.org/10.1016/j.camwa.2011.02.004Get rights and content
Under an Elsevier user license
open archive

Abstract

The modern stage suspended boom system is automatically controlled by PLC (programmable logic controller), and represents a typical hybrid behavior. It is an important family of stage control machinery systems. This paper presents a formal approach to modeling the system behaviors of different scenes. The system is formally characterized and specified in a timed model. System properties are proved in the proof system of the extended duration calculus. The case study illustrates the feasibility of the proposed verification framework.

Keywords

Stage suspended boom
Programmable logic controller
Extended duration calculus

Cited by (0)

☆

This work was supported in part by the Chinese National 973 Plan under grant No. 2004CB719400, the NSF of China under grant Nos. 60553002, 60635020, 60903030, 90718039, 60873118, 60973147, 61073193, 90912003, 60773108, 90812001, 60973138 and 60973016, the National Key Basic Research Project of China (No. 2007CB310803).

Copyright © 2011 Elsevier Ltd. All rights reserved.