Mathematical analysis of stage-based programmable logic controller

Authors:
Anping He;William N. N. Hung;Guowu Yang;Jinzhao Wu;Lian Li
Affiliations:
School of Information Science and Engineering, Lanzhou University, Lanzhou, Gansu 730000, China and ECE Department, Portland State University, Portland, OR 97207, USA;Synopsys Inc. Mountain View, CA, USA;University of Electronic Science and Technology of China, Sichuan, China;School of Computer and Information Technology, Beijing Jiaotong University, China;School of Information Science and Engineering, Lanzhou University, Lanzhou, Gansu 730000, China
Venue:
Computers & Mathematics with Applications
Year:
2011

Citing 2
Cited 0

Formal Verification of Dynamic Properties in an Aerospace Application

Formal Methods in System Design
Synthesizing controllers from real-time specifications

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantified Score

Hi-index	0.09

Visualization

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.