Design of traffic light control systems using statecharts

Computer Journal

Volumn 49, Issue 6, 2006, Pages 634-649

  Huang, Yi Sheng ^a  

^a NATIONAL DEFENSE UNIVERSITY   (Taiwan)

Author keywords

Reachability tree; Statecharts; Traffic light and intelligent transport system

Indexed keywords

CONCURRENCY CONTROL; CONTROL SYSTEM SYNTHESIS; INTELLIGENT VEHICLE HIGHWAY SYSTEMS; MATHEMATICAL MODELS; SYNCHRONIZATION; TRAFFIC SIGNALS; TREES (MATHEMATICS);

REACHABILITY TREE; STATECHARTS; TRAFFIC LIGHT CONTROL SYSTEMS;

TRAFFIC CONTROL;

EID: 33750114882     PISSN: 00104620     EISSN: 14602067     Source Type: Journal    
DOI: 10.1093/comjnl/bxl032     Document Type: Article

References (26)

1. Lee, J. H. and Lee-Kwang, H. (1999) Distributed and cooperative fuzzy controllers for traffic intersection group. IEEE Trans. Syst. Man Cybern., 29, 263-271.
2. Robertson, D. I. and Bretherton, R. D. (1991) Optimizing networks of traffic signals in real time-the SCOOT method. IEEE Trans. Veh. Technol., 40, 11-15.
3. Figureiredo, L., Jesus, I., Machado, J. A. T., Ferreira, J. R. and Martins de Carvalho, J. L. (2001) Towards the development of intelligent transportation systems. In Proc. IEEE Intelligent Transportation Systems, Oakland, CA, August 25-29, pp. 1206-1211, IEEE, Piscataway, New Jersey.
4. List, G. F. and Cetin, M. (2004) Modeling traffic signal control using Petri nets. IEEE Trans. Intell. Transport. Syst., 5, 177-187.
5. Dinopoulou, V., Diakaki, C. and Papageorgiou, M. (2002) Simulation investigations of the traffic-responsive urban control strategy TUC. In Proc. IEEE Intelligent Transportation Systems, Dearborn, MI, October 1-3, pp. 458-463. IEEE, Piscataway, New Jersey.
6. Abu-Lebdeh, G. and Benekohal, R. F. (2000) Genetic algorithms for traffic signal control and queue management of oversaturated two-way arterials. J. Transport. Res. Board, 1727, 61-67.
7. Chin, D. C., Spall, J. C. and Smith, R. H. (1999) Evaluation of system-wide traffic signal control using stochastic optimization and neural networks. In Proc. ACC 99, San Diego, CA, June 2-4, pp. 2188-2194. IEEE, Piscataway, New Jersey.
8. Lin, Q., Kwan, B. W. and Tung, L. J. (1997) Traffic signal control using fuzzy logic. In Proc. IEEE Systems, Man and Cybernetics, Orlando, FL, October 12-15, pp. 1644-1649. IEEE, Piscataway, New Jersey.
9. Ramadge, P. J. and Wonham, W. M. (1987) Supervisory control of a class of discrete event processes. SIAM J. Contr. Optimiz., 25, 206-230.
10. Ramadge, P. J. and Wonham, W. M. (1987) On the supremal controllable sublanguage of a given language. SIAM J. Contr. Optimiz., 25, 637-659.
11. Ramadge, P. J. (1989) Some tractable supervisor control problems for discrete event systems modeled by Buchi automata. IEEE Trans. Automat. Contr., 34, 10-19.
12. Brave, Y. and Heymann, M. (1993) Control of discrete event systems modeled as hierarchical state machines. IEEE Trans. Automat. Contr., 38, 1803-1819.
13. Drusinsky, D. and Harel, D. (1989) Using statecharts for hardware description and synthesis. IEEE Trans. Comput.-Aided Des., 8, 798-807.
14. Harel, D. (1987) Statecharts: A visual formalism for complex system. Sci. Comput. Program., 8, 231-274.
15. Masiero, P. C., Maldonado, J. C. and Boaventura, I. G. (1994) A reachability tree for statecharts and analysis of some properties. Inform. Softw. Technol., 36, 615-624.
16. Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A. and Trakhtenbrot, M. (1990) STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng., 16, 403-414.
17. Coleman, D., Hayes, F. and Bear, S. (1992) Introducing objectcharts or how to use statecharts in object-oriented design. IEEE Trans. Softw. Eng., 18, 9-18.
18. Huang, Y. S., Chung, S. L. and Jeng, M. D. (2004) Modeling and control of elevators by statecharts. Asian J. Contr., 6, 242-352.
19. Borges, P. F., Masiero, P. C. and Ferreira de Oliveira, M. C. (1999) Hypercharts: Extended statecharts to support hypermedia specification. IEEE Trans. Softw. Eng., 25, 33-49.
20. Sowmya, A. and Ramesh, S. (1998) Extending statecharts with temporal logic. IEEE Trans. Softw. Eng., 24, 216-231.
21. Tzes, A., Kim, S. and McShane, W. R. (1996) Application of Petri networks to transportation network modeling. IEEE Trans. Veh. Technol., 45, 391-400.
22. DiFebbraro, A., Giglio, D. and Sacco, N. (2004) Urban traffic control structure based on hybrid Petri nets. IEEE Trans. Intell. Transport. Syst., 5, 224-237.
23. Lin, L., Nan, T., Xiangyang, M. and Fubing, S. (2003) Implementation of traffic lights control based on Petri nets. In Proc. IEEE Intelligent Transportation Systems, Shanghai, China, October 12-15, pp. 1087-1090. IEEE, Piscataway, New Jersey.
24. Wang, H., List, G. F. and DiCesare, F. (1993) Modeling and evaluation of traffic signal control using timed Petri nets. In Proc. IEEE Systems, Man and Cybernetics, Le Touquet, France, October 17-20, pp. 180-185. IEEE, Piscataway, New Jersey.
25. Tolba, C., Thomas, P., ElMoudni, A. and Lefebvre, D. (2003) Performances evaluation of the traffic control in a single crossroad by Petri nets. In Proc. IEEE Emerging Technologies and Factory Automation, Lisbon, Portugal, September 16-19, pp. 157-160. IEEE, Piscataway, New Jersey.
26. Wang, J., Jin, C. and Deng, Y. (1999) Performance analysis of traffic networks based on stochastic timed Petri net models. In Proc. IEEE Engineering of Complex Computer Systems, Las Vegas, NE, October 18-21, pp. 77-85. IEEE, Piscataway, New Jersey.