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

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, 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
$32.00
Share

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

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

Authors: Seung Hwan Oh, Jung Ho Kang, Won Sik Joo, Xue Guan Song, Hyeung Geol Kong, Young Chul Park
Abstract:The optimization of gate valve was performed using Kriging based approximation model. The DACE modeling, known as the one of Kriging...
901
Authors: Hong Lin Zhang, Chun Yuan Zhang, Dong Liu, Ying Hong Wang
Abstract:The cut sequence describes the failure mode of the dynamic system, whose dynamic behaviors make the generation of cut sequence set very...
211
Authors: Jian Ping Hu, Yu Zhang
Abstract:Scaling down sizes of MOS transistors has resulted in dramatic increase of leakage currents. To decrease leakage power dissipations is...
180
Authors: Wei Ping Peng, Wei Cheng Zeng, Zhi Qiang Zhang, Re Xia
Abstract:As the key components of large-scale hydraulic radial gate, hinge system play an important role in supporting the gate and sustaining loads....
697
Authors: Xin Liang Cao, Yan Hu Fan, Jian Xin Li
Chapter 6: Communications Technology
Abstract:In order to adapt to low-voltage operating of the Gilbert CMOS integrated mixer, a novel mixer is researched which with floating gate amplify...
980