Modeling and Designing of Urban Traffic Control Systems by Statecharts

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. 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)

Edited by:

Jian Gao

Pages:

1582-1585

DOI:

10.4028/www.scientific.net/AMR.308-310.1582

Citation:

Y. S. Huang and 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:

$35.00

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

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