Urban traffic control systems: architecture, methods and development

2020 ◽  
pp. 187-206
Keyword(s):  
Control Systems ◽  
Traffic Control ◽  
Urban Traffic ◽  
Systems Architecture ◽  
Urban Traffic Control

Modeling and Designing of Urban Traffic Control Systems by Statecharts

2011 ◽  
Vol 308-310 ◽  
pp. 1582-1585
Author(s):  
Yi Sheng Huang ◽  
Tso Hsien Liao
Keyword(s):  
Boolean Function ◽  
Control Systems ◽  
Dynamic Model ◽  
Control Strategy ◽  
Traffic Control ◽  
Propositional Logic ◽  
Urban Traffic ◽  
Hierarchical Tree ◽  
Tree Diagram ◽  
Urban Traffic Control

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.

Upper Level for Real Time Urban Traffic Control Systems

1990 ◽  
Vol 23 (8) ◽  
pp. 473-476 ◽  
Author(s):  
A. Kessaci ◽  
J.L. Farges ◽  
J.J. Henry
Keyword(s):  
Control Systems ◽  
Real Time ◽  
Traffic Control ◽  
Urban Traffic ◽  
Upper Level ◽  
Urban Traffic Control
Sign in / Sign up

Export Citation Format

Share Document