FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W17390112> ?p ?o ?g. }

• W17390112 endingPage "434" @default.
• W17390112 startingPage "419" @default.
• W17390112 abstract "Formal specification and verification of cyber-physical transportation systems is inherently a complex task. A fail-safe specification of such systems not only includes intricate formalizations of assumptions and requirements but also a fine-grained analysis of their unpredictable and random components, at times at different levels of abstraction. Traditional techniques of verification and validation, such as simulation or model checking, do not cope very well with the posed challenges. In fact, sometimes it becomes merely impossible to guarantee certain properties, such as liveness, under all possible scenarios. We propose an approach based on higher-order logic for formal modelling and reasoning of cyber-physical transportation systems. In this approach, we express the unpredictable elements of the model by appropriate random variables. Instead of guaranteeing absolute correctness, these randomized models can then be used to formally reason about the probability or expectation of the system meeting its required specification. For illustration purposes, the paper presents a simple analysis of a vehicle platoon control algorithm." @default.
• W17390112 created "2016-06-24" @default.
• W17390112 creator A5066768973 @default.
• W17390112 creator A5089811302 @default.
• W17390112 date "2012-01-01" @default.
• W17390112 modified "2023-09-27" @default.
• W17390112 title "Formal Probabilistic Analysis of Cyber-Physical Transportation Systems" @default.
• W17390112 cites W1479916432 @default.
• W17390112 cites W1498330459 @default.
• W17390112 cites W1500343258 @default.
• W17390112 cites W1521372188 @default.
• W17390112 cites W1544057077 @default.
• W17390112 cites W1554618854 @default.
• W17390112 cites W1554863622 @default.
• W17390112 cites W1582439588 @default.
• W17390112 cites W1601195943 @default.
• W17390112 cites W1602889228 @default.
• W17390112 cites W166580360 @default.
• W17390112 cites W175120007 @default.
• W17390112 cites W1814275833 @default.
• W17390112 cites W1864574667 @default.
• W17390112 cites W1996404651 @default.
• W17390112 cites W1998273000 @default.
• W17390112 cites W2013819688 @default.
• W17390112 cites W2058949335 @default.
• W17390112 cites W2091443634 @default.
• W17390112 cites W2130834825 @default.
• W17390112 cites W2134991157 @default.
• W17390112 cites W2147420447 @default.
• W17390112 cites W2152828142 @default.
• W17390112 cites W2166822586 @default.
• W17390112 cites W41565640 @default.
• W17390112 cites W4240821821 @default.
• W17390112 cites W4244819751 @default.
• W17390112 cites W4248352158 @default.
• W17390112 cites W4254354208 @default.
• W17390112 doi "https://doi.org/10.1007/978-3-642-31137-6_32" @default.
• W17390112 hasPublicationYear "2012" @default.
• W17390112 type Work @default.
• W17390112 sameAs 17390112 @default.
• W17390112 citedByCount "10" @default.
• W17390112 countsByYear W173901122013 @default.
• W17390112 countsByYear W173901122015 @default.
• W17390112 countsByYear W173901122017 @default.
• W17390112 countsByYear W173901122018 @default.
• W17390112 countsByYear W173901122019 @default.
• W17390112 countsByYear W173901122021 @default.
• W17390112 crossrefType "book-chapter" @default.
• W17390112 hasAuthorship W17390112A5066768973 @default.
• W17390112 hasAuthorship W17390112A5089811302 @default.
• W17390112 hasConcept C110251889 @default.
• W17390112 hasConcept C111472728 @default.
• W17390112 hasConcept C111498074 @default.
• W17390112 hasConcept C111919701 @default.
• W17390112 hasConcept C120314980 @default.
• W17390112 hasConcept C124304363 @default.
• W17390112 hasConcept C127413603 @default.
• W17390112 hasConcept C138885662 @default.
• W17390112 hasConcept C154945302 @default.
• W17390112 hasConcept C15569618 @default.
• W17390112 hasConcept C179768478 @default.
• W17390112 hasConcept C199360897 @default.
• W17390112 hasConcept C201995342 @default.
• W17390112 hasConcept C2775924081 @default.
• W17390112 hasConcept C2777735972 @default.
• W17390112 hasConcept C2780451532 @default.
• W17390112 hasConcept C41008148 @default.
• W17390112 hasConcept C49937458 @default.
• W17390112 hasConcept C55439883 @default.
• W17390112 hasConcept C75606506 @default.
• W17390112 hasConcept C80444323 @default.
• W17390112 hasConceptScore W17390112C110251889 @default.
• W17390112 hasConceptScore W17390112C111472728 @default.
• W17390112 hasConceptScore W17390112C111498074 @default.
• W17390112 hasConceptScore W17390112C111919701 @default.
• W17390112 hasConceptScore W17390112C120314980 @default.
• W17390112 hasConceptScore W17390112C124304363 @default.
• W17390112 hasConceptScore W17390112C127413603 @default.
• W17390112 hasConceptScore W17390112C138885662 @default.
• W17390112 hasConceptScore W17390112C154945302 @default.
• W17390112 hasConceptScore W17390112C15569618 @default.
• W17390112 hasConceptScore W17390112C179768478 @default.
• W17390112 hasConceptScore W17390112C199360897 @default.
• W17390112 hasConceptScore W17390112C201995342 @default.
• W17390112 hasConceptScore W17390112C2775924081 @default.
• W17390112 hasConceptScore W17390112C2777735972 @default.
• W17390112 hasConceptScore W17390112C2780451532 @default.
• W17390112 hasConceptScore W17390112C41008148 @default.
• W17390112 hasConceptScore W17390112C49937458 @default.
• W17390112 hasConceptScore W17390112C55439883 @default.
• W17390112 hasConceptScore W17390112C75606506 @default.
• W17390112 hasConceptScore W17390112C80444323 @default.
• W17390112 hasLocation W173901121 @default.
• W17390112 hasOpenAccess W17390112 @default.
• W17390112 hasPrimaryLocation W173901121 @default.
• W17390112 hasRelatedWork W2095002986 @default.
• W17390112 hasRelatedWork W2152177813 @default.
• W17390112 hasRelatedWork W2169272390 @default.

• next