Affiliation:
1. Information Science and Engineering, Chongqing Jiaotong University, Chongqing 400074, China
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
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.
Funder
National Natural Science Foundation of China
Subject
Computer Networks and Communications,Information Systems
Reference36 articles.
1. Data dissemination for industry 4.0 applications in internet of vehicles based on short-term traffic prediction;C. Chen;ACM Transactions on Internet Technology,2021
2. Multi-objective optimization for resource allocation in vehicular cloud computing networks;W. Wei;IEEE Transactions on Intelligent Transportation Systems,2021
3. Distributed computation offloading method based on deep reinforcement learning in ICV;C. Chen;Applied Soft Computing,2021
4. An information centric in-network caching scheme for 5g-enabled internet of connected vehicles;C. Wang;IEEE Transactions on Mobile Computing,2021
5. Popularity incentive caching for vehicular named data networking;C. Wang;IEEE Transactions on Intelligent Transportation Systems,2020
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献