By Topic

Formal Language Modeling and Simulations of Incident Management

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Shlayan, N. ; Singapore MIT Alliance of Res. & Technol., Singapore, Singapore ; Kachroo, P.

Traffic incident management (TIM) is a multijurisdictional process. Complications with communications, compatibility, coordination, institutional responsibilities, and legal issues are inherent in TIM systems. Increased 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 necessary to better understand its properties and systematically discern issues that may arise. The goal of this study is to develop modeling tools for the incident management process. Formal language automata theory is proposed for modeling and analysis since incident management can be viewed as a series of discrete events. Using formal methods allows us to use tools that are well established in this field to systematically study incident management processes. Formal language and automata theory are the foundation for numerous hardware and software development with applications in digital design, compilers, and programming languages. Formal language and automata theory provide us with powerful tools for developing, analyzing, and debugging such models. A systematic structure of an incident management model permits methodical identification of the system's “bugs.” This study demonstrates the development of models of some first response incident management agencies through a case study in the Las Vegas, NV, area using formal languages and automata theory. Sequence properties such as safety and liveness are verified for the developed models.

Published in:

Intelligent Transportation Systems, IEEE Transactions on  (Volume:13 ,  Issue: 3 )