Paper Title:
Modeling and Designing of Urban Traffic Control Systems by Statecharts
  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. The reachability structure is used to represented dynamic model by a Boolean function. In this paper, we try to describe State invariant method and equation function for hierarchical tree diagram. Finally, we used them to analyze the urban traffic control systems which are modeled by using Statecharts. Their formalism provides a concept of propositional logic for presenting control strategy.

  Info
Periodical
Advanced Materials Research (Volumes 308-310)
Chapter
Reverse Engineering
Edited by
Jian Gao
Pages
1582-1585
DOI
10.4028/www.scientific.net/AMR.308-310.1582
Citation
Y. S. Huang, T. H. Liao, "Modeling and Designing of Urban Traffic Control Systems by Statecharts", Advanced Materials Research, Vols. 308-310, pp. 1582-1585, 2011
Online since
August 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: Dyi Cheng Chen, Ci Syong You, Gua Nying Lai, Syue Cheng Ji
Abstract:In the cross wedge rolling process, many factors must be controlled to obtain the required plastic strain and desired tolerance values. The...
1610
Authors: Bin Li
Abstract:This paper investigates the interfacial slip between the forming tool and workpiece in a relatively new metal forming process, cross-wedge...
72
Authors: Bin Li, Hong Wang
Chapter 3: Mechanical Engineering and Applications
Abstract:This paper investigates a three-dimensional finite element model for the cross-wedge rolling process has been used to characterize the...
224
Authors: V.Y. Shchukin, G.V. Kozhevnikova, V.V. Petrenko
Chapter 4: Advanced Machining and Materials Processing Technology
Abstract:The use of cross-wedge rolling method in metal-working industry allows development of new high-productive low-waste technologies designed to...
1198
Authors: Ma Qing, Wu Hao
Chapter 11: Heating, Gas Supply, Ventilation and Air Conditioning Works
Abstract:According to the problem that the components of HVAC system have the strong coupling and the low energy efficiency, a kind of optimal model...
2082