Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003809084> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2003809084 endingPage "1234" @default.
- W2003809084 startingPage "1226" @default.
- W2003809084 abstract "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." @default.
- W2003809084 created "2016-06-24" @default.
- W2003809084 creator A5038154445 @default.
- W2003809084 creator A5071383424 @default.
- W2003809084 date "2012-09-01" @default.
- W2003809084 modified "2023-10-18" @default.
- W2003809084 title "Formal Language Modeling and Simulations of Incident Management" @default.
- W2003809084 cites W1964943438 @default.
- W2003809084 cites W1979314379 @default.
- W2003809084 cites W2006720726 @default.
- W2003809084 cites W2018970060 @default.
- W2003809084 cites W2022591051 @default.
- W2003809084 cites W2044018125 @default.
- W2003809084 cites W2049891470 @default.
- W2003809084 cites W2057419552 @default.
- W2003809084 cites W2083722284 @default.
- W2003809084 cites W2086415068 @default.
- W2003809084 cites W2086900546 @default.
- W2003809084 cites W2100787642 @default.
- W2003809084 cites W2136688987 @default.
- W2003809084 cites W2137088566 @default.
- W2003809084 cites W2156016055 @default.
- W2003809084 cites W1545484624 @default.
- W2003809084 doi "https://doi.org/10.1109/tits.2012.2186296" @default.
- W2003809084 hasPublicationYear "2012" @default.
- W2003809084 type Work @default.
- W2003809084 sameAs 2003809084 @default.
- W2003809084 citedByCount "3" @default.
- W2003809084 countsByYear W20038090842012 @default.
- W2003809084 countsByYear W20038090842013 @default.
- W2003809084 countsByYear W20038090842014 @default.
- W2003809084 crossrefType "journal-article" @default.
- W2003809084 hasAuthorship W2003809084A5038154445 @default.
- W2003809084 hasAuthorship W2003809084A5071383424 @default.
- W2003809084 hasConcept C111498074 @default.
- W2003809084 hasConcept C112505250 @default.
- W2003809084 hasConcept C112930515 @default.
- W2003809084 hasConcept C115903868 @default.
- W2003809084 hasConcept C127413603 @default.
- W2003809084 hasConcept C146072743 @default.
- W2003809084 hasConcept C15569618 @default.
- W2003809084 hasConcept C168065819 @default.
- W2003809084 hasConcept C169590947 @default.
- W2003809084 hasConcept C179603123 @default.
- W2003809084 hasConcept C199360897 @default.
- W2003809084 hasConcept C201995342 @default.
- W2003809084 hasConcept C2777904410 @default.
- W2003809084 hasConcept C2780952636 @default.
- W2003809084 hasConcept C38652104 @default.
- W2003809084 hasConcept C41008148 @default.
- W2003809084 hasConcept C539667460 @default.
- W2003809084 hasConcept C71924100 @default.
- W2003809084 hasConcept C75606506 @default.
- W2003809084 hasConcept C80444323 @default.
- W2003809084 hasConceptScore W2003809084C111498074 @default.
- W2003809084 hasConceptScore W2003809084C112505250 @default.
- W2003809084 hasConceptScore W2003809084C112930515 @default.
- W2003809084 hasConceptScore W2003809084C115903868 @default.
- W2003809084 hasConceptScore W2003809084C127413603 @default.
- W2003809084 hasConceptScore W2003809084C146072743 @default.
- W2003809084 hasConceptScore W2003809084C15569618 @default.
- W2003809084 hasConceptScore W2003809084C168065819 @default.
- W2003809084 hasConceptScore W2003809084C169590947 @default.
- W2003809084 hasConceptScore W2003809084C179603123 @default.
- W2003809084 hasConceptScore W2003809084C199360897 @default.
- W2003809084 hasConceptScore W2003809084C201995342 @default.
- W2003809084 hasConceptScore W2003809084C2777904410 @default.
- W2003809084 hasConceptScore W2003809084C2780952636 @default.
- W2003809084 hasConceptScore W2003809084C38652104 @default.
- W2003809084 hasConceptScore W2003809084C41008148 @default.
- W2003809084 hasConceptScore W2003809084C539667460 @default.
- W2003809084 hasConceptScore W2003809084C71924100 @default.
- W2003809084 hasConceptScore W2003809084C75606506 @default.
- W2003809084 hasConceptScore W2003809084C80444323 @default.
- W2003809084 hasIssue "3" @default.
- W2003809084 hasLocation W20038090841 @default.
- W2003809084 hasOpenAccess W2003809084 @default.
- W2003809084 hasPrimaryLocation W20038090841 @default.
- W2003809084 hasRelatedWork W1500534105 @default.
- W2003809084 hasRelatedWork W1524361563 @default.
- W2003809084 hasRelatedWork W1599201176 @default.
- W2003809084 hasRelatedWork W18861593 @default.
- W2003809084 hasRelatedWork W1976738965 @default.
- W2003809084 hasRelatedWork W2003809084 @default.
- W2003809084 hasRelatedWork W2007588592 @default.
- W2003809084 hasRelatedWork W2157424552 @default.
- W2003809084 hasRelatedWork W2978698742 @default.
- W2003809084 hasRelatedWork W4249319189 @default.
- W2003809084 hasVolume "13" @default.
- W2003809084 isParatext "false" @default.
- W2003809084 isRetracted "false" @default.
- W2003809084 magId "2003809084" @default.
- W2003809084 workType "article" @default.