Formal Language Methods Based Modeling for Traffic Incident Management

AbstractTraffic Incident Management is a multi-jurisdictional process. Complications with communication, com-patibility, coordination, institutional responsibilities and legal issues are inherent in a traffic incident man-agement system. Increasing delay in incident clearance due to various conflicts has vital economical, safety,environmental and social impacts. Therefore, a thorough and rigorous modeling of the system is necessaryto better understand its properties and systematically solve issues that might arise. This paper proposes theuse of formal language theory for modeling, analyzing, and implementing the traffic incident managementprocess. This theory has been used very effectively for hardware and software systems. Using formal lan-guages, allows us to perform debugging on a traffic incident management system covering all possibilitiesfor inefficiencies and problems for which we can find solutions. This pape r demonstrates how to use formallanguage methodology to model the traffic incident management system throug h a case study in the LasVegas area.

[1]  J. Glenn Brookshear,et al.  Theory of Computation: Formal Languages, Automata, and Complexity , 1989 .

[2]  Joseph L. Schofer,et al.  Using Simulation to Test Traffic Incident Management Strategies , 2005 .

[3]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[4]  Der-Horng Lee,et al.  Development of the real-time evaluation and decision support system for incident management , 2003, Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems.

[5]  Rui Chen,et al.  Coordination in emergency response management , 2008, CACM.

[6]  Joseph L. Schofer,et al.  Using Simulation to Test Traffic Incident Management Strategies: The Benefits of Preplanning , 2005 .

[7]  Joseph L. Schofer,et al.  Managing Incidents on Urban Arterial Roadways , 1997 .

[8]  Mark Hoogendoorn,et al.  Agent-Based Analysis and Support for Incident Management , 2006, CIA.

[9]  Pushkin Kachroo,et al.  Analysis, Modeling and Design for TrafficIncident Management Systems , 2011 .

[10]  H. Raghav Rao,et al.  Framework for Analyzing Critical Incident Management Systems (CIMS) , 2006, Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06).

[11]  Jeff Magee,et al.  Concurrency - state models and Java programs , 2006 .

[12]  György E. Révész.  Introduction to formal languages , 1983 .

[13]  Samuel Labi,et al.  Incident Occurrence Models for Freeway Incident Management , 2003 .

[14]  Giovanni Pau,et al.  First Responders' Crystal Ball: How to Scry the Emergency from a Remote Vehicle , 2007, 2007 IEEE International Performance, Computing, and Communications Conference.