Matches in SemOpenAlex for { <https://semopenalex.org/work/W14843786> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W14843786 abstract "We apply specification and verification techniques based on the timed I/O automaton model of Lynch and Vaandrager to a case study in the area of automated transit. The case study models and verifies selected safety properties for automated Personal Rapid Transit (PRT) systems such as PRT 2000™, a system currently being developed at Raytheon. Due to their safety critical nature, PRT 2000™ and many other automated transit systems divide the control architecture into operation and protection subsystems. The operation system handles the normal control of vehicles. The protection system maintains safety by monitoring and possibly taking infrequent but decisive action. In this work, we present both a high-level treatment of a generic protection system and more detailed examinations of protection systems that enforce speed limits and vehicle separation." @default.
- W14843786 created "2016-06-24" @default.
- W14843786 creator A5014814987 @default.
- W14843786 creator A5027036950 @default.
- W14843786 creator A5071944803 @default.
- W14843786 date "1996-01-01" @default.
- W14843786 modified "2023-09-27" @default.
- W14843786 title "Verification of automated vehicle protection systems" @default.
- W14843786 cites W1551173539 @default.
- W14843786 cites W1658016212 @default.
- W14843786 doi "https://doi.org/10.1007/bfb0020938" @default.
- W14843786 hasPublicationYear "1996" @default.
- W14843786 type Work @default.
- W14843786 sameAs 14843786 @default.
- W14843786 citedByCount "17" @default.
- W14843786 crossrefType "book-chapter" @default.
- W14843786 hasAuthorship W14843786A5014814987 @default.
- W14843786 hasAuthorship W14843786A5027036950 @default.
- W14843786 hasAuthorship W14843786A5071944803 @default.
- W14843786 hasConcept C112505250 @default.
- W14843786 hasConcept C119599485 @default.
- W14843786 hasConcept C123657996 @default.
- W14843786 hasConcept C127413603 @default.
- W14843786 hasConcept C132835097 @default.
- W14843786 hasConcept C142362112 @default.
- W14843786 hasConcept C149635348 @default.
- W14843786 hasConcept C153349607 @default.
- W14843786 hasConcept C154945302 @default.
- W14843786 hasConcept C17500928 @default.
- W14843786 hasConcept C200601418 @default.
- W14843786 hasConcept C41008148 @default.
- W14843786 hasConcept C98025372 @default.
- W14843786 hasConceptScore W14843786C112505250 @default.
- W14843786 hasConceptScore W14843786C119599485 @default.
- W14843786 hasConceptScore W14843786C123657996 @default.
- W14843786 hasConceptScore W14843786C127413603 @default.
- W14843786 hasConceptScore W14843786C132835097 @default.
- W14843786 hasConceptScore W14843786C142362112 @default.
- W14843786 hasConceptScore W14843786C149635348 @default.
- W14843786 hasConceptScore W14843786C153349607 @default.
- W14843786 hasConceptScore W14843786C154945302 @default.
- W14843786 hasConceptScore W14843786C17500928 @default.
- W14843786 hasConceptScore W14843786C200601418 @default.
- W14843786 hasConceptScore W14843786C41008148 @default.
- W14843786 hasConceptScore W14843786C98025372 @default.
- W14843786 hasLocation W148437861 @default.
- W14843786 hasOpenAccess W14843786 @default.
- W14843786 hasPrimaryLocation W148437861 @default.
- W14843786 hasRelatedWork W1207174601 @default.
- W14843786 hasRelatedWork W1557819510 @default.
- W14843786 hasRelatedWork W1591963442 @default.
- W14843786 hasRelatedWork W1594591069 @default.
- W14843786 hasRelatedWork W1600504946 @default.
- W14843786 hasRelatedWork W1796678419 @default.
- W14843786 hasRelatedWork W1808949452 @default.
- W14843786 hasRelatedWork W1823037702 @default.
- W14843786 hasRelatedWork W1891915427 @default.
- W14843786 hasRelatedWork W1974646916 @default.
- W14843786 hasRelatedWork W1995691455 @default.
- W14843786 hasRelatedWork W2004463571 @default.
- W14843786 hasRelatedWork W2015688007 @default.
- W14843786 hasRelatedWork W2041617655 @default.
- W14843786 hasRelatedWork W2100710006 @default.
- W14843786 hasRelatedWork W2101508170 @default.
- W14843786 hasRelatedWork W2125617568 @default.
- W14843786 hasRelatedWork W2170170364 @default.
- W14843786 hasRelatedWork W2328819335 @default.
- W14843786 hasRelatedWork W3095889771 @default.
- W14843786 isParatext "false" @default.
- W14843786 isRetracted "false" @default.
- W14843786 magId "14843786" @default.
- W14843786 workType "book-chapter" @default.