Modelling of emergency vehicle preemption systems using statecharts

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn , Issue , 2011, Pages 556-561

  Weng, Yi Shun ^a   Huang, Yi Sheng ^b   Su, Shun Feng ^c   Yu, Chi Shan ^d  

^a Army Academy   (Taiwan)

^b NATIONAL ILAN UNIVERSITY   (Taiwan)

^c NATIONAL TAIWAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Taiwan)

^d NATIONAL TAIPEI UNIVERSITY OF EDUCATION   (Taiwan)

Author keywords

emergency vehicle preemption; intelligent transport system; statecharts

Indexed keywords

CONTROL MODEL; INTELLIGENT TRANSPORT SYSTEMS; REACHABILITY; REACHABILITY TREE; STATECHARTS; TRAFFIC LIGHT; VISUAL FORMALISM;

CYBERNETICS; TRAFFIC CONTROL;

EMERGENCY VEHICLES;

EID: 83755178918     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2011.6083742     Document Type: Conference Paper

References (15)

1. N. Zhang, F.-Y. Wang, F. Zhu, and D. Zhao, "DynaCAS: Computational Experiments and Decision Support for ITS," IEEE Intel. Syst., vol. 23, no. 6, pp. 19-23, 2008.
2. F.-Y. Wang, "Toward a Revolution in Transportation Operations: AI for Complex Systems," IEEE Intel. Syst., vol. 23, no. 6, pp. 8-13, 2008.
3. USDOT, Traffic Signal Preemption for Emergency Vehicles, U.S. Department of Transportation, 2006.
4. P. Koonce, et al., Signal Timing Manual, Federal Highway Administration, 2008.
5. K. H. Chen, C. R. Dow, C. W. Yang, and W. C. Chiang, "BEVOR : An NTCIP-based Interoperable Framework for Emergency Vehicle Preemption System Using Web Service and STMF," Journal of Information Science and Engineering, vol. 26, pp. 801-815, 2010.
6. C. M. Huang, C. C. Yang, C. Y. Tseng, and C. H. Chou, "A Centralized Traffic Control Mechanism for Evacuation of Emergency Vehicles Using the DSRC Protocol," in IEEE, 2009.
7. G. Unibaso, J. D. Ser, S. Gil-Lopez, and B. Molinete, "A Novel CAM-based Traffic Light Preemption Algorithm for Efficient Guidance of Emergency Vehicles," International IEEE Annual Conf. on Intel. Trans. Syst., Portugal, pp. 74-79, Sep. 2010.
8. R. K. Kamalanathsharma, "Traffic Adaptive Offset-Based Preemption For Emergency Vehicles," Master of Science in Civil and Environmental Engineering, 2010.
9. P. J. Ramadge, and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optimiz., 25, pp. 206-230, 1987.
10. P. J. Ramadge, "Some tractable supervisor control problems for discrete event systems modeled by Buchi automata," IEEE Trans. Automat. Contr., vol. 34, pp. 10-19, 1989.
11. Y. Brave and M. Heymann, "Control of discrete event systems modeled as hierarchical state machines," IEEE Trans. Automat. Contr., vol. 38, pp. 1803-1819, 1993.
12. D. Drusinsky and D. Harel, "Using statecharts for hardware description and synthesis," IEEE Trans. Computer-Aided Design, pp. 798-807, 1989. (Pubitemid 20712041)
13. D. Harel, "Statecharts: a visual formalism for complex system," Sci. Comput. Programming, vol. 8, pp. 231-274, 1987. (Pubitemid 17617706)
14. P. C. Masiero, J. C. Maldonado, and I. G. Boaventura, "A reachability tree for statecharts and analysis of some properties," Information and Software Technology, vol. 36, pp. 615-624, 1994.
15. Y. S. Huang, "Design of traffic light control system using statecharts,"Comp. J., vol. 49, pp. 634-649, 2006.