Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892031856> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2892031856 abstract "To test safety of autonomous vehicles, large corporations have raced to log millions of miles of test driving on public roads. While this can improve confidence in such systems, testing alone cannot establish of absence of failure scenarios. In fact, it has also been reported that the amount of data required to guarantee a probability of 10^-9 fatality per hour of driving would require 10^9 hours of driving [1] [2], which is roughly in the order of thirty billion miles. Formal verification can give guarantees about absence of failures and potentially reduce the amount of testing needed significantly.Simulation based verification is a promising approach to provide formal safety guarantees to Cyber-Physical Systems (CPS). However, existing verification tools rely on the explicit mathematical models of the system. Detailed mathematical models are often not available or are too complex for formal verification tools. To address this issue, the DryVR approach for verification is presented in [3]. DryVR views a cyber-physical system as a combination of a white-box transition graph and a black-box simulator. This alleviates the need for complete mathematical models, but at the same time exploits models when they are available. A verification algorithm for directed acyclic time-dependent transition graph is also presented in [3].In this thesis, we present the detailed construction of the DryVR tool with several new functionalities, which includes: (a) verification on state-dependent cyclic transition graph with guard and reset functions; (b) controller synthesis that searches transition graph for given reach-avoid specification; (c) interface that allows user to connect DryVR with arbitrary black-box simulators, and (d) integration with Jupyter Notebook [4]. We also present a case study for autonomous vehicle system in this thesis, and DryVR comes with verification and controller synthesis examples to illustrate its capabilities. The evaluation of included examples is presented in later chapter shows that both verification and controller synthesis are promising starting point for DryVR to become a comprehensive verification and synthesis toolbox for practical CPS." @default.
- W2892031856 created "2018-09-27" @default.
- W2892031856 creator A5053513193 @default.
- W2892031856 date "2018-04-25" @default.
- W2892031856 modified "2023-10-16" @default.
- W2892031856 title "Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features" @default.
- W2892031856 hasPublicationYear "2018" @default.
- W2892031856 type Work @default.
- W2892031856 sameAs 2892031856 @default.
- W2892031856 citedByCount "1" @default.
- W2892031856 countsByYear W28920318562021 @default.
- W2892031856 crossrefType "dissertation" @default.
- W2892031856 hasAuthorship W2892031856A5053513193 @default.
- W2892031856 hasConcept C111498074 @default.
- W2892031856 hasConcept C111919701 @default.
- W2892031856 hasConcept C11413529 @default.
- W2892031856 hasConcept C115903868 @default.
- W2892031856 hasConcept C132525143 @default.
- W2892031856 hasConcept C141141315 @default.
- W2892031856 hasConcept C165696696 @default.
- W2892031856 hasConcept C167822520 @default.
- W2892031856 hasConcept C179768478 @default.
- W2892031856 hasConcept C199360897 @default.
- W2892031856 hasConcept C38652104 @default.
- W2892031856 hasConcept C41008148 @default.
- W2892031856 hasConcept C75606506 @default.
- W2892031856 hasConcept C80444323 @default.
- W2892031856 hasConceptScore W2892031856C111498074 @default.
- W2892031856 hasConceptScore W2892031856C111919701 @default.
- W2892031856 hasConceptScore W2892031856C11413529 @default.
- W2892031856 hasConceptScore W2892031856C115903868 @default.
- W2892031856 hasConceptScore W2892031856C132525143 @default.
- W2892031856 hasConceptScore W2892031856C141141315 @default.
- W2892031856 hasConceptScore W2892031856C165696696 @default.
- W2892031856 hasConceptScore W2892031856C167822520 @default.
- W2892031856 hasConceptScore W2892031856C179768478 @default.
- W2892031856 hasConceptScore W2892031856C199360897 @default.
- W2892031856 hasConceptScore W2892031856C38652104 @default.
- W2892031856 hasConceptScore W2892031856C41008148 @default.
- W2892031856 hasConceptScore W2892031856C75606506 @default.
- W2892031856 hasConceptScore W2892031856C80444323 @default.
- W2892031856 hasLocation W28920318561 @default.
- W2892031856 hasOpenAccess W2892031856 @default.
- W2892031856 hasPrimaryLocation W28920318561 @default.
- W2892031856 hasRelatedWork W1548937009 @default.
- W2892031856 hasRelatedWork W1563434768 @default.
- W2892031856 hasRelatedWork W1995766701 @default.
- W2892031856 hasRelatedWork W2002130414 @default.
- W2892031856 hasRelatedWork W2025954838 @default.
- W2892031856 hasRelatedWork W2051356522 @default.
- W2892031856 hasRelatedWork W2188057831 @default.
- W2892031856 hasRelatedWork W2284420514 @default.
- W2892031856 hasRelatedWork W2330593560 @default.
- W2892031856 hasRelatedWork W2390333316 @default.
- W2892031856 hasRelatedWork W2531728244 @default.
- W2892031856 hasRelatedWork W2531760685 @default.
- W2892031856 hasRelatedWork W2583964271 @default.
- W2892031856 hasRelatedWork W2768538600 @default.
- W2892031856 hasRelatedWork W2770639742 @default.
- W2892031856 hasRelatedWork W2794157488 @default.
- W2892031856 hasRelatedWork W2893088271 @default.
- W2892031856 hasRelatedWork W2946572626 @default.
- W2892031856 hasRelatedWork W3213340880 @default.
- W2892031856 hasRelatedWork W66319915 @default.
- W2892031856 isParatext "false" @default.
- W2892031856 isRetracted "false" @default.
- W2892031856 magId "2892031856" @default.
- W2892031856 workType "dissertation" @default.