TY - JOUR
T1 - Petri net modeling of the cooperation behavior of a driver and a copilot in an advanced driving assistance system
AU - Wu, Naiqi
AU - Chu, Feng
AU - Mammar, Said
AU - Zhou, Mengchu
N1 - Funding Information:
Manuscript received October 14, 2010; accepted February 20, 2011. Date of publication May 19, 2011; date of current version December 5, 2011. This work was supported in part by the People’s Republic of China Ministry of Science and Technology through the 973 Program under Contract 2011CB302804. The paper was presented in part at 2011 IEEE International Conference on Networking, Sensing and Control, Delft, The Netherland, April 11–13, 2010. The Associate Editor for this paper was L. Li.
PY - 2011/12
Y1 - 2011/12
N2 - As the traffic on roads becomes increasingly heavy, driving safety has widely become a concern. Thus, an advanced driving-assistance system (ADAS) becomes much more important, because it can improve driving safety. It is composed of a human driver and an automated system called a copilot. To make it effective, they should properly cooperate. Hence, it is very important to define and model their cooperation behavior such that an ADAS can effectively be designed and realized. This paper presents the colored hybrid Petri net (CHPN) model to describe their cooperation behavior. It shows how switch between the driver and the copilot should be done to control the vehicle. The model is shown to be deadlock-free and conflict-free. Therefore, it is useful for ADAS design, analysis, and simulation.
AB - As the traffic on roads becomes increasingly heavy, driving safety has widely become a concern. Thus, an advanced driving-assistance system (ADAS) becomes much more important, because it can improve driving safety. It is composed of a human driver and an automated system called a copilot. To make it effective, they should properly cooperate. Hence, it is very important to define and model their cooperation behavior such that an ADAS can effectively be designed and realized. This paper presents the colored hybrid Petri net (CHPN) model to describe their cooperation behavior. It shows how switch between the driver and the copilot should be done to control the vehicle. The model is shown to be deadlock-free and conflict-free. Therefore, it is useful for ADAS design, analysis, and simulation.
KW - Advanced driving-assistance system (ADAS)
KW - Petri net
KW - colored hybrid Petri net
KW - hybrid Petri net
KW - transportation
UR - http://www.scopus.com/inward/record.url?scp=82455167977&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=82455167977&partnerID=8YFLogxK
U2 - 10.1109/TITS.2011.2131651
DO - 10.1109/TITS.2011.2131651
M3 - Article
AN - SCOPUS:82455167977
SN - 1524-9050
VL - 12
SP - 977
EP - 989
JO - IEEE Transactions on Intelligent Transportation Systems
JF - IEEE Transactions on Intelligent Transportation Systems
IS - 4
M1 - 5771596
ER -