Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783304881> ?p ?o ?g. }
- W2783304881 abstract "The research work in this paper discusses an improved Petri net model of railway crossing regions which are important and critical components of a railway networks. A control algorithm has been developed showing the interaction of the controller to other component of the system. A formal approach viz. Petri net (PN) is applied to model the safety requirement of trains along the crossing regions in railway networks. For the modeling, the component based modeling and the state-oriented modeling approaches have been integrated. First the track components and the control component are identified. The interaction of identified components, satisfying the safety requirements, is also defined in the high level architecture. Finally, state-oriented modeling approach has been adopted to design the detailed model of crossing region. Further, this paper uses the coverability tree to verify the specifications of crossing regions. By taking the crossing point as center, a circular region is introduced for safety purpose. Further, safety properties have been defined in term of place-invariants which have been verified by the state-space analysis." @default.
- W2783304881 created "2018-01-26" @default.
- W2783304881 creator A5011827406 @default.
- W2783304881 creator A5015775396 @default.
- W2783304881 creator A5038708054 @default.
- W2783304881 creator A5054897153 @default.
- W2783304881 creator A5056496188 @default.
- W2783304881 creator A5066504909 @default.
- W2783304881 creator A5077001239 @default.
- W2783304881 creator A5082212698 @default.
- W2783304881 date "2017-12-01" @default.
- W2783304881 modified "2023-09-28" @default.
- W2783304881 title "Component Based Architecture for the Control of Crossing Regions in Railway Networks" @default.
- W2783304881 cites W1512765044 @default.
- W2783304881 cites W1537476827 @default.
- W2783304881 cites W159743975 @default.
- W2783304881 cites W1882590183 @default.
- W2783304881 cites W1996109622 @default.
- W2783304881 cites W2008602963 @default.
- W2783304881 cites W2013690164 @default.
- W2783304881 cites W2016129852 @default.
- W2783304881 cites W2034717157 @default.
- W2783304881 cites W2077057934 @default.
- W2783304881 cites W2087964768 @default.
- W2783304881 cites W2122806139 @default.
- W2783304881 cites W2154520537 @default.
- W2783304881 cites W2157799413 @default.
- W2783304881 cites W2172300075 @default.
- W2783304881 cites W2533633471 @default.
- W2783304881 cites W3214471381 @default.
- W2783304881 cites W640790781 @default.
- W2783304881 cites W1490652043 @default.
- W2783304881 cites W2037252812 @default.
- W2783304881 doi "https://doi.org/10.1109/icmla.2017.0-105" @default.
- W2783304881 hasPublicationYear "2017" @default.
- W2783304881 type Work @default.
- W2783304881 sameAs 2783304881 @default.
- W2783304881 citedByCount "2" @default.
- W2783304881 countsByYear W27833048812018 @default.
- W2783304881 countsByYear W27833048812022 @default.
- W2783304881 crossrefType "proceedings-article" @default.
- W2783304881 hasAuthorship W2783304881A5011827406 @default.
- W2783304881 hasAuthorship W2783304881A5015775396 @default.
- W2783304881 hasAuthorship W2783304881A5038708054 @default.
- W2783304881 hasAuthorship W2783304881A5054897153 @default.
- W2783304881 hasAuthorship W2783304881A5056496188 @default.
- W2783304881 hasAuthorship W2783304881A5066504909 @default.
- W2783304881 hasAuthorship W2783304881A5077001239 @default.
- W2783304881 hasAuthorship W2783304881A5082212698 @default.
- W2783304881 hasConcept C105795698 @default.
- W2783304881 hasConcept C11413529 @default.
- W2783304881 hasConcept C120314980 @default.
- W2783304881 hasConcept C121332964 @default.
- W2783304881 hasConcept C123657996 @default.
- W2783304881 hasConcept C127413603 @default.
- W2783304881 hasConcept C142362112 @default.
- W2783304881 hasConcept C153349607 @default.
- W2783304881 hasConcept C168167062 @default.
- W2783304881 hasConcept C190839683 @default.
- W2783304881 hasConcept C1975866 @default.
- W2783304881 hasConcept C205649164 @default.
- W2783304881 hasConcept C33923547 @default.
- W2783304881 hasConcept C38677869 @default.
- W2783304881 hasConcept C41008148 @default.
- W2783304881 hasConcept C48103436 @default.
- W2783304881 hasConcept C58640448 @default.
- W2783304881 hasConcept C72434380 @default.
- W2783304881 hasConcept C78519656 @default.
- W2783304881 hasConcept C97355855 @default.
- W2783304881 hasConceptScore W2783304881C105795698 @default.
- W2783304881 hasConceptScore W2783304881C11413529 @default.
- W2783304881 hasConceptScore W2783304881C120314980 @default.
- W2783304881 hasConceptScore W2783304881C121332964 @default.
- W2783304881 hasConceptScore W2783304881C123657996 @default.
- W2783304881 hasConceptScore W2783304881C127413603 @default.
- W2783304881 hasConceptScore W2783304881C142362112 @default.
- W2783304881 hasConceptScore W2783304881C153349607 @default.
- W2783304881 hasConceptScore W2783304881C168167062 @default.
- W2783304881 hasConceptScore W2783304881C190839683 @default.
- W2783304881 hasConceptScore W2783304881C1975866 @default.
- W2783304881 hasConceptScore W2783304881C205649164 @default.
- W2783304881 hasConceptScore W2783304881C33923547 @default.
- W2783304881 hasConceptScore W2783304881C38677869 @default.
- W2783304881 hasConceptScore W2783304881C41008148 @default.
- W2783304881 hasConceptScore W2783304881C48103436 @default.
- W2783304881 hasConceptScore W2783304881C58640448 @default.
- W2783304881 hasConceptScore W2783304881C72434380 @default.
- W2783304881 hasConceptScore W2783304881C78519656 @default.
- W2783304881 hasConceptScore W2783304881C97355855 @default.
- W2783304881 hasLocation W27833048811 @default.
- W2783304881 hasOpenAccess W2783304881 @default.
- W2783304881 hasPrimaryLocation W27833048811 @default.
- W2783304881 hasRelatedWork W16014793 @default.
- W2783304881 hasRelatedWork W1968967639 @default.
- W2783304881 hasRelatedWork W1976635569 @default.
- W2783304881 hasRelatedWork W1978430378 @default.
- W2783304881 hasRelatedWork W2020741525 @default.
- W2783304881 hasRelatedWork W2021485833 @default.
- W2783304881 hasRelatedWork W2033992637 @default.
- W2783304881 hasRelatedWork W2136881286 @default.