A Case Study: Logical Operators and Statecharts for Level Crossing Traffic Control Systems

Abstract:

Article Preview

Statechart has been utilized as a visual formalism for the modeling of complex systems. It illuminates the features on describing properties of causality, concurrency and synchronization. In this paper, we try to describe a behavioral logical operations language by using Statecharts. The logical operation is a data structure that is used to represent by a Boolean function. This paper used them to analyze the models which are modeled by using Statecharts. Their formalism provides a concept of propositional logic for presenting control strategy. Finally, an example of level crossing traffic control systems is examined successfully.

Info:

Periodical:

Edited by:

Qi Luo

Pages:

2183-2188

DOI:

10.4028/www.scientific.net/AMM.58-60.2183

Citation:

Y. S. Huang and T. H. Liao, "A Case Study: Logical Operators and Statecharts for Level Crossing Traffic Control Systems", Applied Mechanics and Materials, Vols. 58-60, pp. 2183-2188, 2011

Online since:

June 2011

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.