Statecharts: A visual formalism for complex systems
Science of Computer Programming
Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Design of Traffic Light Control Systems Using Statecharts
The Computer Journal
IEEE Transactions on Intelligent Transportation Systems
Modeling traffic signal control using Petri nets
IEEE Transactions on Intelligent Transportation Systems
Dynamical analysis of freeway traffic
IEEE Transactions on Intelligent Transportation Systems
Dynamic Plan Generation and Real-Time Management Techniques for Traffic Evacuation
IEEE Transactions on Intelligent Transportation Systems
Distributed and cooperative fuzzy controllers for trafficintersections group
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Hi-index | 0.00 |
Statechart has been utilized as a visual formalism for the modeling of complex and interactive systems for its illuminating features on describing properties of causality, concurrency, and synchronization. This paper presents the application of Statechart to the modeling, design and implementation of a parallel railroad level crossing control systems. We derive a Statechart model to look into the inherent hierarchical structure. Their applications to single-track railroad lines are illustrated. The resulting models allow one to identify and thus avoid critical scenarios in such systems by conditions and events of the model that control the phase of traffic light alternations. The advantage of the proposed approach is the clear presentation of system behavior in terms of conditions and events that cause the transitions in system dynamics. According to our knowledge, this is the first work that employs Statechart to model a parallel railroad level crossing system and identify its critical scenarios for the purpose of their complete avoidance. This helps to advance the state-of-theart technology in traffic safety related to the intersection of railroads and roadways.