Matches in SemOpenAlex for { <https://semopenalex.org/work/W3162247122> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3162247122 endingPage "12" @default.
- W3162247122 startingPage "1" @default.
- W3162247122 abstract "Safety-Critical Cyber-Physical System (SCCPS) refers to the system that if the system fails or its key functions fail, it will cause casualties, property damage, environmental damage, and other catastrophic consequences. Therefore, it is vital to verify the safety of safety critical systems. In the community, the SCCPS safety verification mainly relies on the statistical model checking methodology, but for SCCPS with extremely high safety requirements, the statistical model checking method is difficult/infeasible to sample the extremely small probability event since the probability of the system violating the safety is very low (rare property). In response to this problem, we propose a new method of statistical model checking for high-safety SCCPS. Firstly, with the CTMC-approximated SCCPS path probability space model, it leverages the maximum likelihood estimation method to learn the parameters of CTMC. Then, the embedded DTMC can be derived from CTMC, and a cross-entropy optimization model based on DTMC can be constructed. Finally, we propose an algorithm of iteratively learning the optimal importance sampling distribution on the discrete path space and an algorithm to check the statistical model of verifying the rare attribute. Eventually, experimental results show that the method proposed in this paper can effectively verify the rare attributes of SCCPS. Under the same sample size, comparing with the heuristic importance sampling methods, the estimated value of this method can be better distributed around the mean value, and the related standard deviation and relative error are reduced by more than an order of magnitude." @default.
- W3162247122 created "2021-05-24" @default.
- W3162247122 creator A5006153212 @default.
- W3162247122 creator A5025184050 @default.
- W3162247122 creator A5045170642 @default.
- W3162247122 creator A5068038451 @default.
- W3162247122 date "2021-05-17" @default.
- W3162247122 modified "2023-10-15" @default.
- W3162247122 title "Towards a Statistical Model Checking Method for Safety-Critical Cyber-Physical System Verification" @default.
- W3162247122 cites W1508592466 @default.
- W3162247122 cites W175120007 @default.
- W3162247122 cites W1807000 @default.
- W3162247122 cites W1977347816 @default.
- W3162247122 cites W1984850212 @default.
- W3162247122 cites W1987914501 @default.
- W3162247122 cites W1989047323 @default.
- W3162247122 cites W2014668381 @default.
- W3162247122 cites W2064459703 @default.
- W3162247122 cites W2067971887 @default.
- W3162247122 cites W2073862345 @default.
- W3162247122 cites W2126044864 @default.
- W3162247122 cites W2132083787 @default.
- W3162247122 cites W2133615895 @default.
- W3162247122 cites W2141542360 @default.
- W3162247122 cites W2168798915 @default.
- W3162247122 cites W2175304969 @default.
- W3162247122 cites W2185071254 @default.
- W3162247122 cites W2223995125 @default.
- W3162247122 cites W2277593739 @default.
- W3162247122 cites W2515987250 @default.
- W3162247122 cites W2528017977 @default.
- W3162247122 cites W2757923034 @default.
- W3162247122 cites W2787596386 @default.
- W3162247122 cites W4230415631 @default.
- W3162247122 doi "https://doi.org/10.1155/2021/5536722" @default.
- W3162247122 hasPublicationYear "2021" @default.
- W3162247122 type Work @default.
- W3162247122 sameAs 3162247122 @default.
- W3162247122 citedByCount "2" @default.
- W3162247122 countsByYear W31622471222022 @default.
- W3162247122 countsByYear W31622471222023 @default.
- W3162247122 crossrefType "journal-article" @default.
- W3162247122 hasAuthorship W3162247122A5006153212 @default.
- W3162247122 hasAuthorship W3162247122A5025184050 @default.
- W3162247122 hasAuthorship W3162247122A5045170642 @default.
- W3162247122 hasAuthorship W3162247122A5068038451 @default.
- W3162247122 hasBestOaLocation W31622471221 @default.
- W3162247122 hasConcept C100279318 @default.
- W3162247122 hasConcept C105795698 @default.
- W3162247122 hasConcept C110251889 @default.
- W3162247122 hasConcept C11413529 @default.
- W3162247122 hasConcept C154945302 @default.
- W3162247122 hasConcept C185592680 @default.
- W3162247122 hasConcept C198531522 @default.
- W3162247122 hasConcept C2777317252 @default.
- W3162247122 hasConcept C33923547 @default.
- W3162247122 hasConcept C41008148 @default.
- W3162247122 hasConcept C43617362 @default.
- W3162247122 hasConceptScore W3162247122C100279318 @default.
- W3162247122 hasConceptScore W3162247122C105795698 @default.
- W3162247122 hasConceptScore W3162247122C110251889 @default.
- W3162247122 hasConceptScore W3162247122C11413529 @default.
- W3162247122 hasConceptScore W3162247122C154945302 @default.
- W3162247122 hasConceptScore W3162247122C185592680 @default.
- W3162247122 hasConceptScore W3162247122C198531522 @default.
- W3162247122 hasConceptScore W3162247122C2777317252 @default.
- W3162247122 hasConceptScore W3162247122C33923547 @default.
- W3162247122 hasConceptScore W3162247122C41008148 @default.
- W3162247122 hasConceptScore W3162247122C43617362 @default.
- W3162247122 hasFunder F4320321001 @default.
- W3162247122 hasLocation W31622471221 @default.
- W3162247122 hasOpenAccess W3162247122 @default.
- W3162247122 hasPrimaryLocation W31622471221 @default.
- W3162247122 hasRelatedWork W1742755733 @default.
- W3162247122 hasRelatedWork W2117798332 @default.
- W3162247122 hasRelatedWork W2134424614 @default.
- W3162247122 hasRelatedWork W2184004245 @default.
- W3162247122 hasRelatedWork W2351491280 @default.
- W3162247122 hasRelatedWork W2364866360 @default.
- W3162247122 hasRelatedWork W2370841479 @default.
- W3162247122 hasRelatedWork W2551596431 @default.
- W3162247122 hasRelatedWork W303980170 @default.
- W3162247122 hasRelatedWork W3162247122 @default.
- W3162247122 hasVolume "2021" @default.
- W3162247122 isParatext "false" @default.
- W3162247122 isRetracted "false" @default.
- W3162247122 magId "3162247122" @default.
- W3162247122 workType "article" @default.