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

Yi Sheng Huang; Tso Hsien Liao

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

Paper Titles

Global Localization of Terminal Service Robot Based on PTZ Vision
p.2158

Research on Airport Aviation Safety Information System
p.2165

Applications of Focused Ion Beam Technology in Bonding Failure Analysis for Microelectronic Devices
p.2171

Optimizing Navigation Satellite Enhancement Information Distribution Network Based on X10 and MPI
p.2177

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

Research of Fast Handover Technique of Mobile IPv6
p.2189

A New Extrinsic Calibration Method of Three-Dimensional Imaging Lidar and Camera
p.2194

Boundary Payoff Determination Approach for Time-Sensitive Services to Select Providers Online
p.2200

Grid Generation Based on Symmetric Blend Functions of Boundary Information
p.2207

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 58-60A Case Study: Logical Operators and Statecharts...

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.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 58-60)

Pages:

2183-2188

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.58-60.2183

Citation:

Cite this paper

Online since:

June 2011

Authors:

Yi Sheng Huang, Tso Hsien Liao

Keywords:

Concurrency, Logical Operator Level Crossing Traffic Control System, Statecharts

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] P. J. Ramadge and W. M. Wonham: SIAM J. Contr. Optim., Vol. 25 (1987), pp.206-230.

Google Scholar

[2] P. F. Borges, P. C. Masiero, and M. C. Ferreira de Oliveira: IEEE Trans. Softw. Eng. Vol. 25(1999), 33–49.

Google Scholar

[3] P. J. Ramadge: IEEE Trans. Automat. Contr., Vol. 34 (1989), pp.10-19.

Google Scholar

[4] J. N. Tsitsiklis: Math. Contr. Signals Syst., Vol. 2 (1989), pp.95-107.

Google Scholar

[5] D. Harel.: Comput. Program Vol. 8 (1987), p.231–274.

Google Scholar

[6] T. H. Liao, and Y. S. Huang: Vol. 467-469 (2011), pp.1736-1741.

Google Scholar

[7] D. Drusinsky and D. Harel: in Concurrency '88, Lecture Notes in Computer Science Vol. 335 (1988), pp.74-103.

DOI: 10.1007/3-540-50403-6_34

Google Scholar

[8] J. D. Ullman: Computational Aspects of VLSI (W. H. Freeman & Co Publications, New York 1984).

Google Scholar

[9] G. Abu-Lebdeh, and R. F. Benekohal: J. Transport. Res. Board Vol. 1727 (2000), p.61–67.

Google Scholar

[10] P. C. Masiero, J. C. Maldonado and I. G. Boaventura: Inform. Softw. Technol. Vol. 36 (1994), p.615–624.

Google Scholar

[11] D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring and M. Trakhten brot: IEEE Trans. Softw. Eng., Vol. 16 (1990), p.403–414.

DOI: 10.1109/32.54292

Google Scholar

[12] D. Coleman, F. Hayes and S. Bear: IEEE Trans. Softw. Eng. Vol. 18 (1992), p.9–18.

Google Scholar

[13] Y. S. Huang, S. L. Chung and M. D. Jeng: Asian J. Contr. Vol. 6 (2004), p.242–352.

Google Scholar

[14] Y. S. Huang, Y. S. Weng, and M. C. Zhou: IEEE Trans. Intell. Transport. Syst. Vol. 11 (2010), p.968–977.

Google Scholar