FRINK Linked Data Fragments server

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

• W4306157755 endingPage "18" @default.
• W4306157755 startingPage "1" @default.
• W4306157755 abstract "With the continuous development of science and technology, people’s lifestyle becomes more and more intelligent, especially in intelligent transportation. However, running in a random environment, safety can be affected by various factors during operation. For an intelligent car, guaranteeing its safety in operation is important to the passengers in the vehicle. So, it is vital to verify the safety of the system of the smart car. This study proposes an integration formal method with stochastic Petri nets and Z (SPZN). Stochastic Petri nets can better simulate the occurrence of random events in the driving process of intelligent cars. With the advantages of the frame structure of Z language, the concurrent process and state before and after the system at different times can be better described. In addition, the frame structure of Z language can solve the problem of state explosion in Petri nets. Using this method, the random events that may occur during the operation can be formally modeled, and the subsequent behavior of the vehicle can be analyzed and predicted effectively. Using the reinforcement learning, the parameter <math xmlns=http://www.w3.org/1998/Math/MathML id=M1> <mi>λ</mi> </math> in the stochastic Petri nets can be optimized, which can reduce the probability of bad states and ensure the stability and security of the system. Moreover, a case study of the intelligent car modeled by stochastic Petri nets and Z is given. The results show that it can improve the safety and effectiveness of the smart vehicle driving system." @default.
• W4306157755 created "2022-10-14" @default.
• W4306157755 creator A5047253773 @default.
• W4306157755 creator A5068967562 @default.
• W4306157755 creator A5076917994 @default.
• W4306157755 creator A5078458401 @default.
• W4306157755 creator A5084430838 @default.
• W4306157755 date "2022-10-13" @default.
• W4306157755 modified "2023-10-18" @default.
• W4306157755 title "Formal Model and Analysis for the Random Event in the Intelligent Car with Stochastic Petri Nets and Z" @default.
• W4306157755 cites W2006957610 @default.
• W4306157755 cites W2024858150 @default.
• W4306157755 cites W2083099459 @default.
• W4306157755 cites W2125739093 @default.
• W4306157755 cites W2286498352 @default.
• W4306157755 cites W2316899027 @default.
• W4306157755 cites W2324680916 @default.
• W4306157755 cites W2534637849 @default.
• W4306157755 cites W2567068623 @default.
• W4306157755 cites W2594551010 @default.
• W4306157755 cites W2745090846 @default.
• W4306157755 cites W2769954604 @default.
• W4306157755 cites W2903392666 @default.
• W4306157755 cites W2913887864 @default.
• W4306157755 cites W2960280836 @default.
• W4306157755 cites W3023238316 @default.
• W4306157755 cites W3111176018 @default.
• W4306157755 cites W3117396095 @default.
• W4306157755 cites W3187661226 @default.
• W4306157755 cites W3188452735 @default.
• W4306157755 cites W3210170961 @default.
• W4306157755 cites W4206488424 @default.
• W4306157755 doi "https://doi.org/10.1155/2022/3288308" @default.
• W4306157755 hasPublicationYear "2022" @default.
• W4306157755 type Work @default.
• W4306157755 citedByCount "0" @default.
• W4306157755 crossrefType "journal-article" @default.
• W4306157755 hasAuthorship W4306157755A5047253773 @default.
• W4306157755 hasAuthorship W4306157755A5068967562 @default.
• W4306157755 hasAuthorship W4306157755A5076917994 @default.
• W4306157755 hasAuthorship W4306157755A5078458401 @default.
• W4306157755 hasAuthorship W4306157755A5084430838 @default.
• W4306157755 hasBestOaLocation W43061577551 @default.
• W4306157755 hasConcept C105795698 @default.
• W4306157755 hasConcept C11413529 @default.
• W4306157755 hasConcept C120314980 @default.
• W4306157755 hasConcept C121332964 @default.
• W4306157755 hasConcept C126042441 @default.
• W4306157755 hasConcept C127413603 @default.
• W4306157755 hasConcept C136155141 @default.
• W4306157755 hasConcept C147176958 @default.
• W4306157755 hasConcept C154945302 @default.
• W4306157755 hasConcept C197551870 @default.
• W4306157755 hasConcept C199360897 @default.
• W4306157755 hasConcept C2779662365 @default.
• W4306157755 hasConcept C31258907 @default.
• W4306157755 hasConcept C33923547 @default.
• W4306157755 hasConcept C38677869 @default.
• W4306157755 hasConcept C41008148 @default.
• W4306157755 hasConcept C47796450 @default.
• W4306157755 hasConcept C48103436 @default.
• W4306157755 hasConcept C62520636 @default.
• W4306157755 hasConcept C79403827 @default.
• W4306157755 hasConcept C8272713 @default.
• W4306157755 hasConcept C97541855 @default.
• W4306157755 hasConcept C98045186 @default.
• W4306157755 hasConceptScore W4306157755C105795698 @default.
• W4306157755 hasConceptScore W4306157755C11413529 @default.
• W4306157755 hasConceptScore W4306157755C120314980 @default.
• W4306157755 hasConceptScore W4306157755C121332964 @default.
• W4306157755 hasConceptScore W4306157755C126042441 @default.
• W4306157755 hasConceptScore W4306157755C127413603 @default.
• W4306157755 hasConceptScore W4306157755C136155141 @default.
• W4306157755 hasConceptScore W4306157755C147176958 @default.
• W4306157755 hasConceptScore W4306157755C154945302 @default.
• W4306157755 hasConceptScore W4306157755C197551870 @default.
• W4306157755 hasConceptScore W4306157755C199360897 @default.
• W4306157755 hasConceptScore W4306157755C2779662365 @default.
• W4306157755 hasConceptScore W4306157755C31258907 @default.
• W4306157755 hasConceptScore W4306157755C33923547 @default.
• W4306157755 hasConceptScore W4306157755C38677869 @default.
• W4306157755 hasConceptScore W4306157755C41008148 @default.
• W4306157755 hasConceptScore W4306157755C47796450 @default.
• W4306157755 hasConceptScore W4306157755C48103436 @default.
• W4306157755 hasConceptScore W4306157755C62520636 @default.
• W4306157755 hasConceptScore W4306157755C79403827 @default.
• W4306157755 hasConceptScore W4306157755C8272713 @default.
• W4306157755 hasConceptScore W4306157755C97541855 @default.
• W4306157755 hasConceptScore W4306157755C98045186 @default.
• W4306157755 hasFunder F4320321001 @default.
• W4306157755 hasLocation W43061577551 @default.
• W4306157755 hasOpenAccess W4306157755 @default.
• W4306157755 hasPrimaryLocation W43061577551 @default.
• W4306157755 hasRelatedWork W1557425998 @default.
• W4306157755 hasRelatedWork W2166937183 @default.
• W4306157755 hasRelatedWork W2168615635 @default.
• W4306157755 hasRelatedWork W2274714293 @default.
• W4306157755 hasRelatedWork W2355954834 @default.

• next