Modeling and Designing of Urban Traffic Control Systems by Statecharts

Yi Sheng Huang; Tso Hsien Liao

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

Paper Titles

Deposition of Nanocrystalline TiO₂ Films on Flexible Titanium Mesh for Dye-Sensitized Solar Cell
p.1561

Influence of Helix Angle in Low Immersion Milling Forces and Stability Analysis: down-Milling, up-Milling and Slotting
p.1565

Contact Model of Sealing Surfaces for Flange and Metallic Gasket Based on Fractal Theory
p.1571

Wear Behavior of Al-Al₂O₃ Reinforced Composites
p.1577

Modeling and Designing of Urban Traffic Control Systems by Statecharts
p.1582

Experimental Research on Deep-Bed Drying Characteristics of Maize
p.1586

Establishing Key Integration Factors for Integrating Engineering and Sustainability
p.1590

Reverse on the Spiral Bevel Gear’s Teeth Profile Line
p.1596

The Method for the Accuracy Improvement of STL Offset Model Based on Vertex Offset
p.1600

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 308-310Modeling and Designing of Urban Traffic Control...

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.