Matches in SemOpenAlex for { <https://semopenalex.org/work/W2750147881> ?p ?o ?g. }
- W2750147881 abstract "This thesis is about the safety verification of dynamical systems using reachability analysis. Novel solutions have been developed for classical reachability analysis, stochastic reachability analysis, and their application to the safety assessment of autonomous cars.Classical reachability analysis computes the set of states that can be reached by a system. If the reachable set does not intersect any set of unsafe states, the safety of the system is guaranteed. Algorithms for this problem have been developed for linear, nonlinear, and hybrid systems.Stochastic reachability analysis measures the probability of reaching an unsafe set. One pursued approach computes over-approximative solutions for linear systems; another one generates a Markov chain which approximately computes the stochastic reachable set of arbitrary dynamics." @default.
- W2750147881 created "2017-08-31" @default.
- W2750147881 creator A5005383495 @default.
- W2750147881 date "2010-01-01" @default.
- W2750147881 modified "2023-10-01" @default.
- W2750147881 title "Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars" @default.
- W2750147881 cites W132789959 @default.
- W2750147881 cites W143062967 @default.
- W2750147881 cites W1483802223 @default.
- W2750147881 cites W1486932855 @default.
- W2750147881 cites W1487949979 @default.
- W2750147881 cites W1489119587 @default.
- W2750147881 cites W1498285565 @default.
- W2750147881 cites W1498432697 @default.
- W2750147881 cites W1498681823 @default.
- W2750147881 cites W1499853177 @default.
- W2750147881 cites W1508536183 @default.
- W2750147881 cites W1508592466 @default.
- W2750147881 cites W1511213320 @default.
- W2750147881 cites W1511965757 @default.
- W2750147881 cites W1518922396 @default.
- W2750147881 cites W1519302343 @default.
- W2750147881 cites W152025171 @default.
- W2750147881 cites W1522694098 @default.
- W2750147881 cites W1525967073 @default.
- W2750147881 cites W1532859487 @default.
- W2750147881 cites W1537734608 @default.
- W2750147881 cites W1546282418 @default.
- W2750147881 cites W1550613469 @default.
- W2750147881 cites W1568502976 @default.
- W2750147881 cites W1569692898 @default.
- W2750147881 cites W1574709890 @default.
- W2750147881 cites W1587663028 @default.
- W2750147881 cites W1597196612 @default.
- W2750147881 cites W1598511836 @default.
- W2750147881 cites W1598855039 @default.
- W2750147881 cites W1604594753 @default.
- W2750147881 cites W1606658314 @default.
- W2750147881 cites W1642251103 @default.
- W2750147881 cites W1726255445 @default.
- W2750147881 cites W1895907936 @default.
- W2750147881 cites W1964377184 @default.
- W2750147881 cites W1975630497 @default.
- W2750147881 cites W1977444293 @default.
- W2750147881 cites W198091129 @default.
- W2750147881 cites W1987664276 @default.
- W2750147881 cites W1989162056 @default.
- W2750147881 cites W1998799814 @default.
- W2750147881 cites W1999250663 @default.
- W2750147881 cites W2000067452 @default.
- W2750147881 cites W2004463571 @default.
- W2750147881 cites W2012655811 @default.
- W2750147881 cites W2015739305 @default.
- W2750147881 cites W2016309114 @default.
- W2750147881 cites W2018345399 @default.
- W2750147881 cites W2026140901 @default.
- W2750147881 cites W2026963557 @default.
- W2750147881 cites W2029516767 @default.
- W2750147881 cites W2043670592 @default.
- W2750147881 cites W2051110650 @default.
- W2750147881 cites W2054768162 @default.
- W2750147881 cites W2055383402 @default.
- W2750147881 cites W2060095702 @default.
- W2750147881 cites W2066634121 @default.
- W2750147881 cites W2071775092 @default.
- W2750147881 cites W2079872371 @default.
- W2750147881 cites W2080813827 @default.
- W2750147881 cites W2088271437 @default.
- W2750147881 cites W2090023516 @default.
- W2750147881 cites W2096785075 @default.
- W2750147881 cites W2097574127 @default.
- W2750147881 cites W2099084425 @default.
- W2750147881 cites W2101508170 @default.
- W2750147881 cites W2101545882 @default.
- W2750147881 cites W2102022978 @default.
- W2750147881 cites W2106565812 @default.
- W2750147881 cites W2106993639 @default.
- W2750147881 cites W2107164313 @default.
- W2750147881 cites W2107921474 @default.
- W2750147881 cites W2108158088 @default.
- W2750147881 cites W2108250446 @default.
- W2750147881 cites W2110910849 @default.
- W2750147881 cites W2113922565 @default.
- W2750147881 cites W2122075562 @default.
- W2750147881 cites W2122773086 @default.
- W2750147881 cites W2123665586 @default.
- W2750147881 cites W2123922810 @default.
- W2750147881 cites W2124060754 @default.
- W2750147881 cites W2127520982 @default.
- W2750147881 cites W2131780818 @default.
- W2750147881 cites W2133765643 @default.
- W2750147881 cites W2135128809 @default.
- W2750147881 cites W2138401518 @default.
- W2750147881 cites W2139025056 @default.
- W2750147881 cites W2141803002 @default.
- W2750147881 cites W2142718416 @default.
- W2750147881 cites W2143622102 @default.
- W2750147881 cites W2145129279 @default.
- W2750147881 cites W2145857032 @default.
- W2750147881 cites W2146748581 @default.