Matches in SemOpenAlex for { <https://semopenalex.org/work/W3083329214> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3083329214 abstract "The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. Many different hardware and software components (e.g. sensing, decision-making, actuation, and control) interact to solve the autonomous driving task. Correctness of such automated driving systems is crucial as incorrect behaviour may have catastrophic consequences. Autonomous vehicles operate in complex and dynamic environments, which requires decision-making and planning at different levels. The aim of such decision-making components in these systems is to make safe decisions at all times. The challenge of safety verification of these systems is crucial for the commercial deployment of full autonomy in vehicles. Testing for safety is expensive, impractical, and can never guarantee the absence of errors. In contrast, formal methods, which are techniques that use rigorous mathematical models to build hardware and software systems can provide a mathematical proof of the correctness of the system. The focus of this thesis is to address some of the challenges in the safety verification of decision-making in automated driving systems. A central question here is how to establish formal verification as an efficient tool for automated driving software development. A key finding is the need for an integrated formal approach to prove correctness and to provide a complete safety argument. This thesis provides insights into how three different formal verification approaches, namely supervisory control theory, model checking, and deductive verification differ in their application to automated driving and identifies the challenges associated with each method. It identifies the need for the introduction of more rigour in the requirement refinement process and presents one possible solution by using a formal model-based safety analysis approach. To address challenges in the manual modelling process, a possible solution by automatically learning formal models directly from code is proposed." @default.
- W3083329214 created "2020-09-11" @default.
- W3083329214 creator A5015527291 @default.
- W3083329214 date "2020-01-01" @default.
- W3083329214 modified "2023-09-26" @default.
- W3083329214 title "On Provably Correct Decision-Making for Automated Driving" @default.
- W3083329214 hasPublicationYear "2020" @default.
- W3083329214 type Work @default.
- W3083329214 sameAs 3083329214 @default.
- W3083329214 citedByCount "0" @default.
- W3083329214 crossrefType "journal-article" @default.
- W3083329214 hasAuthorship W3083329214A5015527291 @default.
- W3083329214 hasConcept C105339364 @default.
- W3083329214 hasConcept C111498074 @default.
- W3083329214 hasConcept C112930515 @default.
- W3083329214 hasConcept C115901376 @default.
- W3083329214 hasConcept C115903868 @default.
- W3083329214 hasConcept C127413603 @default.
- W3083329214 hasConcept C163707989 @default.
- W3083329214 hasConcept C199360897 @default.
- W3083329214 hasConcept C200601418 @default.
- W3083329214 hasConcept C201995342 @default.
- W3083329214 hasConcept C26517878 @default.
- W3083329214 hasConcept C2777904410 @default.
- W3083329214 hasConcept C2780234205 @default.
- W3083329214 hasConcept C38652104 @default.
- W3083329214 hasConcept C41008148 @default.
- W3083329214 hasConcept C55439883 @default.
- W3083329214 hasConcept C71924100 @default.
- W3083329214 hasConcept C75606506 @default.
- W3083329214 hasConcept C78519656 @default.
- W3083329214 hasConceptScore W3083329214C105339364 @default.
- W3083329214 hasConceptScore W3083329214C111498074 @default.
- W3083329214 hasConceptScore W3083329214C112930515 @default.
- W3083329214 hasConceptScore W3083329214C115901376 @default.
- W3083329214 hasConceptScore W3083329214C115903868 @default.
- W3083329214 hasConceptScore W3083329214C127413603 @default.
- W3083329214 hasConceptScore W3083329214C163707989 @default.
- W3083329214 hasConceptScore W3083329214C199360897 @default.
- W3083329214 hasConceptScore W3083329214C200601418 @default.
- W3083329214 hasConceptScore W3083329214C201995342 @default.
- W3083329214 hasConceptScore W3083329214C26517878 @default.
- W3083329214 hasConceptScore W3083329214C2777904410 @default.
- W3083329214 hasConceptScore W3083329214C2780234205 @default.
- W3083329214 hasConceptScore W3083329214C38652104 @default.
- W3083329214 hasConceptScore W3083329214C41008148 @default.
- W3083329214 hasConceptScore W3083329214C55439883 @default.
- W3083329214 hasConceptScore W3083329214C71924100 @default.
- W3083329214 hasConceptScore W3083329214C75606506 @default.
- W3083329214 hasConceptScore W3083329214C78519656 @default.
- W3083329214 hasLocation W30833292141 @default.
- W3083329214 hasOpenAccess W3083329214 @default.
- W3083329214 hasPrimaryLocation W30833292141 @default.
- W3083329214 hasRelatedWork W132159726 @default.
- W3083329214 hasRelatedWork W1852748327 @default.
- W3083329214 hasRelatedWork W2118360207 @default.
- W3083329214 hasRelatedWork W2182805163 @default.
- W3083329214 hasRelatedWork W2511243711 @default.
- W3083329214 hasRelatedWork W2550132637 @default.
- W3083329214 hasRelatedWork W2741269815 @default.
- W3083329214 hasRelatedWork W2787944226 @default.
- W3083329214 hasRelatedWork W2810819788 @default.
- W3083329214 hasRelatedWork W2903482397 @default.
- W3083329214 hasRelatedWork W2964238955 @default.
- W3083329214 hasRelatedWork W2969567494 @default.
- W3083329214 hasRelatedWork W2974487031 @default.
- W3083329214 hasRelatedWork W2989220996 @default.
- W3083329214 hasRelatedWork W3023178411 @default.
- W3083329214 hasRelatedWork W3035361195 @default.
- W3083329214 hasRelatedWork W3104875546 @default.
- W3083329214 hasRelatedWork W2056440779 @default.
- W3083329214 hasRelatedWork W2739934445 @default.
- W3083329214 hasRelatedWork W2784820804 @default.
- W3083329214 isParatext "false" @default.
- W3083329214 isRetracted "false" @default.
- W3083329214 magId "3083329214" @default.
- W3083329214 workType "article" @default.